Trace number 4405177

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 228.737 32.9001

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-fpga/
Pb-chnl10-11.xml
MD5SUM0cb6e3dc45605db1284c892a60e68314
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark56.5468
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of constraints42
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":220}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":220}]
Minimum constraint arity10
Maximum constraint arity11
Distribution of constraint arities[{"arity":10,"count":22},{"arity":11,"count":20}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":42}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-1768-serial-file.bin HOME/instance-4405177-1569354356.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 21:44:57 CEST 2019
0.65/0.56	c PID: 1771
0.65/0.56	c IP: 172.20.3.103
0.65/0.56	c HOST: node103.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.38/0.94	c (0,0) Parsing End
1.38/0.94	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
1.38/0.94	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.94	c (0,0) Constraint Name Generate Begin
1.38/0.95	c (0,0) Ctr:HOME/instance-4405177-1569354356.xml,Num:Var:WeightedSum
1.38/0.95	c (0,0) Constraint Name Generate End
1.38/0.95	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.95	c (0,0) CSP to CSPinCNF Begin
1.56/1.05	c (0,0) translated 5 (10%) constraints
1.56/1.07	c (0,0) translated 9 (20%) constraints
1.56/1.08	c (0,0) translated 13 (30%) constraints
1.56/1.09	c (0,0) translated 17 (40%) constraints
1.56/1.10	c (0,0) translated 21 (50%) constraints
1.81/1.11	c (0,0) translated 26 (60%) constraints
1.81/1.12	c (0,0) translated 30 (70%) constraints
1.81/1.12	c (0,0) translated 34 (80%) constraints
1.81/1.13	c (0,0) translated 38 (90%) constraints
1.81/1.14	c (0,0) translated 42 (100%) constraints
1.81/1.14	c (0,0) ===========================================
1.81/1.14	c (0,0) Order
1.81/1.14	c (0,0) ===========================================
1.81/1.15	c (0,0) translated 5 (10%) constraints
1.81/1.15	c (0,0) translated 9 (20%) constraints
1.81/1.16	c (0,0) translated 13 (30%) constraints
1.81/1.16	c (0,0) translated 17 (40%) constraints
1.81/1.16	c (0,0) translated 21 (50%) constraints
1.81/1.17	c (0,0) translated 26 (60%) constraints
1.81/1.17	c (0,0) translated 30 (70%) constraints
1.81/1.17	c (0,0) translated 34 (80%) constraints
1.81/1.17	c (0,0) translated 38 (90%) constraints
1.81/1.17	c (0,0) translated 42 (100%) constraints
1.81/1.18	c (0,0) CSP to CSPinCNF End
1.81/1.18	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
1.81/1.18	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.81/1.18	c (0,0) CSPinCNF Propagation Begin
1.81/1.19	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.81/1.19	c (0,0) CSPinCNF Propagation End
1.81/1.19	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
1.81/1.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.81/1.20	c (0,0) Simplify CSPinCNF Begin
2.13/1.20	c (0,0) Simplify CSPinCNF End
2.13/1.20	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.13/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.13/1.20	c (0,0) Calculate Precise Domain Begin
2.13/1.20	c (0,0) 0 values are removed by re-calculation
2.13/1.20	c (0,0) Calculate Precise Domain End
2.13/1.20	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.13/1.20	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.13/1.20	c (0,0) CSPinCNF to SatSolver Begin
2.13/1.28	c (0,0) 5 (10 %) CSP clauses are encoded (0 SAT variables, 4 SAT clauses)
2.13/1.29	c (0,0) 9 (20 %) CSP clauses are encoded (0 SAT variables, 8 SAT clauses)
2.33/1.30	c (0,0) 13 (30 %) CSP clauses are encoded (0 SAT variables, 12 SAT clauses)
2.33/1.30	c (0,0) 17 (40 %) CSP clauses are encoded (0 SAT variables, 16 SAT clauses)
2.33/1.31	c (0,0) 21 (50 %) CSP clauses are encoded (0 SAT variables, 20 SAT clauses)
2.33/1.32	c (0,0) 26 (60 %) CSP clauses are encoded (0 SAT variables, 187 SAT clauses)
2.33/1.33	c (0,0) 30 (70 %) CSP clauses are encoded (0 SAT variables, 407 SAT clauses)
2.33/1.34	c (0,0) 34 (80 %) CSP clauses are encoded (0 SAT variables, 627 SAT clauses)
2.33/1.35	c (0,0) 38 (90 %) CSP clauses are encoded (0 SAT variables, 847 SAT clauses)
2.33/1.36	c (0,0) 42 (100 %) CSP clauses are encoded (0 SAT variables, 1067 SAT clauses)
2.33/1.36	c (0,0) CSPinCNF to SatSolver End
2.33/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.33/1.36	c (0,0) 220 bool, 1122 clause
2.33/1.36	c (0,0) Export Begin
2.61/1.46	c (0,0) Export to HOME/scop-1768-serial-file.bin
2.61/1.46	c (0,0) Export End
2.61/1.46	c (0,0) Export File Size: 0.04 MB
2.61/1.46	c (0,0) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.61/1.46	c END-Prog: Tue Sep 24 21:44:58 CEST 2019
2.61/1.48	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1768-serial-file.bin
2.76/1.94	c (0,0) Read Serial File Begin
2.76/1.94	c (0,0) HOME/scop-1768-serial-file.bin
3.60/2.16	c (0,0) Read Serial File End
3.60/2.17	
3.60/2.17	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
3.60/2.17	(Solving Process)
3.60/2.17	
3.60/2.19	c BEGIN-Prog: Tue Sep 24 21:44:59 CEST 2019
3.60/2.19	c PID: 1791
3.60/2.19	c IP: 172.20.3.103
3.60/2.19	c HOST: node103.alineos.net
3.60/2.19	c (0,0) SatSolver.solve Begin
3.60/2.19	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405177-1569354356.xml-scop-1771.cnf
3.76/2.22	c (0,0) c
3.76/2.22	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
3.76/2.22	c (0,0) c
3.76/2.22	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
3.76/2.22	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
3.76/2.22	c (0,0) c ========================================[ Problem Statistics ]===========================================
3.76/2.22	c (0,0) c |                                                                                                       |
3.76/2.22	c (0,0) c |  Number of variables:           220                                                                   |
3.76/2.22	c (0,0) c |  Number of clauses:            1122                                                                   |
3.76/2.22	c (0,0) c |  Parse time:                   0.00 s                                                                 |
3.76/2.22	c (0,0) c |                                                                                                       |
3.76/2.22	c (0,0) c |  Simplification time:          0.00 s                                                                 |
3.76/2.23	c (0,0) c |                                                                                                       |
3.76/2.23	c (0,0) c |  Generating clones                                                                                    |
3.76/2.23	c (0,0) c |  all clones generated. Memory =    23.41Mb.                                                           |
3.76/2.23	c (0,0) c ========================================================================================================|
3.76/2.23	c (0,0) c
3.76/2.23	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
3.76/2.23	c (0,0) c
3.76/2.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.76/2.23	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
3.76/2.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.76/2.23	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
3.76/2.23	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
3.76/2.23	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
3.76/2.23	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
3.76/2.23	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
3.76/2.23	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
3.76/2.23	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
3.76/2.23	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
3.76/2.23	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
3.76/2.23	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
3.76/2.23	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
3.76/2.23	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
3.76/2.23	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
3.76/2.23	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
3.76/2.23	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
3.76/2.23	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
223.73/31.63	c (29,0) c
223.73/31.63	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
223.73/31.63	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
223.73/31.63	c (29,0) c |------------------------------------------------------------------------------------------------------------------------|
223.73/31.63	c (29,0) c |  0 |   3758 |    2093353 |    1700003 |    18529 |     1927 |   181684 |   731339 |    19453 |      652 |  20 |  3.205 |
223.73/31.63	c (29,0) c |  1 |    368 |     561141 |     476008 |      550 |    57106 |    40244 |   893668 |    40541 |      672 |  20 |  3.678 |
223.73/31.63	c (29,0) c |  2 |   3718 |    2189868 |    1781988 |    21336 |     2935 |   199659 |   738102 |    18144 |      670 |  20 |  4.093 |
223.73/31.63	c (29,0) c |  3 |    289 |     555863 |     473953 |      550 |    89017 |    44950 |   886709 |    34747 |      670 |  20 |  3.638 |
223.73/31.63	c (29,0) c |  4 |   3540 |    2113979 |    1719555 |    20192 |     3298 |   208710 |   728937 |    18527 |      670 |  20 |  3.215 |
223.73/31.63	c (29,0) c |  5 |     83 |     462205 |     399856 |      550 |    68587 |    46332 |   887247 |    26486 |      671 |  20 |  3.184 |
223.73/31.63	c (29,0) c |  6 |   3479 |    2087695 |    1699103 |    20453 |     2705 |   187371 |   752344 |    15875 |      671 |  20 |  5.031 |
223.73/31.63	c (29,0) c |  7 |    438 |     561884 |     474187 |      550 |    81320 |    43921 |   889942 |    42129 |      671 |  20 |  3.184 |
223.73/31.63	c (29,0) c 
223.73/31.63	c (29,0) c synthesis     8724655 conflicts   107888542 propagations    39770 conflicts/sec   491792 propagations/sec
223.73/31.63	c (29,0) c real: 29.4064 s, cpu: 219.378 s, memory: 647.45 Mb
228.55/32.85	c (30,0) c
228.55/32.85	c (30,0) c real time : 30.6326 s
228.55/32.85	c (30,0) c cpu time  : 224.042 s
228.55/32.85	c (30,0) c
228.55/32.85	c (30,0) c
228.55/32.85	c (30,0) c
228.55/32.85	c (30,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
228.55/32.85	c (30,0) c
228.55/32.85	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.55/32.85	c (30,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
228.55/32.85	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.55/32.85	c (30,0) c | Conflicts     |         8896177 |    1768746 |     482725 |    1806948 |     482735 |    1745845 |     405089 |    1724715 |     479374 |
228.55/32.85	c (30,0) c | Decisions     |        10847874 |    2182569 |     569378 |    2222591 |     566520 |    2149328 |     468613 |    2120478 |     568397 |
228.55/32.85	c (30,0) c | Propagations  |       109934226 |   22144674 |    5933045 |   22449307 |    5770718 |   21731320 |    4695763 |   21324214 |    5885185 |
228.55/32.85	c (30,0) c | ReduceDBs     |            3429 |        842 |         19 |        862 |         20 |        830 |         17 |        821 |         18 |
228.55/32.85	c (30,0) c | SimpDBs       |              53 |         13 |          2 |         10 |          2 |         10 |          2 |         12 |          2 |
228.55/32.85	c (30,0) c | Restarts      |           16091 |       3938 |        370 |       3793 |        294 |       3636 |         88 |       3524 |        448 |
228.55/32.85	c (30,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
228.55/32.85	c (30,0) c | PropBinClauses|       214591490 |   43590418 |   10710258 |   44908678 |   10235835 |   43198702 |    8743437 |   42683082 |   10521080 |
228.55/32.85	c (30,0) c | PropPreBlocker|     13477946990 | 1606144265 | 1804458750 | 1575197688 | 1893225244 | 1565230310 | 1665513522 | 1545642147 | 1822535064 |
228.55/32.85	c (30,0) c | PropNotBlocker|      2420551105 |  324409301 |  279775577 |  327863020 |  276428934 |  325464854 |  286838047 |  323725380 |  276045992 |
228.55/32.85	c (30,0) c | LitFullScans  |     32804672398 | 4096376040 | 4105730156 | 4098359799 | 4099720822 | 4098338079 | 4105173793 | 4100643584 | 4100330125 |
228.55/32.85	c (30,0) c | LitScanFracts |        14268605 |     299774 |    1705667 |     345104 |    1697964 |     315085 |    7144871 |     456868 |    2303272 |
228.55/32.85	c (30,0) c | DecisionLevel0|           16170 |       3959 |        374 |       3804 |        299 |       3646 |         89 |       3549 |        450 |
228.55/32.85	c (30,0) c | Periods       |            5464 |        682 |        684 |        683 |        683 |        683 |        683 |        683 |        683 |
228.55/32.85	c (30,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
228.55/32.85	c (30,0) c | Avg_Trail     |                 |         91 |         90 |         92 |         89 |         91 |         89 |         92 |         89 |
228.55/32.85	c (30,0) c | Avg_DL        |                 |         15 |         16 |         16 |         17 |         15 |         19 |         17 |         16 |
228.55/32.85	c (30,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
228.55/32.85	c (30,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
228.55/32.85	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.55/32.85	c (30,0) c | Exported      |          973360 |     190836 |      40846 |     202633 |      45635 |     211678 |      46614 |     190692 |      44426 |
228.55/32.85	c (30,0) c | Imported      |         6623243 |     762805 |     905002 |     749582 |     902303 |     740370 |     897542 |     763702 |     901937 |
228.55/32.85	c (30,0) c | Good          |            2729 |        328 |        368 |        291 |        375 |        329 |        355 |        324 |        359 |
228.55/32.85	c (30,0) c | Purge         |         6620514 |     762477 |     904634 |     749291 |     901928 |     740041 |     897187 |     763378 |     901578 |
228.55/32.85	c (30,0) c | Promoted      |          222768 |      21388 |      41347 |      18693 |      35309 |      18932 |      27388 |      16687 |      43024 |
228.55/32.85	c (30,0) c | Remove_Imp    |         5860612 |     727772 |     764228 |     721921 |     782422 |     709231 |     731769 |     724821 |     698448 |
228.55/32.85	c (30,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
228.55/32.85	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.55/32.85	c (30,0) c | Unaries       |                 |         21 |          4 |         11 |          5 |         10 |          1 |         25 |          2 |
228.55/32.85	c (30,0) c | Binaries      |                 |        167 |         48 |        170 |         48 |        125 |         30 |        190 |         39 |
228.55/32.85	c (30,0) c | Glues         |                 |        211 |         75 |        202 |         76 |        165 |         63 |        230 |         61 |
228.55/32.85	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.55/32.85	c (30,0) c | Orig_Seen     |          1204 % |      23048 |        550 |      22956 |        550 |      22014 |        550 |      22644 |        550 |
228.55/32.85	c (30,0) c | Diff Orig seen|                 |      X     | -    22498 | -       92 | -    22498 | -     1034 | -    22498 | -      404 | -    22498 |
228.55/32.85	c (30,0) c | Hamming       |            12 % |      X     |         28 |         24 |         31 |         28 |         29 |         25 |         30 |
228.55/32.85	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.55/32.85	c (30,0) c | RunningTime   |                 |   30.1  99%|   26.6  89%|   28.9  97%|   26.2  88%|   29.2  98%|   26.4  88%|   28.8  97%|   25.9  87%|
228.55/32.85	c (30,0) c | WaitingTime   |                 |    0.0   0%|    2.9  10%|    0.5   2%|    3.4  11%|    0.2   1%|    3.1  10%|    0.6   2%|    3.6  12%|
228.55/32.85	c (30,0) c | ExchangingTime|                 |    0.3   1%|    0.4   1%|    0.3   1%|    0.4   1%|    0.3   1%|    0.4   1%|    0.3   1%|    0.3   1%|
228.55/32.85	c (30,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%|
228.55/32.85	c (30,0) c | SolvingTime   |                 |   30.5     |   29.9     |   29.7     |   29.9     |   29.8     |   29.8     |   29.7     |   29.9     |
228.55/32.85	c (30,0) c | PropagationTim|                 |   20.9  69%|   26.7  89%|   20.2  68%|   26.6  89%|   20.3  68%|   27.1  91%|   20.4  69%|   26.7  89%|
228.55/32.85	c (30,0) c | AnalysisTime  |                 |    5.9  19%|    1.8   6%|    6.0  20%|    2.0   7%|    5.8  20%|    1.7   6%|    5.8  20%|    1.9   6%|
228.55/32.85	c (30,0) c | ReductionTime |                 |    2.1   7%|    0.8   3%|    2.2   7%|    0.8   3%|    2.2   7%|    0.6   2%|    2.1   7%|    0.7   2%|
228.55/32.85	c (30,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
228.55/32.85	c (30,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%|
228.55/32.85	c (30,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%|
228.55/32.85	c (30,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.55/32.85	c (30,0) c
228.55/32.85	c (30,0) c
228.55/32.85	c (30,0) c Threads : 8
228.55/32.85	c (30,0) c Winner : 0
228.55/32.85	c (30,0) c Conflicts_0 : 1768746
228.55/32.85	c (30,0) c Conflicts_1 : 482725
228.55/32.85	c (30,0) c Conflicts_2 : 1806948
228.55/32.85	c (30,0) c Conflicts_3 : 482735
228.55/32.85	c (30,0) c Conflicts_4 : 1745845
228.55/32.85	c (30,0) c Conflicts_5 : 405089
228.55/32.85	c (30,0) c Conflicts_6 : 1724715
228.55/32.85	c (30,0) c Conflicts_7 : 479374
228.55/32.85	c (30,0) c Conflicts_total : 8896177
228.55/32.85	c (30,0) c Conflicts_winner : 1768746
228.55/32.85	c (30,0) c Decisions_0 : 2182569
228.55/32.85	c (30,0) c Decisions_1 : 569378
228.55/32.85	c (30,0) c Decisions_2 : 2222591
228.55/32.85	c (30,0) c Decisions_3 : 566520
228.55/32.85	c (30,0) c Decisions_4 : 2149328
228.55/32.85	c (30,0) c Decisions_5 : 468613
228.55/32.85	c (30,0) c Decisions_6 : 2120478
228.55/32.85	c (30,0) c Decisions_7 : 568397
228.55/32.85	c (30,0) c Decisions_total : 10847874
228.55/32.85	c (30,0) c Decisions_winner : 2182569
228.55/32.85	c (30,0) c Propagations_0 : 22144674
228.55/32.85	c (30,0) c Propagations_1 : 5933045
228.55/32.85	c (30,0) c Propagations_2 : 22449307
228.55/32.85	c (30,0) c Propagations_3 : 5770718
228.55/32.85	c (30,0) c Propagations_4 : 21731320
228.55/32.85	c (30,0) c Propagations_5 : 4695763
228.55/32.85	c (30,0) c Propagations_6 : 21324214
228.55/32.85	c (30,0) c Propagations_7 : 5885185
228.55/32.86	c (30,0) c Propagations_total : 109934226
228.55/32.86	c (30,0) c Propagations_winner : 22144674
228.55/32.86	c (30,0) c ReduceDBs_0 : 842
228.55/32.86	c (30,0) c ReduceDBs_1 : 19
228.55/32.86	c (30,0) c ReduceDBs_2 : 862
228.55/32.86	c (30,0) c ReduceDBs_3 : 20
228.55/32.86	c (30,0) c ReduceDBs_4 : 830
228.55/32.86	c (30,0) c ReduceDBs_5 : 17
228.55/32.86	c (30,0) c ReduceDBs_6 : 821
228.55/32.86	c (30,0) c ReduceDBs_7 : 18
228.55/32.86	c (30,0) c ReduceDBs_total : 3429
228.55/32.86	c (30,0) c ReduceDBs_winner : 842
228.55/32.86	c (30,0) c SimpDBs_0 : 13
228.55/32.86	c (30,0) c SimpDBs_1 : 2
228.55/32.86	c (30,0) c SimpDBs_2 : 10
228.55/32.86	c (30,0) c SimpDBs_3 : 2
228.55/32.86	c (30,0) c SimpDBs_4 : 10
228.55/32.86	c (30,0) c SimpDBs_5 : 2
228.55/32.86	c (30,0) c SimpDBs_6 : 12
228.55/32.86	c (30,0) c SimpDBs_7 : 2
228.55/32.86	c (30,0) c SimpDBs_total : 53
228.55/32.86	c (30,0) c SimpDBs_winner : 13
228.55/32.86	c (30,0) c Restarts_0 : 3938
228.55/32.86	c (30,0) c Restarts_1 : 370
228.55/32.86	c (30,0) c Restarts_2 : 3793
228.55/32.86	c (30,0) c Restarts_3 : 294
228.55/32.86	c (30,0) c Restarts_4 : 3636
228.55/32.86	c (30,0) c Restarts_5 : 88
228.55/32.86	c (30,0) c Restarts_6 : 3524
228.55/32.86	c (30,0) c Restarts_7 : 448
228.55/32.86	c (30,0) c Restarts_total : 16091
228.55/32.86	c (30,0) c Restarts_winner : 3938
228.55/32.86	c (30,0) c ForcedImports_0 : 0
228.55/32.86	c (30,0) c ForcedImports_1 : 0
228.55/32.86	c (30,0) c ForcedImports_2 : 0
228.55/32.86	c (30,0) c ForcedImports_3 : 0
228.55/32.86	c (30,0) c ForcedImports_4 : 0
228.55/32.86	c (30,0) c ForcedImports_5 : 0
228.55/32.86	c (30,0) c ForcedImports_6 : 0
228.55/32.86	c (30,0) c ForcedImports_7 : 0
228.55/32.86	c (30,0) c ForcedImports_total : 0
228.55/32.86	c (30,0) c ForcedImports_winner : 0
228.55/32.86	c (30,0) c PropsBinClauses_0 : 43590418
228.55/32.86	c (30,0) c PropsBinClauses_1 : 10710258
228.55/32.86	c (30,0) c PropsBinClauses_2 : 44908678
228.55/32.86	c (30,0) c PropsBinClauses_3 : 10235835
228.55/32.86	c (30,0) c PropsBinClauses_4 : 43198702
228.55/32.86	c (30,0) c PropsBinClauses_5 : 8743437
228.55/32.86	c (30,0) c PropsBinClauses_6 : 42683082
228.55/32.86	c (30,0) c PropsBinClauses_7 : 10521080
228.55/32.86	c (30,0) c PropsBinClauses_total : 214591490
228.55/32.86	c (30,0) c PropsBinClauses_winner : 43590418
228.55/32.86	c (30,0) c PropsPreBlocker_0 : 1606144265
228.55/32.86	c (30,0) c PropsPreBlocker_1 : 1804458750
228.55/32.86	c (30,0) c PropsPreBlocker_2 : 1575197688
228.55/32.86	c (30,0) c PropsPreBlocker_3 : 1893225244
228.55/32.86	c (30,0) c PropsPreBlocker_4 : 1565230310
228.55/32.86	c (30,0) c PropsPreBlocker_5 : 1665513522
228.55/32.86	c (30,0) c PropsPreBlocker_6 : 1545642147
228.55/32.86	c (30,0) c PropsPreBlocker_7 : 1822535064
228.55/32.86	c (30,0) c PropsPreBlocker_total : 13477946990
228.55/32.86	c (30,0) c PropsPreBlocker_winner : 1606144265
228.55/32.86	c (30,0) c PropsNotBlocker_0 : 324409301
228.55/32.86	c (30,0) c PropsNotBlocker_1 : 279775577
228.55/32.86	c (30,0) c PropsNotBlocker_2 : 327863020
228.55/32.86	c (30,0) c PropsNotBlocker_3 : 276428934
228.55/32.86	c (30,0) c PropsNotBlocker_4 : 325464854
228.55/32.86	c (30,0) c PropsNotBlocker_5 : 286838047
228.55/32.86	c (30,0) c PropsNotBlocker_6 : 323725380
228.55/32.86	c (30,0) c PropsNotBlocker_7 : 276045992
228.55/32.86	c (30,0) c PropsNotBlocker_total : 2420551105
228.55/32.86	c (30,0) c PropsNotBlocker_winner : 324409301
228.55/32.86	c (30,0) c PropsLitFullScans_0 : 4096376040
228.55/32.86	c (30,0) c PropsLitFullScans_1 : 4105730156
228.55/32.86	c (30,0) c PropsLitFullScans_2 : 4098359799
228.55/32.86	c (30,0) c PropsLitFullScans_3 : 4099720822
228.55/32.86	c (30,0) c PropsLitFullScans_4 : 4098338079
228.55/32.86	c (30,0) c PropsLitFullScans_5 : 4105173793
228.55/32.86	c (30,0) c PropsLitFullScans_6 : 4100643584
228.55/32.86	c (30,0) c PropsLitFullScans_7 : 4100330125
228.55/32.86	c (30,0) c PropsLitFullScans_total : 32804672398
228.55/32.86	c (30,0) c PropsLitFullScans_winner : 4096376040
228.55/32.86	c (30,0) c LitScanFractions_0 : 299774
228.55/32.86	c (30,0) c LitScanFractions_1 : 1705667
228.55/32.86	c (30,0) c LitScanFractions_2 : 345104
228.55/32.86	c (30,0) c LitScanFractions_3 : 1697964
228.55/32.86	c (30,0) c LitScanFractions_4 : 315085
228.55/32.86	c (30,0) c LitScanFractions_5 : 7144871
228.55/32.86	c (30,0) c LitScanFractions_6 : 456868
228.55/32.86	c (30,0) c LitScanFractions_7 : 2303272
228.55/32.86	c (30,0) c LitScanFractions_total : 14268605
228.55/32.86	c (30,0) c LitScanFractions_winner : 299774
228.55/32.86	c (30,0) c DecisionLevel0_0 : 3959
228.55/32.86	c (30,0) c DecisionLevel0_1 : 374
228.55/32.86	c (30,0) c DecisionLevel0_2 : 3804
228.55/32.86	c (30,0) c DecisionLevel0_3 : 299
228.55/32.86	c (30,0) c DecisionLevel0_4 : 3646
228.55/32.86	c (30,0) c DecisionLevel0_5 : 89
228.55/32.86	c (30,0) c DecisionLevel0_6 : 3549
228.55/32.86	c (30,0) c DecisionLevel0_7 : 450
228.55/32.86	c (30,0) c DecisionLevel0_total : 16170
228.55/32.86	c (30,0) c DecisionLevel0_winner : 3959
228.55/32.86	c (30,0) c Periods_0 : 682
228.55/32.86	c (30,0) c Periods_1 : 684
228.55/32.86	c (30,0) c Periods_2 : 683
228.55/32.86	c (30,0) c Periods_3 : 683
228.55/32.86	c (30,0) c Periods_4 : 683
228.55/32.86	c (30,0) c Periods_5 : 683
228.55/32.86	c (30,0) c Periods_6 : 683
228.55/32.86	c (30,0) c Periods_7 : 683
228.55/32.86	c (30,0) c Periods_total : 5464
228.55/32.86	c (30,0) c Periods_winner : 682
228.55/32.86	c (30,0) c Margin_0 : 20
228.55/32.86	c (30,0) c Margin_1 : 20
228.55/32.86	c (30,0) c Margin_2 : 20
228.55/32.86	c (30,0) c Margin_3 : 20
228.55/32.86	c (30,0) c Margin_4 : 20
228.55/32.86	c (30,0) c Margin_5 : 20
228.55/32.86	c (30,0) c Margin_6 : 20
228.55/32.86	c (30,0) c Margin_7 : 20
228.55/32.86	c (30,0) c Margin_total : 160
228.55/32.86	c (30,0) c Margin_winner : 20
228.55/32.86	c (30,0) c Exported_0 : 190836
228.55/32.86	c (30,0) c Exported_1 : 40846
228.55/32.86	c (30,0) c Exported_2 : 202633
228.55/32.86	c (30,0) c Exported_3 : 45635
228.55/32.86	c (30,0) c Exported_4 : 211678
228.55/32.86	c (30,0) c Exported_5 : 46614
228.55/32.86	c (30,0) c Exported_6 : 190692
228.55/32.86	c (30,0) c Exported_7 : 44426
228.55/32.86	c (30,0) c Exported_total : 973360
228.55/32.86	c (30,0) c Exported_winner : 190836
228.55/32.86	c (30,0) c Imported_0 : 762805
228.55/32.86	c (30,0) c Imported_1 : 905002
228.55/32.86	c (30,0) c Imported_2 : 749582
228.55/32.86	c (30,0) c Imported_3 : 902303
228.55/32.86	c (30,0) c Imported_4 : 740370
228.55/32.86	c (30,0) c Imported_5 : 897542
228.55/32.86	c (30,0) c Imported_6 : 763702
228.55/32.86	c (30,0) c Imported_7 : 901937
228.55/32.86	c (30,0) c Imported_total : 6623243
228.55/32.86	c (30,0) c Imported_winner : 762805
228.55/32.86	c (30,0) c Good_0 : 328
228.55/32.86	c (30,0) c Good_1 : 368
228.55/32.86	c (30,0) c Good_2 : 291
228.55/32.86	c (30,0) c Good_3 : 375
228.55/32.86	c (30,0) c Good_4 : 329
228.55/32.86	c (30,0) c Good_5 : 355
228.55/32.86	c (30,0) c Good_6 : 324
228.55/32.86	c (30,0) c Good_7 : 359
228.55/32.86	c (30,0) c Good_total : 2729
228.55/32.86	c (30,0) c Good_winner : 328
228.55/32.86	c (30,0) c Purge_0 : 762477
228.55/32.86	c (30,0) c Purge_1 : 904634
228.55/32.86	c (30,0) c Purge_2 : 749291
228.55/32.86	c (30,0) c Purge_3 : 901928
228.55/32.86	c (30,0) c Purge_4 : 740041
228.55/32.86	c (30,0) c Purge_5 : 897187
228.55/32.86	c (30,0) c Purge_6 : 763378
228.55/32.86	c (30,0) c Purge_7 : 901578
228.55/32.86	c (30,0) c Purge_total : 6620514
228.55/32.86	c (30,0) c Purge_winner : 762477
228.55/32.86	c (30,0) c Promoted_0 : 21388
228.55/32.86	c (30,0) c Promoted_1 : 41347
228.55/32.86	c (30,0) c Promoted_2 : 18693
228.55/32.86	c (30,0) c Promoted_3 : 35309
228.55/32.86	c (30,0) c Promoted_4 : 18932
228.55/32.86	c (30,0) c Promoted_5 : 27388
228.55/32.86	c (30,0) c Promoted_6 : 16687
228.55/32.86	c (30,0) c Promoted_7 : 43024
228.55/32.86	c (30,0) c Promoted_total : 222768
228.55/32.86	c (30,0) c Promoted_winner : 21388
228.55/32.86	c (30,0) c Remove_Imp_0 : 727772
228.55/32.86	c (30,0) c Remove_Imp_1 : 764228
228.55/32.86	c (30,0) c Remove_Imp_2 : 721921
228.55/32.86	c (30,0) c Remove_Imp_3 : 782422
228.55/32.86	c (30,0) c Remove_Imp_4 : 709231
228.55/32.86	c (30,0) c Remove_Imp_5 : 731769
228.55/32.86	c (30,0) c Remove_Imp_6 : 724821
228.55/32.86	c (30,0) c Remove_Imp_7 : 698448
228.55/32.86	c (30,0) c Remove_Imp_total : 5860612
228.55/32.86	c (30,0) c Remove_Imp_winner : 727772
228.55/32.86	c (30,0) c Blocked_Reuse_0 : 0
228.55/32.86	c (30,0) c Blocked_Reuse_1 : 0
228.55/32.86	c (30,0) c Blocked_Reuse_2 : 0
228.55/32.86	c (30,0) c Blocked_Reuse_3 : 0
228.55/32.86	c (30,0) c Blocked_Reuse_4 : 0
228.55/32.86	c (30,0) c Blocked_Reuse_5 : 0
228.55/32.86	c (30,0) c Blocked_Reuse_6 : 0
228.55/32.86	c (30,0) c Blocked_Reuse_7 : 0
228.55/32.86	c (30,0) c Blocked_Reuse_total : 0
228.55/32.86	c (31,0) c Blocked_Reuse_winner : 0
228.55/32.86	c (31,0) c Unaries_0 : 21
228.55/32.86	c (31,0) c Unaries_1 : 4
228.55/32.86	c (31,0) c Unaries_2 : 11
228.55/32.86	c (31,0) c Unaries_3 : 5
228.55/32.87	c (31,0) c Unaries_4 : 10
228.55/32.87	c (31,0) c Unaries_5 : 1
228.55/32.87	c (31,0) c Unaries_6 : 25
228.55/32.87	c (31,0) c Unaries_7 : 2
228.55/32.87	c (31,0) c Unaries_total : 79
228.55/32.87	c (31,0) c Unaries_winner : 21
228.55/32.87	c (31,0) c Binaries_0 : 167
228.55/32.87	c (31,0) c Binaries_1 : 48
228.55/32.87	c (31,0) c Binaries_2 : 170
228.55/32.87	c (31,0) c Binaries_3 : 48
228.55/32.87	c (31,0) c Binaries_4 : 125
228.55/32.87	c (31,0) c Binaries_5 : 30
228.55/32.87	c (31,0) c Binaries_6 : 190
228.55/32.87	c (31,0) c Binaries_7 : 39
228.55/32.87	c (31,0) c Binaries_total : 817
228.55/32.87	c (31,0) c Binaries_winner : 167
228.55/32.87	c (31,0) c Glues_0 : 211
228.55/32.87	c (31,0) c Glues_1 : 75
228.55/32.87	c (31,0) c Glues_2 : 202
228.55/32.87	c (31,0) c Glues_3 : 76
228.55/32.87	c (31,0) c Glues_4 : 165
228.55/32.87	c (31,0) c Glues_5 : 63
228.55/32.87	c (31,0) c Glues_6 : 230
228.55/32.87	c (31,0) c Glues_7 : 61
228.55/32.87	c (31,0) c Glues_total : 1083
228.55/32.87	c (31,0) c Glues_winner : 211
228.55/32.87	c (31,0) c RunningTime_0 : 30.139056
228.55/32.87	c (31,0) c RunningTime_1 : 26.600547
228.55/32.87	c (31,0) c RunningTime_2 : 28.891896
228.55/32.87	c (31,0) c RunningTime_3 : 26.188894
228.55/32.87	c (31,0) c RunningTime_4 : 29.214952
228.55/32.87	c (31,0) c RunningTime_5 : 26.377311
228.55/32.87	c (31,0) c RunningTime_6 : 28.780643
228.55/32.87	c (31,0) c RunningTime_7 : 25.929769
228.55/32.87	c (31,0) c RunningTime_total : 222.123068
228.55/32.87	c (31,0) c RunningTime_winner : 30.139056
228.55/32.87	c (31,0) c WaitingTime_0 : 0.000810
228.55/32.87	c (31,0) c WaitingTime_1 : 2.903323
228.55/32.87	c (31,0) c WaitingTime_2 : 0.517112
228.55/32.87	c (31,0) c WaitingTime_3 : 3.354721
228.55/32.87	c (31,0) c WaitingTime_4 : 0.204189
228.55/32.87	c (31,0) c WaitingTime_5 : 3.071225
228.55/32.87	c (31,0) c WaitingTime_6 : 0.602052
228.55/32.87	c (31,0) c WaitingTime_7 : 3.621784
228.55/32.87	c (31,0) c WaitingTime_total : 14.275216
228.55/32.87	c (31,0) c WaitingTime_winner : 0.000810
228.55/32.87	c (31,0) c ExchangingTime_0 : 0.323443
228.55/32.87	c (31,0) c ExchangingTime_1 : 0.351519
228.55/32.87	c (31,0) c ExchangingTime_2 : 0.324790
228.55/32.87	c (31,0) c ExchangingTime_3 : 0.361249
228.55/32.87	c (31,0) c ExchangingTime_4 : 0.327138
228.55/32.87	c (31,0) c ExchangingTime_5 : 0.391155
228.55/32.87	c (31,0) c ExchangingTime_6 : 0.334833
228.55/32.87	c (31,0) c ExchangingTime_7 : 0.345930
228.55/32.87	c (31,0) c ExchangingTime_total : 2.760058
228.55/32.87	c (31,0) c ExchangingTime_winner : 0.323443
228.55/32.87	c (31,0) c PeriodProcTime_0 : 0.006147
228.55/32.87	c (31,0) c PeriodProcTime_1 : 0.004341
228.55/32.87	c (31,0) c PeriodProcTime_2 : 0.003902
228.55/32.87	c (31,0) c PeriodProcTime_3 : 0.004659
228.55/32.87	c (31,0) c PeriodProcTime_4 : 0.004062
228.55/32.87	c (31,0) c PeriodProcTime_5 : 0.005012
228.55/32.87	c (31,0) c PeriodProcTime_6 : 0.004092
228.55/32.87	c (31,0) c PeriodProcTime_7 : 0.004150
228.55/32.87	c (31,0) c PeriodProcTime_total : 0.036365
228.55/32.87	c (31,0) c PeriodProcTime_winner : 0.006147
228.55/32.87	c (31,0) c SolvingTime_0 : 30.469456
228.55/32.87	c (31,0) c SolvingTime_1 : 29.859730
228.55/32.87	c (31,0) c SolvingTime_2 : 29.737701
228.55/32.87	c (31,0) c SolvingTime_3 : 29.909523
228.55/32.87	c (31,0) c SolvingTime_4 : 29.750341
228.55/32.87	c (31,0) c SolvingTime_5 : 29.844704
228.55/32.87	c (31,0) c SolvingTime_6 : 29.721620
228.55/32.87	c (31,0) c SolvingTime_7 : 29.901633
228.55/32.87	c (31,0) c SolvingTime_total : 239.194708
228.55/32.87	c (31,0) c SolvingTime_winner : 30.469456
228.55/32.87	c (31,0) c PropagationTime_0 : 20.898726
228.55/32.87	c (31,0) c PropagationTime_1 : 26.662091
228.55/32.87	c (31,0) c PropagationTime_2 : 20.152627
228.55/32.87	c (31,0) c PropagationTime_3 : 26.576566
228.55/32.87	c (31,0) c PropagationTime_4 : 20.337984
228.55/32.87	c (31,0) c PropagationTime_5 : 27.058092
228.55/32.87	c (31,0) c PropagationTime_6 : 20.427014
228.55/32.87	c (31,0) c PropagationTime_7 : 26.749616
228.55/32.87	c (31,0) c PropagationTime_total : 188.862716
228.55/32.87	c (31,0) c PropagationTime_winner : 20.898726
228.55/32.87	c (31,0) c AnalysisTime_0 : 5.878354
228.55/32.87	c (31,0) c AnalysisTime_1 : 1.843032
228.55/32.87	c (31,0) c AnalysisTime_2 : 6.002189
228.55/32.87	c (31,0) c AnalysisTime_3 : 1.971988
228.55/32.87	c (31,0) c AnalysisTime_4 : 5.819968
228.55/32.87	c (31,0) c AnalysisTime_5 : 1.701062
228.55/32.87	c (31,0) c AnalysisTime_6 : 5.823012
228.55/32.87	c (31,0) c AnalysisTime_7 : 1.886893
228.55/32.87	c (31,0) c AnalysisTime_total : 30.926497
228.55/32.87	c (31,0) c AnalysisTime_winner : 5.878354
228.55/32.87	c (31,0) c ReductionTime_0 : 2.148376
228.55/32.87	c (31,0) c ReductionTime_1 : 0.800930
228.55/32.87	c (31,0) c ReductionTime_2 : 2.167416
228.55/32.87	c (31,0) c ReductionTime_3 : 0.810924
228.55/32.87	c (31,0) c ReductionTime_4 : 2.177424
228.55/32.87	c (31,0) c ReductionTime_5 : 0.575670
228.55/32.87	c (31,0) c ReductionTime_6 : 2.059904
228.55/32.87	c (31,0) c ReductionTime_7 : 0.725754
228.55/32.87	c (31,0) c ReductionTime_total : 11.466398
228.55/32.87	c (31,0) c ReductionTime_winner : 2.148376
228.55/32.87	c (31,0) c SimplifyTime_0 : 0.022741
228.55/32.87	c (31,0) c SimplifyTime_1 : 0.014598
228.55/32.87	c (31,0) c SimplifyTime_2 : 0.018776
228.55/32.87	c (31,0) c SimplifyTime_3 : 0.013605
228.55/32.87	c (31,0) c SimplifyTime_4 : 0.017690
228.55/32.87	c (31,0) c SimplifyTime_5 : 0.012589
228.55/32.87	c (31,0) c SimplifyTime_6 : 0.025538
228.55/32.87	c (31,0) c SimplifyTime_7 : 0.009473
228.55/32.87	c (31,0) c SimplifyTime_total : 0.135010
228.55/32.87	c (31,0) c SimplifyTime_winner : 0.022741
228.55/32.87	c (31,0) c UsedRateTime_0 : 0.000000
228.55/32.87	c (31,0) c UsedRateTime_1 : 0.000000
228.55/32.87	c (31,0) c UsedRateTime_2 : 0.000000
228.55/32.87	c (31,0) c UsedRateTime_3 : 0.000000
228.55/32.87	c (31,0) c UsedRateTime_4 : 0.000000
228.55/32.87	c (31,0) c UsedRateTime_5 : 0.000000
228.55/32.87	c (31,0) c UsedRateTime_6 : 0.000000
228.55/32.87	c (31,0) c UsedRateTime_7 : 0.000000
228.55/32.87	c (31,0) c UsedRateTime_total : 0.000000
228.55/32.87	c (31,0) c UsedRateTime_winner : 0.000000
228.55/32.87	c (31,0) c OverlapRateTime_0 : 0.000000
228.55/32.87	c (31,0) c OverlapRateTime_1 : 0.000000
228.55/32.87	c (31,0) c OverlapRateTime_2 : 0.000000
228.55/32.87	c (31,0) c OverlapRateTime_3 : 0.000000
228.55/32.87	c (31,0) c OverlapRateTime_4 : 0.000000
228.55/32.87	c (31,0) c OverlapRateTime_5 : 0.000000
228.55/32.87	c (31,0) c OverlapRateTime_6 : 0.000000
228.55/32.87	c (31,0) c OverlapRateTime_7 : 0.000000
228.55/32.87	c (31,0) c OverlapRateTime_total : 0.000000
228.55/32.87	c (31,0) c OverlapRateTime_winner : 0.000000
228.55/32.87	c (31,0) c
228.55/32.87	c (31,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
228.55/32.87	c (31,0) c
228.55/32.87	c (31,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.55/32.87	c (31,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
228.55/32.87	c (31,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.55/32.87	c (31,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
228.55/32.87	c (31,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
228.55/32.87	c (31,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
228.55/32.87	c (31,0) c | Initial random_seed   |  147262951 |  437863614 |  746212612 | 1790464762 |  406766717 | 1450582290 |  507825942 |  776118949 |
228.55/32.87	c (31,0) c | chanseokStrategy      |       True |      False |       True |      False |       True |      False |       True |      False |
228.55/32.87	c (31,0) c | coLBDBound            |          4 |          5 |          4 |          5 |          4 |          5 |          4 |          5 |
228.55/32.87	c (31,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
228.55/32.87	c (31,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
228.55/32.87	c (31,0) c | incReduceDB           |          0 |        300 |          0 |        300 |          0 |        300 |          0 |        300 |
228.55/32.87	c (31,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
228.55/32.87	c (31,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
228.55/32.87	c (31,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
228.55/32.87	c (31,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
228.55/32.87	c (31,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
228.55/32.87	c (31,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
228.55/32.87	c (31,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
228.55/32.87	c (31,0) 
228.55/32.87	c (31,0) s UNSATISFIABLE
228.55/32.87	c (31,0) SatSolver.solve End
228.55/32.87	c (31,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
228.55/32.87	c (31,0) Show results Begin
228.55/32.87	s UNSATISFIABLE
228.55/32.87	c (31,0) Show results End
228.55/32.87	c (31,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
228.55/32.88	c (31,0) 31,31,STOP-AFTER(ALL)
228.55/32.88	c END-Prog: Tue Sep 24 21:45:30 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 (13729 MiB free)
  memory of node 1: 16384 MiB (14459 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405177-1569354356/watcher-4405177-1569354356 -o /tmp/evaluation-result-4405177-1569354356/solver-4405177-1569354356 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569348342-32335 --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-4405177-1569354356.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=1768, runsolver pid=1765
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 5.02 7.12 7.83 2/212 1790
/proc/meminfo: memFree=28769500/32770624 swapFree=66999256/67108860
[pid=1768] ppid=1765 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1768/stat : 1768 (scop.sh) S 1765 1768 32308 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511688652 115843072 349 33554432000 4194304 5098028 140733445343808 140733445341064 139988232688252 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9924608 140733445350181 140733445350508 140733445350508 140733445353421 0
/proc/1768/statm: 28282 349 296 221 0 87 0
[pid=1771] ppid=1768 vsize=27314120 memory=106388 CPUtime=0.11 cores=0-7
/proc/1771/stat : 1771 (java) S 1768 1768 32308 0 -1 1077944320 6104 0 0 0 8 3 0 0 20 0 20 0 511688653 27969658880 26597 33554432000 4194304 4196468 140722555759872 140722555742416 140363716869879 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
/proc/1771/statm: 6828530 26597 2817 1 0 6790935 0
[pid=1771/tid=1772] ppid=1768 vsize=27314120 memory=6935054825532540783 CPUtime=0.08 cores=0-7
/proc/1771/task/1772/stat : 1772 (java) R 1768 1768 32308 0 -1 4202560 4213 0 0 0 6 2 0 0 20 0 20 0 511688653 27969658880 27109 33554432000 4194304 4196468 140722555759872 140363688706720 140363700950366 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1773] ppid=1768 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1771/task/1773/stat : 1773 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 27109 33554432000 4194304 4196468 140722555759872 140363721112336 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1774] ppid=1768 vsize=27314120 memory=140524564162176 CPUtime=0 cores=0-7
/proc/1771/task/1774/stat : 1774 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 27109 33554432000 4194304 4196468 140722555759872 140363504507792 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1775] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1775/stat : 1775 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 27109 33554432000 4194304 4196468 140722555759872 140363503455248 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1776] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1776/stat : 1776 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 27109 33554432000 4194304 4196468 140722555759872 140363502402704 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1777] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1777/stat : 1777 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 27109 33554432000 4194304 4196468 140722555759872 140363501349136 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1778] ppid=1768 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1771/task/1778/stat : 1778 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 27109 33554432000 4194304 4196468 140722555759872 140363500296592 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1779] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1779/stat : 1779 (java) S 1768 1768 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 27109 33554432000 4194304 4196468 140722555759872 140363499244048 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1780] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1780/stat : 1780 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 27109 33554432000 4194304 4196468 140722555759872 140363498191504 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1781] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1781/stat : 1781 (java) S 1768 1768 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511688657 27969658880 27109 33554432000 4194304 4196468 140722555759872 140362351757808 140363716881026 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1782] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1782/stat : 1782 (java) S 1768 1768 32308 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511688657 27969658880 27109 33554432000 4194304 4196468 140722555759872 140361477383584 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1783] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1783/stat : 1783 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688657 27969658880 27109 33554432000 4194304 4196468 140722555759872 140361208948208 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1784] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1784/stat : 1784 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 27109 33554432000 4194304 4196468 140722555759872 140360834439888 140363716888475 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1785] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1785/stat : 1785 (java) R 1768 1768 32308 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 27109 33554432000 4194304 4196468 140722555759872 140362102335472 140363716881026 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1786] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1786/stat : 1786 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 27109 33554432000 4194304 4196468 140722555759872 140362101282928 140363716881026 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1787] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1787/stat : 1787 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 27109 33554432000 4194304 4196468 140722555759872 140362100230384 140363716881026 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1788] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1788/stat : 1788 (java) R 1768 1768 32308 0 -1 4202560 280 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 27109 33554432000 4194304 4196468 140722555759872 140362099177840 140363709107006 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1789] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1789/stat : 1789 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 27109 33554432000 4194304 4196468 140722555759872 140360336534240 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1790] ppid=1768 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1771/task/1790/stat : 1790 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 27109 33554432000 4194304 4196468 140722555759872 140362098125744 140363716881026 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107784 KiB

[startup+0.210524 s]*
/proc/loadavg: 5.02 7.12 7.83 3/212 1790
/proc/meminfo: memFree=28748744/32770624 swapFree=66999256/67108860
[pid=1768] ppid=1765 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1768/stat : 1768 (scop.sh) S 1765 1768 32308 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511688652 115843072 349 33554432000 4194304 5098028 140733445343808 140733445341064 139988232688252 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9924608 140733445350181 140733445350508 140733445350508 140733445353421 0
/proc/1768/statm: 28282 349 296 221 0 87 0
[pid=1771] ppid=1768 vsize=27314120 memory=125500 CPUtime=0.24 cores=0-7
/proc/1771/stat : 1771 (java) S 1768 1768 32308 0 -1 1077944320 11722 0 0 0 20 4 0 0 20 0 20 0 511688653 27969658880 31375 33554432000 4194304 4196468 140722555759872 140722555742416 140363716869879 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
/proc/1771/statm: 6828530 31375 2930 1 0 6790935 0
[pid=1771/tid=1772] ppid=1768 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/1771/task/1772/stat : 1772 (java) R 1768 1768 32308 0 -1 4202560 9427 0 0 0 16 4 0 0 20 0 20 0 511688653 27969658880 31375 33554432000 4194304 4196468 140722555759872 140363688653440 140363698433454 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1773] ppid=1768 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/1771/task/1773/stat : 1773 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 31375 33554432000 4194304 4196468 140722555759872 140363721112336 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1774] ppid=1768 vsize=27314120 memory=288370900715873920 CPUtime=0 cores=0-7
/proc/1771/task/1774/stat : 1774 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 31375 33554432000 4194304 4196468 140722555759872 140363504507792 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1775] ppid=1768 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1771/task/1775/stat : 1775 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 31375 33554432000 4194304 4196468 140722555759872 140363503455248 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1776] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1776/stat : 1776 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 31375 33554432000 4194304 4196468 140722555759872 140363502402704 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1777] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1777/stat : 1777 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 31375 33554432000 4194304 4196468 140722555759872 140363501349136 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1778] ppid=1768 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1771/task/1778/stat : 1778 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 31375 33554432000 4194304 4196468 140722555759872 140363500296592 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1779] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1779/stat : 1779 (java) S 1768 1768 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 31375 33554432000 4194304 4196468 140722555759872 140363499244048 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1780] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1780/stat : 1780 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 31375 33554432000 4194304 4196468 140722555759872 140363498191504 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1781] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1781/stat : 1781 (java) S 1768 1768 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511688657 27969658880 31375 33554432000 4194304 4196468 140722555759872 140362351757808 140363716881026 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1782] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1782/stat : 1782 (java) S 1768 1768 32308 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511688657 27969658880 31375 33554432000 4194304 4196468 140722555759872 140361477383584 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1783] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1783/stat : 1783 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688657 27969658880 31375 33554432000 4194304 4196468 140722555759872 140361208948208 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1784] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1784/stat : 1784 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 31375 33554432000 4194304 4196468 140722555759872 140360834439888 140363716888475 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1785] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1785/stat : 1785 (java) S 1768 1768 32308 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 31375 33554432000 4194304 4196468 140722555759872 140362102335472 140363716881026 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1786] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1786/stat : 1786 (java) S 1768 1768 32308 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 31375 33554432000 4194304 4196468 140722555759872 140362101282928 140363716881026 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1787] ppid=1768 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1771/task/1787/stat : 1787 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 31375 33554432000 4194304 4196468 140722555759872 140362100230384 140363716881026 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1788] ppid=1768 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/1771/task/1788/stat : 1788 (java) S 1768 1768 32308 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 20 0 511688660 27969658880 31375 33554432000 4194304 4196468 140722555759872 140362099177840 140363716881026 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1789] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1789/stat : 1789 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 31375 33554432000 4194304 4196468 140722555759872 140360336534240 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1790] ppid=1768 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1771/task/1790/stat : 1790 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 31375 33554432000 4194304 4196468 140722555759872 140362098125744 140363716881026 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126896 KiB

[startup+0.310432 s]*
/proc/loadavg: 5.02 7.12 7.83 2/212 1790
/proc/meminfo: memFree=28746192/32770624 swapFree=66999256/67108860
[pid=1768] ppid=1765 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1768/stat : 1768 (scop.sh) S 1765 1768 32308 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511688652 115843072 349 33554432000 4194304 5098028 140733445343808 140733445341064 139988232688252 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9924608 140733445350181 140733445350508 140733445350508 140733445353421 0
/proc/1768/statm: 28282 349 296 221 0 87 0
[pid=1771] ppid=1768 vsize=27314120 memory=129528 CPUtime=0.42 cores=0-7
/proc/1771/stat : 1771 (java) S 1768 1768 32308 0 -1 1077944320 12280 0 0 0 38 4 0 0 20 0 20 0 511688653 27969658880 32382 33554432000 4194304 4196468 140722555759872 140722555742416 140363716869879 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
/proc/1771/statm: 6828530 32382 3029 1 0 6790935 0
[pid=1771/tid=1772] ppid=1768 vsize=27314120 memory=6935054825532540783 CPUtime=0.3 cores=0-7
/proc/1771/task/1772/stat : 1772 (java) R 1768 1768 32308 0 -1 4202560 9785 0 0 0 26 4 0 0 20 0 20 0 511688653 27969658880 32382 33554432000 4194304 4196468 140722555759872 140363688682224 140363697145639 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1773] ppid=1768 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1771/task/1773/stat : 1773 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 32382 33554432000 4194304 4196468 140722555759872 140363721112336 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1774] ppid=1768 vsize=27314120 memory=8560 CPUtime=0 cores=0-7
/proc/1771/task/1774/stat : 1774 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 32382 33554432000 4194304 4196468 140722555759872 140363504507792 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1775] ppid=1768 vsize=27314120 memory=1712 CPUtime=0 cores=0-7
/proc/1771/task/1775/stat : 1775 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 32382 33554432000 4194304 4196468 140722555759872 140363503455248 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1776] ppid=1768 vsize=27314120 memory=1112 CPUtime=0 cores=0-7
/proc/1771/task/1776/stat : 1776 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 32382 33554432000 4194304 4196468 140722555759872 140363502402704 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1777] ppid=1768 vsize=27314120 memory=1004 CPUtime=0 cores=0-7
/proc/1771/task/1777/stat : 1777 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 32382 33554432000 4194304 4196468 140722555759872 140363501349136 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1778] ppid=1768 vsize=27314120 memory=6084 CPUtime=0 cores=0-7
/proc/1771/task/1778/stat : 1778 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 32382 33554432000 4194304 4196468 140722555759872 140363500296592 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1779] ppid=1768 vsize=27314120 memory=14008 CPUtime=0 cores=0-7
/proc/1771/task/1779/stat : 1779 (java) S 1768 1768 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 32382 33554432000 4194304 4196468 140722555759872 140363499244048 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1780] ppid=1768 vsize=27314120 memory=2124 CPUtime=0 cores=0-7
/proc/1771/task/1780/stat : 1780 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27969658880 32382 33554432000 4194304 4196468 140722555759872 140363498191504 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1781] ppid=1768 vsize=27314120 memory=35748 CPUtime=0 cores=0-7
/proc/1771/task/1781/stat : 1781 (java) S 1768 1768 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511688657 27969658880 32382 33554432000 4194304 4196468 140722555759872 140362351757808 140363716881026 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1782] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1782/stat : 1782 (java) S 1768 1768 32308 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511688657 27969658880 32382 33554432000 4194304 4196468 140722555759872 140361477383584 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1783] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1783/stat : 1783 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688657 27969658880 32382 33554432000 4194304 4196468 140722555759872 140361208948208 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1784] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1784/stat : 1784 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 32382 33554432000 4194304 4196468 140722555759872 140360834439888 140363716888475 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1785] ppid=1768 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/1771/task/1785/stat : 1785 (java) S 1768 1768 32308 0 -1 1077944384 552 0 0 0 1 0 0 0 20 0 20 0 511688660 27969658880 32382 33554432000 4194304 4196468 140722555759872 140362102335472 140363716881026 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1786] ppid=1768 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1786/stat : 1786 (java) S 1768 1768 32308 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 32382 33554432000 4194304 4196468 140722555759872 140362101282928 140363716881026 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1787] ppid=1768 vsize=27314120 memory=140524417811919 CPUtime=0.02 cores=0-7
/proc/1771/task/1787/stat : 1787 (java) S 1768 1768 32308 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 20 0 511688660 27969658880 32382 33554432000 4194304 4196468 140722555759872 140362100230384 140363716881026 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1788] ppid=1768 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/1771/task/1788/stat : 1788 (java) S 1768 1768 32308 0 -1 1077944384 527 0 0 0 7 0 0 0 20 0 20 0 511688660 27969658880 32382 33554432000 4194304 4196468 140722555759872 140362099177840 140363716881026 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1789] ppid=1768 vsize=27314120 memory=140524417839988 CPUtime=0 cores=0-7
/proc/1771/task/1789/stat : 1789 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 32382 33554432000 4194304 4196468 140722555759872 140360336534240 140363716880085 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1790] ppid=1768 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1771/task/1790/stat : 1790 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688660 27969658880 32382 33554432000 4194304 4196468 140722555759872 140362098125744 140363716881026 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130924 KiB

[startup+0.700926 s]
/proc/loadavg: 5.02 7.12 7.83 2/212 1790
/proc/meminfo: memFree=28724364/32770624 swapFree=66999256/67108860
[pid=1768] ppid=1765 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1768/stat : 1768 (scop.sh) S 1765 1768 32308 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511688652 115843072 349 33554432000 4194304 5098028 140733445343808 140733445341064 139988232688252 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 9924608 140733445350181 140733445350508 140733445350508 140733445353421 0
/proc/1768/statm: 28282 349 296 221 0 87 0
[pid=1771] ppid=1768 vsize=27322516 memory=166276 CPUtime=0.99 cores=0-7
/proc/1771/stat : 1771 (java) S 1768 1768 32308 0 -1 1077944320 20125 0 0 0 92 7 0 0 20 0 20 0 511688653 27978256384 41569 33554432000 4194304 4196468 140722555759872 140722555742416 140363716869879 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
/proc/1771/statm: 6830629 41569 3207 1 0 6791959 0
[pid=1771/tid=1772] ppid=1768 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/1771/task/1772/stat : 1772 (java) R 1768 1768 32308 0 -1 4202560 17029 0 0 0 61 6 0 0 20 0 20 0 511688653 27978256384 41569 33554432000 4194304 4196468 140722555759872 140363688699920 140363695009646 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1773] ppid=1768 vsize=27322516 memory=140524418016112 CPUtime=0 cores=0-7
/proc/1771/task/1773/stat : 1773 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27978256384 41569 33554432000 4194304 4196468 140722555759872 140363721112336 140363716880085 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1774] ppid=1768 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1774/stat : 1774 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27978256384 41569 33554432000 4194304 4196468 140722555759872 140363504507792 140363716880085 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0
[pid=1771/tid=1775] ppid=1768 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/1771/task/1775/stat : 1775 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511688655 27978256384 41569 33554432000 4194304 4196468 140722555759872 140363503455248 140363716880085 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38174720 140722555765484 140722555765910 140722555765910 140722555768783 0

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

[pid=1791/tid=1801] ppid=1768 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1791/task/1801/stat : 1801 (java) S 1768 1768 32308 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511688803 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896688945136 139897394150018 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1802] ppid=1768 vsize=8414124 memory=117784 CPUtime=0 cores=0-7
/proc/1791/task/1802/stat : 1802 (java) S 1768 1768 32308 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511688804 8616062976 29446 33554432000 4194304 4196468 140727071029888 139895674758048 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1803] ppid=1768 vsize=8414124 memory=438004 CPUtime=0 cores=0-7
/proc/1791/task/1803/stat : 1803 (java) S 1768 1768 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511688804 8616062976 29446 33554432000 4194304 4196468 140727071029888 139895540536304 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1804] ppid=1768 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1791/task/1804/stat : 1804 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511688806 8616062976 29446 33554432000 4194304 4196468 140727071029888 139895166032080 139897394157467 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1805] ppid=1768 vsize=8414124 memory=-1189914978686163229 CPUtime=0.06 cores=0-7
/proc/1791/task/1805/stat : 1805 (java) S 1768 1768 32308 0 -1 1077944384 674 0 0 0 6 0 0 0 20 0 24 0 511688806 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896687892976 139897394150018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1806] ppid=1768 vsize=8414124 memory=-1189914978686163229 CPUtime=0.04 cores=0-7
/proc/1791/task/1806/stat : 1806 (java) S 1768 1768 32308 0 -1 1077944384 155 0 0 0 4 0 0 0 20 0 24 0 511688806 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896686840432 139897394150018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1807] ppid=1768 vsize=8414124 memory=8330969454845486047 CPUtime=0.06 cores=0-7
/proc/1791/task/1807/stat : 1807 (java) S 1768 1768 32308 0 -1 1077944384 261 0 0 0 6 0 0 0 20 0 24 0 511688806 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896685787888 139897394150018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1808] ppid=1768 vsize=8414124 memory=-4695052241013923951 CPUtime=0.2 cores=0-7
/proc/1791/task/1808/stat : 1808 (java) S 1768 1768 32308 0 -1 1077944384 572 0 0 0 20 0 0 0 20 0 24 0 511688806 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896684735344 139897394150018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1809] ppid=1768 vsize=8414124 memory=9126232286719478932 CPUtime=0 cores=0-7
/proc/1791/task/1809/stat : 1809 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511688807 8616062976 29446 33554432000 4194304 4196468 140727071029888 139894668126432 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1810] ppid=1768 vsize=8414124 memory=7230921007607278949 CPUtime=0.01 cores=0-7
/proc/1791/task/1810/stat : 1810 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 511688807 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896683682224 139897394150018 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1812] ppid=1768 vsize=8414124 memory=7230921007607278949 CPUtime=0 cores=0-7
/proc/1791/task/1812/stat : 1812 (java) S 1768 1768 32308 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511688874 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896682071232 139897394163481 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1821] ppid=1768 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1791/task/1821/stat : 1821 (java) S 1768 1768 32308 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 511688875 8616062976 29446 33554432000 4194304 4196468 140727071029888 139893997027088 139897394160797 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1822] ppid=1768 vsize=8414124 memory=117784 CPUtime=0 cores=0-7
/proc/1791/task/1822/stat : 1822 (java) S 1768 1768 32308 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511688875 8616062976 29446 33554432000 4194304 4196468 140727071029888 139894265462672 139897394160797 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1824] ppid=1768 vsize=8414124 memory=416296 CPUtime=0 cores=0-7
/proc/1791/task/1824/stat : 1824 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511688877 8616062976 29446 33554432000 4194304 4196468 140727071029888 139893728599728 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
Current children cumulated CPU time: 226.91 s
Current children cumulated vsize: 9190240 KiB
Current children cumulated memory: 539600 KiB

[startup+32.401 s]
/proc/loadavg: 5.32 6.95 7.75 9/224 1826
/proc/meminfo: memFree=28338012/32770624 swapFree=66999256/67108860
[pid=1768] ppid=1765 vsize=113128 memory=1476 CPUtime=2.76 cores=0-7
/proc/1768/stat : 1768 (scop.sh) S 1765 1768 32308 0 -1 4202496 583 24331 0 0 0 0 263 13 20 0 1 0 511688652 115843072 369 33554432000 4194304 5098028 140733445343808 140733445340552 139988232688252 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9924608 140733445350181 140733445350508 140733445350508 140733445353421 0
/proc/1768/statm: 28282 369 311 221 0 87 0
[pid=1791] ppid=1768 vsize=8414124 memory=117784 CPUtime=1.2 cores=0-7
/proc/1791/stat : 1791 (java) S 1768 1768 32308 0 -1 1077944320 19947 0 0 0 114 6 0 0 20 0 24 0 511688800 8616062976 29446 33554432000 4194304 4196468 140727071029888 140727071012432 139897394138871 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
/proc/1791/statm: 2103531 29446 3188 1 0 2064875 0
[pid=1811] ppid=1791 vsize=662988 memory=420396 CPUtime=224.19 cores=0-7
/proc/1811/stat : 1811 (manyglucose-4.1) S 1791 1768 32308 0 -1 1077944320 286862 0 0 0 22358 61 0 0 20 0 2 0 511688874 678899712 105099 33554432000 4194304 4454172 140721637806080 140721637804464 140083960237815 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 36691968 140721637811050 140721637811248 140721637811248 140721637814202 0
/proc/1811/statm: 165747 105099 418 64 0 161415 0
[pid=1811/tid=1814] ppid=1791 vsize=662988 memory=7686721470250851476 CPUtime=30.12 cores=0-7
/proc/1811/task/1814/stat : 1814 (manyglucose-4.1) R 1791 1768 32308 0 -1 4202560 24087 0 0 0 3010 2 0 0 20 0 2 0 511688875 678899712 105099 33554432000 4194304 4454172 140721637806080 140083945020552 4351535 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 36691968 140721637811050 140721637811248 140721637811248 140721637814202 0
[pid=1791/tid=1792] ppid=1768 vsize=8414124 memory=288230574492221466 CPUtime=0.77 cores=0-7
/proc/1791/task/1792/stat : 1792 (java) S 1768 1768 32308 0 -1 1077944384 16869 0 0 0 73 4 0 0 20 0 24 0 511688801 8616062976 29446 33554432000 4194304 4196468 140727071029888 139897365979040 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1793] ppid=1768 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/1791/task/1793/stat : 1793 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139897398380816 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1794] ppid=1768 vsize=8414124 memory=15822209369245720 CPUtime=0 cores=0-7
/proc/1791/task/1794/stat : 1794 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896879368592 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1795] ppid=1768 vsize=8414124 memory=281048835686952 CPUtime=0 cores=0-7
/proc/1791/task/1795/stat : 1795 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896878316048 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1796] ppid=1768 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1791/task/1796/stat : 1796 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896877263504 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1797] ppid=1768 vsize=8414124 memory=7593739083903482515 CPUtime=0 cores=0-7
/proc/1791/task/1797/stat : 1797 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896876210960 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1798] ppid=1768 vsize=8414124 memory=288291069207268703 CPUtime=0 cores=0-7
/proc/1791/task/1798/stat : 1798 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896875158416 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1799] ppid=1768 vsize=8414124 memory=3502058 CPUtime=0 cores=0-7
/proc/1791/task/1799/stat : 1799 (java) S 1768 1768 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896874105872 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1800] ppid=1768 vsize=8414124 memory=2867664723996254 CPUtime=0 cores=0-7
/proc/1791/task/1800/stat : 1800 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896873053328 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1801] ppid=1768 vsize=8414124 memory=6655300315589009488 CPUtime=0 cores=0-7
/proc/1791/task/1801/stat : 1801 (java) S 1768 1768 32308 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511688803 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896688945136 139897394150018 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1802] ppid=1768 vsize=8414124 memory=11201815131607 CPUtime=0 cores=0-7
/proc/1791/task/1802/stat : 1802 (java) S 1768 1768 32308 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511688804 8616062976 29446 33554432000 4194304 4196468 140727071029888 139895674758048 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1803] ppid=1768 vsize=8414124 memory=2608 CPUtime=0 cores=0-7
/proc/1791/task/1803/stat : 1803 (java) S 1768 1768 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511688804 8616062976 29446 33554432000 4194304 4196468 140727071029888 139895540536304 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1804] ppid=1768 vsize=8414124 memory=2608 CPUtime=0 cores=0-7
/proc/1791/task/1804/stat : 1804 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511688806 8616062976 29446 33554432000 4194304 4196468 140727071029888 139895166032080 139897394157467 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1805] ppid=1768 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/1791/task/1805/stat : 1805 (java) S 1768 1768 32308 0 -1 1077944384 674 0 0 0 6 0 0 0 20 0 24 0 511688806 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896687892976 139897394150018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1806] ppid=1768 vsize=8414124 memory=117784 CPUtime=0.04 cores=0-7
/proc/1791/task/1806/stat : 1806 (java) S 1768 1768 32308 0 -1 1077944384 155 0 0 0 4 0 0 0 20 0 24 0 511688806 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896686840432 139897394150018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1807] ppid=1768 vsize=8414124 memory=420340 CPUtime=0.06 cores=0-7
/proc/1791/task/1807/stat : 1807 (java) S 1768 1768 32308 0 -1 1077944384 261 0 0 0 6 0 0 0 20 0 24 0 511688806 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896685787888 139897394150018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1808] ppid=1768 vsize=8414124 memory=1808 CPUtime=0.2 cores=0-7
/proc/1791/task/1808/stat : 1808 (java) S 1768 1768 32308 0 -1 1077944384 572 0 0 0 20 0 0 0 20 0 24 0 511688806 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896684735344 139897394150018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1809] ppid=1768 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/1791/task/1809/stat : 1809 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511688807 8616062976 29446 33554432000 4194304 4196468 140727071029888 139894668126432 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1810] ppid=1768 vsize=8414124 memory=281048835424496 CPUtime=0.01 cores=0-7
/proc/1791/task/1810/stat : 1810 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 511688807 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896683682224 139897394150018 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1812] ppid=1768 vsize=8414124 memory=6935054825532540783 CPUtime=0 cores=0-7
/proc/1791/task/1812/stat : 1812 (java) S 1768 1768 32308 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511688874 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896682071232 139897394163481 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1821] ppid=1768 vsize=8414124 memory=-7880843606118635149 CPUtime=0 cores=0-7
/proc/1791/task/1821/stat : 1821 (java) S 1768 1768 32308 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 511688875 8616062976 29446 33554432000 4194304 4196468 140727071029888 139893997027088 139897394160797 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1822] ppid=1768 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/1791/task/1822/stat : 1822 (java) S 1768 1768 32308 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511688875 8616062976 29446 33554432000 4194304 4196468 140727071029888 139894265462672 139897394160797 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1824] ppid=1768 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/1791/task/1824/stat : 1824 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511688877 8616062976 29446 33554432000 4194304 4196468 140727071029888 139893728599728 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
Current children cumulated CPU time: 228.15 s
Current children cumulated vsize: 9190240 KiB
Current children cumulated memory: 539656 KiB

[startup+32.801 s]
/proc/loadavg: 5.32 6.95 7.75 9/224 1826
/proc/meminfo: memFree=28338012/32770624 swapFree=66999256/67108860
[pid=1768] ppid=1765 vsize=113128 memory=1476 CPUtime=2.76 cores=0-7
/proc/1768/stat : 1768 (scop.sh) S 1765 1768 32308 0 -1 4202496 583 24331 0 0 0 0 263 13 20 0 1 0 511688652 115843072 369 33554432000 4194304 5098028 140733445343808 140733445340552 139988232688252 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9924608 140733445350181 140733445350508 140733445350508 140733445353421 0
/proc/1768/statm: 28282 369 311 221 0 87 0
[pid=1791] ppid=1768 vsize=8414124 memory=117784 CPUtime=1.2 cores=0-7
/proc/1791/stat : 1791 (java) S 1768 1768 32308 0 -1 1077944320 19947 0 0 0 114 6 0 0 20 0 24 0 511688800 8616062976 29446 33554432000 4194304 4196468 140727071029888 140727071012432 139897394138871 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
/proc/1791/statm: 2103531 29446 3188 1 0 2064875 0
[pid=1811] ppid=1791 vsize=662988 memory=420396 CPUtime=224.59 cores=0-7
/proc/1811/stat : 1811 (manyglucose-4.1) S 1791 1768 32308 0 -1 1077944320 286873 0 0 0 22398 61 0 0 20 0 2 0 511688874 678899712 105099 33554432000 4194304 4454172 140721637806080 140721637804464 140083960237815 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 36691968 140721637811050 140721637811248 140721637811248 140721637814202 0
/proc/1811/statm: 165747 105099 418 64 0 161415 0
[pid=1811/tid=1814] ppid=1791 vsize=662988 memory=0 CPUtime=30.52 cores=0-7
/proc/1811/task/1814/stat : 1814 (manyglucose-4.1) R 1791 1768 32308 0 -1 4202560 24098 0 0 0 3050 2 0 0 20 0 2 0 511688875 678899712 105099 33554432000 4194304 4454172 140721637806080 140083945020552 4351184 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 36691968 140721637811050 140721637811248 140721637811248 140721637814202 0
[pid=1791/tid=1792] ppid=1768 vsize=8414124 memory=1476 CPUtime=0.77 cores=0-7
/proc/1791/task/1792/stat : 1792 (java) S 1768 1768 32308 0 -1 1077944384 16869 0 0 0 73 4 0 0 20 0 24 0 511688801 8616062976 29446 33554432000 4194304 4196468 140727071029888 139897365979040 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1793] ppid=1768 vsize=8414124 memory=117784 CPUtime=0 cores=0-7
/proc/1791/task/1793/stat : 1793 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139897398380816 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1794] ppid=1768 vsize=8414124 memory=420260 CPUtime=0 cores=0-7
/proc/1791/task/1794/stat : 1794 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896879368592 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1795] ppid=1768 vsize=8414124 memory=4476 CPUtime=0 cores=0-7
/proc/1791/task/1795/stat : 1795 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896878316048 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1796] ppid=1768 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/1791/task/1796/stat : 1796 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896877263504 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1797] ppid=1768 vsize=8414124 memory=3604 CPUtime=0 cores=0-7
/proc/1791/task/1797/stat : 1797 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896876210960 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1798] ppid=1768 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/1791/task/1798/stat : 1798 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896875158416 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1799] ppid=1768 vsize=8414124 memory=676 CPUtime=0 cores=0-7
/proc/1791/task/1799/stat : 1799 (java) S 1768 1768 32308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896874105872 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1800] ppid=1768 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/1791/task/1800/stat : 1800 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511688802 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896873053328 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1801] ppid=1768 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/1791/task/1801/stat : 1801 (java) S 1768 1768 32308 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511688803 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896688945136 139897394150018 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1802] ppid=1768 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/1791/task/1802/stat : 1802 (java) S 1768 1768 32308 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511688804 8616062976 29446 33554432000 4194304 4196468 140727071029888 139895674758048 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1803] ppid=1768 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/1791/task/1803/stat : 1803 (java) S 1768 1768 32308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511688804 8616062976 29446 33554432000 4194304 4196468 140727071029888 139895540536304 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1804] ppid=1768 vsize=8414124 memory=1112 CPUtime=0 cores=0-7
/proc/1791/task/1804/stat : 1804 (java) S 1768 1768 32308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511688806 8616062976 29446 33554432000 4194304 4196468 140727071029888 139895166032080 139897394157467 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1805] ppid=1768 vsize=8414124 memory=1004 CPUtime=0.06 cores=0-7
/proc/1791/task/1805/stat : 1805 (java) S 1768 1768 32308 0 -1 1077944384 674 0 0 0 6 0 0 0 20 0 24 0 511688806 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896687892976 139897394150018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1806] ppid=1768 vsize=8414124 memory=6084 CPUtime=0.04 cores=0-7
/proc/1791/task/1806/stat : 1806 (java) S 1768 1768 32308 0 -1 1077944384 155 0 0 0 4 0 0 0 20 0 24 0 511688806 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896686840432 139897394150018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1807] ppid=1768 vsize=8414124 memory=14008 CPUtime=0.06 cores=0-7
/proc/1791/task/1807/stat : 1807 (java) S 1768 1768 32308 0 -1 1077944384 261 0 0 0 6 0 0 0 20 0 24 0 511688806 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896685787888 139897394150018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1808] ppid=1768 vsize=8414124 memory=2124 CPUtime=0.2 cores=0-7
/proc/1791/task/1808/stat : 1808 (java) S 1768 1768 32308 0 -1 1077944384 572 0 0 0 20 0 0 0 20 0 24 0 511688806 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896684735344 139897394150018 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1809] ppid=1768 vsize=8414124 memory=55 CPUtime=0 cores=0-7
/proc/1791/task/1809/stat : 1809 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511688807 8616062976 29446 33554432000 4194304 4196468 140727071029888 139894668126432 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1810] ppid=1768 vsize=8414124 memory=281048835500176 CPUtime=0.01 cores=0-7
/proc/1791/task/1810/stat : 1810 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 511688807 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896683682224 139897394150018 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1812] ppid=1768 vsize=8414124 memory=576461251985632562 CPUtime=0 cores=0-7
/proc/1791/task/1812/stat : 1812 (java) S 1768 1768 32308 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511688874 8616062976 29446 33554432000 4194304 4196468 140727071029888 139896682071232 139897394163481 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1821] ppid=1768 vsize=8414124 memory=288288891675607911 CPUtime=0 cores=0-7
/proc/1791/task/1821/stat : 1821 (java) S 1768 1768 32308 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 511688875 8616062976 29446 33554432000 4194304 4196468 140727071029888 139893997027088 139897394160797 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1822] ppid=1768 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1791/task/1822/stat : 1822 (java) S 1768 1768 32308 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 511688875 8616062976 29446 33554432000 4194304 4196468 140727071029888 139894265462672 139897394160797 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
[pid=1791/tid=1824] ppid=1768 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/1791/task/1824/stat : 1824 (java) S 1768 1768 32308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511688877 8616062976 29446 33554432000 4194304 4196468 140727071029888 139893728599728 139897394149077 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31633408 140727071036408 140727071036566 140727071036566 140727071039439 0
Current children cumulated CPU time: 228.55 s
Current children cumulated vsize: 9190240 KiB
Current children cumulated memory: 539656 KiB

Child status: 0
Real time (s): 32.9001
CPU time (s): 228.737
CPU user time (s): 227.887
CPU system time (s): 0.849729
CPU usage (%): 695.246
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 609660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 227.887
system time used= 0.849729
maximum resident set size= 500640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332601
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= 8395
involuntary context switches= 1966


# summary of solver processes directly reported to runsolver:
#   pid: 1768
#   total CPU time (s): 228.737
#   total CPU user time (s): 227.887
#   total CPU system time (s): 0.849729

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.337167 second user time and 0.452962 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-24 21:44:57
IDJOB=4405177
IDBENCH=134710
IDSOLVER=2867
FILE ID=node103/4405177-1569354356
RUNJOBID= node103-1569348342-32335
PBS_JOBID= 21705080
Free space on /tmp= 20860 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-chnl10-11.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-4405177-1569354356/watcher-4405177-1569354356 -o /tmp/evaluation-result-4405177-1569354356/solver-4405177-1569354356 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569348342-32335 --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-4405177-1569354356.xml

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

MD5SUM BENCH= 0cb6e3dc45605db1284c892a60e68314
RANDOM SEED=1931010860

node103.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.74
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.74
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.74
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.74
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:        28865504 kB
MemAvailable:   31854096 kB
Buffers:           57552 kB
Cached:          3209400 kB
SwapCached:         7000 kB
Active:          3160920 kB
Inactive:         118796 kB
Active(anon):       3420 kB
Inactive(anon):    67432 kB
Active(file):    3157500 kB
Inactive(file):    51364 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:             21020 kB
Writeback:             0 kB
AnonPages:         43228 kB
Mapped:            57612 kB
Shmem:             49080 kB
Slab:             219368 kB
SReclaimable:     191124 kB
SUnreclaim:        28244 kB
KernelStack:        3744 kB
PageTables:         6208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20840 MiB
End job on node103 at 2019-09-24 21:45:30