Trace number 4392434

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)UNSAT 1844.03 1669.52

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr1000c-int.xml
MD5SUM2ff4403728a82746813109e0b9ab6660
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 benchmark495.64
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints1998000
Number of domains1
Minimum domain size999
Maximum domain size999
Distribution of domain sizes[{"size":999,"count":1000}]
Minimum variable degree3996
Maximum variable degree3996
Distribution of variable degrees[{"degree":3996,"count":1000}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1998000}]
Number of extensional constraints0
Number of intensional constraints1998000
Distribution of constraint types[{"type":"intension","count":1998000}]
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-15499-serial-file.bin HOME/instance-4392434-1568427867.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 04:23:44 CEST 2019
0.65/0.57	c PID: 15502
0.65/0.57	c IP: 172.20.3.102
0.65/0.57	c HOST: node102.alineos.net
0.65/0.57	c (0,0) Parsing Begin
146.96/95.21	c (94,88) Parsing End
146.96/95.23	c (94,88) CSP: 1000 int (0 aux), 0 bool (0 aux), 1998000 ctr, max domain size 999
146.96/95.23	c (94,88) Heap : 3398 MiB used (max 20025 MiB), NonHeap : 25 MiB used (max 0 MiB)
146.96/95.23	c (94,88) Constraint Name Generate Begin
152.16/100.20	c (99,93) Ctr:HOME/instance-4392434-1568427867.xml,Eq:Imp:Le:Num:Var
152.16/100.20	c (99,93) Constraint Name Generate End
152.16/100.20	c (99,93) Heap : 4745 MiB used (max 20025 MiB), NonHeap : 25 MiB used (max 0 MiB)
152.16/100.20	c (99,93) CSP to CSPinCNF Begin
159.60/106.70	c (106,99) translated 199800 (10%) constraints
170.77/113.42	c (112,105) translated 399600 (20%) constraints
176.82/119.49	c (118,111) translated 599400 (30%) constraints
182.92/125.54	c (124,117) translated 799200 (40%) constraints
201.23/133.18	c (132,123) translated 999000 (50%) constraints
207.74/139.40	c (138,130) translated 1198800 (60%) constraints
213.95/145.61	c (145,136) translated 1398600 (70%) constraints
224.21/152.31	c (151,142) translated 1598400 (80%) constraints
230.31/158.48	c (157,148) translated 1798200 (90%) constraints
236.58/164.66	c (164,154) translated 1998000 (100%) constraints
236.58/164.66	c (164,154) ===========================================
236.58/164.67	c (164,154) Order
236.58/164.67	c (164,154) ===========================================
240.20/167.68	c (167,157) translated 199800 (10%) constraints
243.20/170.69	c (170,160) translated 399600 (20%) constraints
251.15/174.23	c (173,163) translated 599400 (30%) constraints
254.06/177.15	c (176,166) translated 799200 (40%) constraints
256.97/180.06	c (179,169) translated 999000 (50%) constraints
276.23/194.07	c (193,183) translated 1198800 (60%) constraints
294.70/207.89	c (207,196) translated 1398600 (70%) constraints
313.41/221.55	c (221,209) translated 1598400 (80%) constraints
333.26/235.89	c (235,222) translated 1798200 (90%) constraints
352.96/249.82	c (249,235) translated 1998000 (100%) constraints
352.96/249.83	c (249,235) CSP to CSPinCNF End
353.17/250.07	c (249,236) CSP: 1000 int (0 aux), 999000 bool (999000 aux), 3996000 ctr, max domain size 999
353.17/250.07	c (249,236) Heap : 8525 MiB used (max 21421 MiB), NonHeap : 27 MiB used (max 0 MiB)
353.17/250.07	c (249,236) CSPinCNF Propagation Begin
1832.92/1661.54	c (1660,1637) 1780938 values, 2689286 unsatisfiable literals, and 3659834 valid clauses are removed
1832.92/1661.54	c (1660,1637) CSPinCNF Propagation End
1833.32/1661.98	c (1661,1638) CSP: 983 int (0 aux), 999017 bool (999000 aux), 336166 ctr, max domain size 747
1833.32/1661.98	c (1661,1638) Heap : 10526 MiB used (max 21688 MiB), NonHeap : 26 MiB used (max 0 MiB)
1833.44/1662.04	c (1661,1638) Simplify CSPinCNF Begin
1834.26/1662.65	c (1662,1638) Simplify CSPinCNF End
1834.67/1663.09	c (1662,1639) CSP: 983 int (0 aux), 999017 bool (999000 aux), 336166 ctr, max domain size 747
1834.67/1663.09	c (1662,1639) Heap : 10765 MiB used (max 21688 MiB), NonHeap : 26 MiB used (max 0 MiB)
1834.67/1663.09	c (1662,1639) Calculate Precise Domain Begin
1834.67/1663.09	c (1662,1639) 0 values are removed by re-calculation
1834.67/1663.09	c (1662,1639) Calculate Precise Domain End
1835.16/1663.53	c (1662,1639) CSP: 983 int (0 aux), 999017 bool (999000 aux), 336166 ctr, max domain size 747
1835.16/1663.53	c (1662,1639) Heap : 10881 MiB used (max 21688 MiB), NonHeap : 26 MiB used (max 0 MiB)
1835.16/1663.53	c (1662,1639) CSPinCNF to SatSolver Begin
1838.38/1665.10	c (1664,1641) 33617 (10 %) CSP clauses are encoded (0 SAT variables, 140276 SAT clauses)
1838.72/1665.34	c (1664,1641) 67234 (20 %) CSP clauses are encoded (0 SAT variables, 173893 SAT clauses)
1838.93/1665.57	c (1665,1641) 100850 (30 %) CSP clauses are encoded (0 SAT variables, 207509 SAT clauses)
1839.22/1665.80	c (1665,1642) 134467 (40 %) CSP clauses are encoded (0 SAT variables, 241126 SAT clauses)
1839.43/1666.02	c (1665,1642) 168083 (50 %) CSP clauses are encoded (0 SAT variables, 274742 SAT clauses)
1839.62/1666.25	c (1665,1642) 201700 (60 %) CSP clauses are encoded (0 SAT variables, 308359 SAT clauses)
1839.83/1666.48	c (1665,1642) 235317 (70 %) CSP clauses are encoded (0 SAT variables, 341976 SAT clauses)
1840.13/1666.71	c (1666,1642) 268933 (80 %) CSP clauses are encoded (0 SAT variables, 375592 SAT clauses)
1840.33/1666.94	c (1666,1643) 302550 (90 %) CSP clauses are encoded (0 SAT variables, 409209 SAT clauses)
1840.54/1667.17	c (1666,1643) 336166 (100 %) CSP clauses are encoded (0 SAT variables, 442825 SAT clauses)
1840.54/1667.17	c (1666,1643) CSPinCNF to SatSolver End
1840.54/1667.17	c (1666,1643) Heap : 14021 MiB used (max 21688 MiB), NonHeap : 28 MiB used (max 0 MiB)
1840.54/1667.17	c (1666,1643) 216062 bool, 442826 clause
1840.54/1667.17	c (1666,1643) Export Begin
1840.90/1667.32	c (1666,1643) Export to HOME/scop-15499-serial-file.bin
1840.90/1667.32	c (1666,1643) Export End
1840.90/1667.32	c (1666,1643) Export File Size: 0.16 MB
1840.90/1667.32	c (1666,1643) 94,99,249,1661,1662,1662,1666,STOP-AFTER(DIMACS)
1840.90/1667.32	c END-Prog: Sat Sep 14 04:51:30 CEST 2019
0.00/1667.40	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15499-serial-file.bin
1841.08/1667.87	c (0,0) Read Serial File Begin
1841.08/1667.87	c (0,0) HOME/scop-15499-serial-file.bin
1842.16/1668.13	c (0,0) Read Serial File End
1842.16/1668.14	
1842.16/1668.14	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
1842.16/1668.14	(Solving Process)
1842.16/1668.14	
1842.16/1668.16	c BEGIN-Prog: Sat Sep 14 04:51:31 CEST 2019
1842.16/1668.16	c PID: 15650
1842.16/1668.16	c IP: 172.20.3.102
1842.16/1668.16	c HOST: node102.alineos.net
1842.16/1668.17	c (0,0) SatSolver.solve Begin
1842.16/1668.17	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392434-1568427867.xml-scop-15502.cnf
1842.16/1668.20	c (0,0) c
1842.16/1668.20	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)
1842.16/1668.20	c (0,0) c
1842.16/1668.20	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1842.16/1668.20	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1842.16/1668.20	c (0,0) c ========================================[ Problem Statistics ]===========================================
1842.16/1668.20	c (0,0) c |                                                                                                       |
1842.52/1668.44	c (0,0) c |  Number of variables:        216062                                                                   |
1842.52/1668.44	c (0,0) c |  Number of clauses:          442826                                                                   |
1842.52/1668.44	c (0,0) c |  Parse time:                   0.21 s                                                                 |
1842.52/1668.44	c (0,0) c |                                                                                                       |
1843.32/1669.03	c (1,0) c |  Simplification time:          0.59 s                                                                 |
1843.32/1669.03	c (1,0) c |                                                                                                       |
1843.32/1669.03	c (1,0) c |  Generating clones                                                                                    |
1843.72/1669.45	c (1,0) c |  all clones generated. Memory =   493.80Mb.                                                           |
1843.72/1669.45	c (1,0) c ========================================================================================================|
1843.72/1669.45	c (1,0) c
1843.72/1669.45	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1843.72/1669.45	c (1,0) c
1843.72/1669.45	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1843.72/1669.45	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1843.72/1669.45	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1843.72/1669.45	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1843.72/1669.45	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1843.72/1669.45	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1843.72/1669.45	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
1843.72/1669.46	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1843.72/1669.46	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1843.72/1669.46	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1843.72/1669.46	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1843.72/1669.46	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1843.72/1669.46	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1843.72/1669.46	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1843.72/1669.46	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1843.72/1669.46	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1843.72/1669.46	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1843.72/1669.46	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1843.72/1669.46	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1843.72/1669.47	c (1,0) c
1843.72/1669.47	c (1,0) c real time : 1.28132 s
1843.72/1669.47	c (1,0) c cpu time  : 1.21483 s
1843.72/1669.47	c (1,0) c
1843.72/1669.47	c (1,0) c
1843.72/1669.47	c (1,0) c
1843.72/1669.47	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1843.72/1669.47	c (1,0) c
1843.72/1669.47	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1843.72/1669.47	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1843.72/1669.47	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1843.72/1669.47	c (1,0) c | Conflicts     |              45 |          4 |          5 |          9 |         10 |          2 |          6 |          4 |          5 |
1843.72/1669.47	c (1,0) c | Decisions     |              38 |          3 |          4 |          8 |         10 |          1 |          5 |          3 |          4 |
1843.72/1669.47	c (1,0) c | Propagations  |           74486 |       8136 |       8032 |       9429 |       9074 |       8178 |       8892 |       8032 |      14713 |
1843.72/1669.47	c (1,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1843.72/1669.47	c (1,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1843.72/1669.47	c (1,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1843.72/1669.47	c (1,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1843.72/1669.47	c (1,0) c | PropBinClauses|          194451 |      24181 |      22588 |      26089 |      28708 |      22785 |      22134 |      22627 |      25339 |
1843.72/1669.47	c (1,0) c | PropPreBlocker|          229206 |      28587 |      26798 |      30714 |      33353 |      26655 |      26396 |      27491 |      29212 |
1843.72/1669.47	c (1,0) c | PropNotBlocker|           92835 |      11866 |      11105 |      12532 |      13229 |      10331 |      10749 |      11672 |      11351 |
1843.72/1669.47	c (1,0) c | LitFullScans  |          924758 |      74109 |     103995 |     200001 |     173959 |      72983 |     105444 |      85844 |     108423 |
1843.72/1669.47	c (1,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1843.72/1669.47	c (1,0) c | DecisionLevel0|              18 |          4 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
1843.72/1669.47	c (1,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1843.72/1669.47	c (1,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1843.72/1669.47	c (1,0) c | Avg_Trail     |                 |       5997 |       6203 |       7033 |       6417 |       7993 |       5741 |       5042 |       7313 |
1843.72/1669.47	c (1,0) c | Avg_DL        |                 |          0 |          2 |          2 |          3 |          0 |          2 |          1 |          2 |
1843.72/1669.47	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1843.72/1669.47	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1843.72/1669.47	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1843.72/1669.47	c (1,0) c | Exported      |               7 |          0 |          1 |          1 |          2 |          0 |          1 |          1 |          1 |
1843.72/1669.47	c (1,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1843.72/1669.48	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1843.72/1669.48	c (1,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1843.72/1669.48	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1843.72/1669.48	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1843.72/1669.48	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1843.72/1669.48	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1843.72/1669.48	c (1,0) c | Unaries       |                 |          3 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
1843.72/1669.48	c (1,0) c | Binaries      |                 |          0 |          1 |          1 |          2 |          0 |          1 |          1 |          0 |
1843.72/1669.48	c (1,0) c | Glues         |                 |          0 |          1 |          1 |          2 |          0 |          1 |          1 |          1 |
1843.72/1669.48	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1843.72/1669.48	c (1,0) c | Orig_Seen     |            21 % |       3328 |       8385 |       8280 |       8229 |       7475 |       8466 |       7710 |       8270 |
1843.72/1669.48	c (1,0) c | Diff Orig seen|                 |      X     |       5057 |       4952 |       4901 |       4147 |       5138 |       4382 |       4942 |
1843.72/1669.48	c (1,0) c | Hamming       |             0 % |      X     |        390 |        537 |        728 |        593 |        441 |        552 |        486 |
1843.72/1669.48	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1843.72/1669.48	c (1,0) c | RunningTime   |                 |    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|    0.0 100%|
1843.72/1669.48	c (1,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1843.72/1669.48	c (1,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1843.72/1669.48	c (1,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%|
1843.72/1669.48	c (1,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
1843.72/1669.48	c (1,0) c | PropagationTim|                 |    0.0  91%|    0.0  76%|    0.0  53%|    0.0  58%|    0.0  80%|    0.0  63%|    0.0  69%|    0.0  65%|
1843.72/1669.48	c (1,0) c | AnalysisTime  |                 |    0.0   7%|    0.0  23%|    0.0  44%|    0.0  39%|    0.0  18%|    0.0  35%|    0.0  28%|    0.0  33%|
1843.72/1669.48	c (1,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1843.72/1669.48	c (1,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%|
1843.72/1669.48	c (1,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%|
1843.72/1669.48	c (1,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%|
1843.72/1669.48	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1843.72/1669.48	c (1,0) c
1843.72/1669.48	c (1,0) c
1843.72/1669.48	c (1,0) c Threads : 8
1843.72/1669.48	c (1,0) c Winner : 0
1843.72/1669.48	c (1,0) c Conflicts_0 : 4
1843.72/1669.48	c (1,0) c Conflicts_1 : 5
1843.72/1669.48	c (1,0) c Conflicts_2 : 9
1843.72/1669.48	c (1,0) c Conflicts_3 : 10
1843.72/1669.48	c (1,0) c Conflicts_4 : 2
1843.72/1669.48	c (1,0) c Conflicts_5 : 6
1843.72/1669.48	c (1,0) c Conflicts_6 : 4
1843.72/1669.48	c (1,0) c Conflicts_7 : 5
1843.72/1669.48	c (1,0) c Conflicts_total : 45
1843.72/1669.48	c (1,0) c Conflicts_winner : 4
1843.72/1669.48	c (1,0) c Decisions_0 : 3
1843.72/1669.48	c (1,0) c Decisions_1 : 4
1843.72/1669.48	c (1,0) c Decisions_2 : 8
1843.72/1669.48	c (1,0) c Decisions_3 : 10
1843.72/1669.48	c (1,0) c Decisions_4 : 1
1843.72/1669.48	c (1,0) c Decisions_5 : 5
1843.72/1669.48	c (1,0) c Decisions_6 : 3
1843.72/1669.48	c (1,0) c Decisions_7 : 4
1843.72/1669.48	c (1,0) c Decisions_total : 38
1843.72/1669.48	c (1,0) c Decisions_winner : 3
1843.72/1669.48	c (1,0) c Propagations_0 : 8136
1843.72/1669.48	c (1,0) c Propagations_1 : 8032
1843.72/1669.48	c (1,0) c Propagations_2 : 9429
1843.72/1669.48	c (1,0) c Propagations_3 : 9074
1843.72/1669.48	c (1,0) c Propagations_4 : 8178
1843.72/1669.48	c (1,0) c Propagations_5 : 8892
1843.72/1669.48	c (1,0) c Propagations_6 : 8032
1843.72/1669.48	c (1,0) c Propagations_7 : 14713
1843.72/1669.48	c (1,0) c Propagations_total : 74486
1843.72/1669.48	c (1,0) c Propagations_winner : 8136
1843.72/1669.48	c (1,0) c ReduceDBs_0 : 0
1843.72/1669.48	c (1,0) c ReduceDBs_1 : 0
1843.72/1669.48	c (1,0) c ReduceDBs_2 : 0
1843.72/1669.48	c (1,0) c ReduceDBs_3 : 0
1843.72/1669.48	c (1,0) c ReduceDBs_4 : 0
1843.72/1669.48	c (1,0) c ReduceDBs_5 : 0
1843.72/1669.48	c (1,0) c ReduceDBs_6 : 0
1843.72/1669.48	c (1,0) c ReduceDBs_7 : 0
1843.72/1669.48	c (1,0) c ReduceDBs_total : 0
1843.72/1669.48	c (1,0) c ReduceDBs_winner : 0
1843.72/1669.48	c (1,0) c SimpDBs_0 : 1
1843.72/1669.48	c (1,0) c SimpDBs_1 : 1
1843.72/1669.48	c (1,0) c SimpDBs_2 : 1
1843.72/1669.48	c (1,0) c SimpDBs_3 : 1
1843.72/1669.48	c (1,0) c SimpDBs_4 : 1
1843.72/1669.48	c (1,0) c SimpDBs_5 : 1
1843.72/1669.48	c (1,0) c SimpDBs_6 : 1
1843.72/1669.48	c (1,0) c SimpDBs_7 : 1
1843.72/1669.48	c (1,0) c SimpDBs_total : 8
1843.72/1669.48	c (1,0) c SimpDBs_winner : 1
1843.72/1669.48	c (1,0) c Restarts_0 : 1
1843.72/1669.48	c (1,0) c Restarts_1 : 1
1843.72/1669.48	c (1,0) c Restarts_2 : 1
1843.72/1669.48	c (1,0) c Restarts_3 : 1
1843.72/1669.48	c (1,0) c Restarts_4 : 1
1843.72/1669.48	c (1,0) c Restarts_5 : 1
1843.72/1669.48	c (1,0) c Restarts_6 : 1
1843.72/1669.48	c (1,0) c Restarts_7 : 1
1843.72/1669.48	c (1,0) c Restarts_total : 8
1843.72/1669.48	c (1,0) c Restarts_winner : 1
1843.72/1669.48	c (1,0) c ForcedImports_0 : 0
1843.72/1669.48	c (1,0) c ForcedImports_1 : 0
1843.72/1669.48	c (1,0) c ForcedImports_2 : 0
1843.72/1669.48	c (1,0) c ForcedImports_3 : 0
1843.72/1669.48	c (1,0) c ForcedImports_4 : 0
1843.72/1669.48	c (1,0) c ForcedImports_5 : 0
1843.72/1669.48	c (1,0) c ForcedImports_6 : 0
1843.72/1669.48	c (1,0) c ForcedImports_7 : 0
1843.72/1669.48	c (1,0) c ForcedImports_total : 0
1843.72/1669.48	c (1,0) c ForcedImports_winner : 0
1843.72/1669.48	c (1,0) c PropsBinClauses_0 : 24181
1843.72/1669.48	c (1,0) c PropsBinClauses_1 : 22588
1843.72/1669.48	c (1,0) c PropsBinClauses_2 : 26089
1843.72/1669.48	c (1,0) c PropsBinClauses_3 : 28708
1843.72/1669.48	c (1,0) c PropsBinClauses_4 : 22785
1843.72/1669.48	c (1,0) c PropsBinClauses_5 : 22134
1843.72/1669.48	c (1,0) c PropsBinClauses_6 : 22627
1843.72/1669.48	c (1,0) c PropsBinClauses_7 : 25339
1843.72/1669.48	c (1,0) c PropsBinClauses_total : 194451
1843.72/1669.48	c (1,0) c PropsBinClauses_winner : 24181
1843.72/1669.48	c (1,0) c PropsPreBlocker_0 : 28587
1843.72/1669.48	c (1,0) c PropsPreBlocker_1 : 26798
1843.72/1669.48	c (1,0) c PropsPreBlocker_2 : 30714
1843.72/1669.48	c (1,0) c PropsPreBlocker_3 : 33353
1843.72/1669.48	c (1,0) c PropsPreBlocker_4 : 26655
1843.72/1669.48	c (1,0) c PropsPreBlocker_5 : 26396
1843.72/1669.48	c (1,0) c PropsPreBlocker_6 : 27491
1843.72/1669.48	c (1,0) c PropsPreBlocker_7 : 29212
1843.72/1669.48	c (1,0) c PropsPreBlocker_total : 229206
1843.72/1669.48	c (1,0) c PropsPreBlocker_winner : 28587
1843.72/1669.48	c (1,0) c PropsNotBlocker_0 : 11866
1843.72/1669.48	c (1,0) c PropsNotBlocker_1 : 11105
1843.72/1669.48	c (1,0) c PropsNotBlocker_2 : 12532
1843.72/1669.48	c (1,0) c PropsNotBlocker_3 : 13229
1843.72/1669.48	c (1,0) c PropsNotBlocker_4 : 10331
1843.72/1669.48	c (1,0) c PropsNotBlocker_5 : 10749
1843.72/1669.48	c (1,0) c PropsNotBlocker_6 : 11672
1843.72/1669.48	c (1,0) c PropsNotBlocker_7 : 11351
1843.72/1669.48	c (1,0) c PropsNotBlocker_total : 92835
1843.72/1669.48	c (1,0) c PropsNotBlocker_winner : 11866
1843.72/1669.48	c (1,0) c PropsLitFullScans_0 : 74109
1843.72/1669.48	c (1,0) c PropsLitFullScans_1 : 103995
1843.72/1669.48	c (1,0) c PropsLitFullScans_2 : 200001
1843.72/1669.48	c (1,0) c PropsLitFullScans_3 : 173959
1843.72/1669.48	c (1,0) c PropsLitFullScans_4 : 72983
1843.72/1669.48	c (1,0) c PropsLitFullScans_5 : 105444
1843.72/1669.48	c (1,0) c PropsLitFullScans_6 : 85844
1843.72/1669.48	c (1,0) c PropsLitFullScans_7 : 108423
1843.72/1669.48	c (1,0) c PropsLitFullScans_total : 924758
1843.72/1669.48	c (1,0) c PropsLitFullScans_winner : 74109
1843.72/1669.48	c (1,0) c LitScanFractions_0 : 0
1843.72/1669.48	c (1,0) c LitScanFractions_1 : 0
1843.72/1669.48	c (1,0) c LitScanFractions_2 : 0
1843.72/1669.48	c (1,0) c LitScanFractions_3 : 0
1843.72/1669.48	c (1,0) c LitScanFractions_4 : 0
1843.72/1669.48	c (1,0) c LitScanFractions_5 : 0
1843.72/1669.48	c (1,0) c LitScanFractions_6 : 0
1843.72/1669.48	c (1,0) c LitScanFractions_7 : 0
1843.72/1669.48	c (1,0) c LitScanFractions_total : 0
1843.72/1669.48	c (1,0) c LitScanFractions_winner : 0
1843.72/1669.48	c (1,0) c DecisionLevel0_0 : 4
1843.72/1669.48	c (1,0) c DecisionLevel0_1 : 2
1843.72/1669.48	c (1,0) c DecisionLevel0_2 : 2
1843.72/1669.48	c (1,0) c DecisionLevel0_3 : 2
1843.72/1669.48	c (1,0) c DecisionLevel0_4 : 2
1843.72/1669.48	c (1,0) c DecisionLevel0_5 : 2
1843.72/1669.48	c (1,0) c DecisionLevel0_6 : 2
1843.72/1669.48	c (1,0) c DecisionLevel0_7 : 2
1843.72/1669.48	c (1,0) c DecisionLevel0_total : 18
1843.72/1669.48	c (1,0) c DecisionLevel0_winner : 4
1843.72/1669.48	c (1,0) c Periods_0 : 0
1843.72/1669.48	c (1,0) c Periods_1 : 0
1843.72/1669.48	c (1,0) c Periods_2 : 0
1843.72/1669.48	c (1,0) c Periods_3 : 0
1843.72/1669.48	c (1,0) c Periods_4 : 0
1843.72/1669.48	c (1,0) c Periods_5 : 0
1843.72/1669.48	c (1,0) c Periods_6 : 0
1843.72/1669.48	c (1,0) c Periods_7 : 0
1843.72/1669.48	c (1,0) c Periods_total : 0
1843.72/1669.48	c (1,0) c Periods_winner : 0
1843.72/1669.48	c (1,0) c Margin_0 : 20
1843.72/1669.48	c (1,0) c Margin_1 : 20
1843.72/1669.48	c (1,0) c Margin_2 : 20
1843.72/1669.48	c (1,0) c Margin_3 : 20
1843.72/1669.48	c (1,0) c Margin_4 : 20
1843.72/1669.48	c (1,0) c Margin_5 : 20
1843.72/1669.48	c (1,0) c Margin_6 : 20
1843.72/1669.48	c (1,0) c Margin_7 : 20
1843.72/1669.48	c (1,0) c Margin_total : 160
1843.72/1669.48	c (1,0) c Margin_winner : 20
1843.72/1669.48	c (1,0) c Exported_0 : 0
1843.72/1669.48	c (1,0) c Exported_1 : 1
1843.72/1669.48	c (1,0) c Exported_2 : 1
1843.72/1669.48	c (1,0) c Exported_3 : 2
1843.72/1669.48	c (1,0) c Exported_4 : 0
1843.72/1669.48	c (1,0) c Exported_5 : 1
1843.72/1669.48	c (1,0) c Exported_6 : 1
1843.72/1669.48	c (1,0) c Exported_7 : 1
1843.72/1669.48	c (1,0) c Exported_total : 7
1843.72/1669.48	c (1,0) c Exported_winner : 0
1843.72/1669.48	c (1,0) c Imported_0 : 0
1843.72/1669.48	c (1,0) c Imported_1 : 0
1843.72/1669.48	c (1,0) c Imported_2 : 0
1843.72/1669.48	c (1,0) c Imported_3 : 0
1843.72/1669.48	c (1,0) c Imported_4 : 0
1843.72/1669.48	c (1,0) c Imported_5 : 0
1843.72/1669.48	c (1,0) c Imported_6 : 0
1843.72/1669.48	c (1,0) c Imported_7 : 0
1843.72/1669.48	c (1,0) c Imported_total : 0
1843.72/1669.48	c (1,0) c Imported_winner : 0
1843.72/1669.48	c (1,0) c Good_0 : 0
1843.72/1669.48	c (1,0) c Good_1 : 0
1843.72/1669.48	c (1,0) c Good_2 : 0
1843.72/1669.48	c (1,0) c Good_3 : 0
1843.72/1669.48	c (1,0) c Good_4 : 0
1843.72/1669.48	c (1,0) c Good_5 : 0
1843.72/1669.48	c (1,0) c Good_6 : 0
1843.72/1669.48	c (1,0) c Good_7 : 0
1843.72/1669.48	c (1,0) c Good_total : 0
1843.72/1669.48	c (1,0) c Good_winner : 0
1843.72/1669.48	c (1,0) c Purge_0 : 0
1843.72/1669.48	c (1,0) c Purge_1 : 0
1843.72/1669.48	c (1,0) c Purge_2 : 0
1843.72/1669.48	c (1,0) c Purge_3 : 0
1843.72/1669.48	c (1,0) c Purge_4 : 0
1843.72/1669.48	c (1,0) c Purge_5 : 0
1843.72/1669.48	c (1,0) c Purge_6 : 0
1843.72/1669.48	c (1,0) c Purge_7 : 0
1843.72/1669.48	c (1,0) c Purge_total : 0
1843.72/1669.48	c (1,0) c Purge_winner : 0
1843.72/1669.48	c (1,0) c Promoted_0 : 0
1843.72/1669.48	c (1,0) c Promoted_1 : 0
1843.72/1669.48	c (1,0) c Promoted_2 : 0
1843.72/1669.48	c (1,0) c Promoted_3 : 0
1843.72/1669.48	c (1,0) c Promoted_4 : 0
1843.72/1669.48	c (1,0) c Promoted_5 : 0
1843.72/1669.48	c (1,0) c Promoted_6 : 0
1843.72/1669.48	c (1,0) c Promoted_7 : 0
1843.72/1669.48	c (1,0) c Promoted_total : 0
1843.72/1669.48	c (1,0) c Promoted_winner : 0
1843.72/1669.48	c (1,0) c Remove_Imp_0 : 0
1843.72/1669.48	c (1,0) c Remove_Imp_1 : 0
1843.72/1669.48	c (1,0) c Remove_Imp_2 : 0
1843.72/1669.48	c (1,0) c Remove_Imp_3 : 0
1843.72/1669.48	c (1,0) c Remove_Imp_4 : 0
1843.72/1669.48	c (1,0) c Remove_Imp_5 : 0
1843.72/1669.48	c (1,0) c Remove_Imp_6 : 0
1843.72/1669.48	c (1,0) c Remove_Imp_7 : 0
1843.72/1669.48	c (1,0) c Remove_Imp_total : 0
1843.72/1669.48	c (1,0) c Remove_Imp_winner : 0
1843.72/1669.48	c (1,0) c Blocked_Reuse_0 : 0
1843.72/1669.48	c (1,0) c Blocked_Reuse_1 : 0
1843.72/1669.48	c (1,0) c Blocked_Reuse_2 : 0
1843.72/1669.48	c (1,0) c Blocked_Reuse_3 : 0
1843.72/1669.48	c (1,0) c Blocked_Reuse_4 : 0
1843.72/1669.48	c (1,0) c Blocked_Reuse_5 : 0
1843.72/1669.48	c (1,0) c Blocked_Reuse_6 : 0
1843.72/1669.48	c (1,0) c Blocked_Reuse_7 : 0
1843.72/1669.48	c (1,0) c Blocked_Reuse_total : 0
1843.72/1669.48	c (1,0) c Blocked_Reuse_winner : 0
1843.72/1669.48	c (1,0) c Unaries_0 : 3
1843.72/1669.48	c (1,0) c Unaries_1 : 1
1843.72/1669.48	c (1,0) c Unaries_2 : 1
1843.72/1669.48	c (1,0) c Unaries_3 : 1
1843.72/1669.48	c (1,0) c Unaries_4 : 1
1843.72/1669.48	c (1,0) c Unaries_5 : 1
1843.72/1669.48	c (1,0) c Unaries_6 : 1
1843.72/1669.48	c (1,0) c Unaries_7 : 1
1843.72/1669.48	c (1,0) c Unaries_total : 10
1843.72/1669.48	c (1,0) c Unaries_winner : 3
1843.72/1669.49	c (1,0) c Binaries_0 : 0
1843.72/1669.49	c (1,0) c Binaries_1 : 1
1843.72/1669.49	c (1,0) c Binaries_2 : 1
1843.72/1669.49	c (1,0) c Binaries_3 : 2
1843.72/1669.49	c (1,0) c Binaries_4 : 0
1843.72/1669.49	c (1,0) c Binaries_5 : 1
1843.72/1669.49	c (1,0) c Binaries_6 : 1
1843.72/1669.49	c (1,0) c Binaries_7 : 0
1843.72/1669.49	c (1,0) c Binaries_total : 6
1843.72/1669.49	c (1,0) c Binaries_winner : 0
1843.72/1669.49	c (1,0) c Glues_0 : 0
1843.72/1669.49	c (1,0) c Glues_1 : 1
1843.72/1669.49	c (1,0) c Glues_2 : 1
1843.72/1669.49	c (1,0) c Glues_3 : 2
1843.72/1669.49	c (1,0) c Glues_4 : 0
1843.72/1669.49	c (1,0) c Glues_5 : 1
1843.72/1669.49	c (1,0) c Glues_6 : 1
1843.72/1669.49	c (1,0) c Glues_7 : 1
1843.72/1669.49	c (1,0) c Glues_total : 7
1843.72/1669.49	c (1,0) c Glues_winner : 0
1843.72/1669.49	c (1,0) c RunningTime_0 : 0.015337
1843.72/1669.49	c (1,0) c RunningTime_1 : 0.014444
1843.72/1669.49	c (1,0) c RunningTime_2 : 0.013236
1843.72/1669.49	c (1,0) c RunningTime_3 : 0.017431
1843.72/1669.49	c (1,0) c RunningTime_4 : 0.008135
1843.72/1669.49	c (1,0) c RunningTime_5 : 0.011546
1843.72/1669.49	c (1,0) c RunningTime_6 : 0.013313
1843.72/1669.49	c (1,0) c RunningTime_7 : 0.015599
1843.72/1669.49	c (1,0) c RunningTime_total : 0.109041
1843.72/1669.49	c (1,0) c RunningTime_winner : 0.015337
1843.72/1669.49	c (1,0) c WaitingTime_0 : 0.000000
1843.72/1669.49	c (1,0) c WaitingTime_1 : 0.000000
1843.72/1669.49	c (1,0) c WaitingTime_2 : 0.000000
1843.72/1669.49	c (1,0) c WaitingTime_3 : 0.000000
1843.72/1669.49	c (1,0) c WaitingTime_4 : 0.000000
1843.72/1669.49	c (1,0) c WaitingTime_5 : 0.000000
1843.72/1669.49	c (1,0) c WaitingTime_6 : 0.000000
1843.72/1669.49	c (1,0) c WaitingTime_7 : 0.000000
1843.72/1669.49	c (1,0) c WaitingTime_total : 0.000000
1843.72/1669.49	c (1,0) c WaitingTime_winner : 0.000000
1843.72/1669.49	c (1,0) c ExchangingTime_0 : 0.000001
1843.72/1669.49	c (1,0) c ExchangingTime_1 : 0.000003
1843.72/1669.49	c (1,0) c ExchangingTime_2 : 0.000005
1843.72/1669.49	c (1,0) c ExchangingTime_3 : 0.000009
1843.72/1669.49	c (1,0) c ExchangingTime_4 : 0.000002
1843.72/1669.49	c (1,0) c ExchangingTime_5 : 0.000004
1843.72/1669.49	c (1,0) c ExchangingTime_6 : 0.000004
1843.72/1669.49	c (1,0) c ExchangingTime_7 : 0.000006
1843.72/1669.49	c (1,0) c ExchangingTime_total : 0.000033
1843.72/1669.49	c (1,0) c ExchangingTime_winner : 0.000001
1843.72/1669.49	c (1,0) c PeriodProcTime_0 : 0.000000
1843.72/1669.49	c (1,0) c PeriodProcTime_1 : 0.000000
1843.72/1669.49	c (1,0) c PeriodProcTime_2 : 0.000000
1843.72/1669.49	c (1,0) c PeriodProcTime_3 : 0.000000
1843.72/1669.49	c (1,0) c PeriodProcTime_4 : 0.000000
1843.72/1669.49	c (1,0) c PeriodProcTime_5 : 0.000000
1843.72/1669.49	c (1,0) c PeriodProcTime_6 : 0.000000
1843.72/1669.49	c (1,0) c PeriodProcTime_7 : 0.000000
1843.72/1669.49	c (1,0) c PeriodProcTime_total : 0.000000
1843.72/1669.49	c (1,0) c PeriodProcTime_winner : 0.000000
1843.72/1669.49	c (1,0) c SolvingTime_0 : 0.015338
1843.72/1669.49	c (1,0) c SolvingTime_1 : 0.014447
1843.72/1669.49	c (1,0) c SolvingTime_2 : 0.013241
1843.72/1669.49	c (1,0) c SolvingTime_3 : 0.017440
1843.72/1669.49	c (1,0) c SolvingTime_4 : 0.008137
1843.72/1669.49	c (1,0) c SolvingTime_5 : 0.011550
1843.72/1669.49	c (1,0) c SolvingTime_6 : 0.013317
1843.72/1669.49	c (1,0) c SolvingTime_7 : 0.015604
1843.72/1669.49	c (1,0) c SolvingTime_total : 0.109074
1843.72/1669.49	c (1,0) c SolvingTime_winner : 0.015338
1843.72/1669.49	c (1,0) c PropagationTime_0 : 0.013927
1843.72/1669.49	c (1,0) c PropagationTime_1 : 0.010997
1843.72/1669.49	c (1,0) c PropagationTime_2 : 0.006958
1843.72/1669.49	c (1,0) c PropagationTime_3 : 0.010133
1843.72/1669.49	c (1,0) c PropagationTime_4 : 0.006508
1843.72/1669.49	c (1,0) c PropagationTime_5 : 0.007275
1843.72/1669.49	c (1,0) c PropagationTime_6 : 0.009142
1843.72/1669.49	c (1,0) c PropagationTime_7 : 0.010134
1843.72/1669.49	c (1,0) c PropagationTime_total : 0.075075
1843.72/1669.49	c (1,0) c PropagationTime_winner : 0.013927
1843.72/1669.49	c (1,0) c AnalysisTime_0 : 0.001052
1843.72/1669.49	c (1,0) c AnalysisTime_1 : 0.003261
1843.72/1669.49	c (1,0) c AnalysisTime_2 : 0.005881
1843.72/1669.49	c (1,0) c AnalysisTime_3 : 0.006775
1843.72/1669.49	c (1,0) c AnalysisTime_4 : 0.001446
1843.72/1669.49	c (1,0) c AnalysisTime_5 : 0.004013
1843.72/1669.49	c (1,0) c AnalysisTime_6 : 0.003690
1843.72/1669.49	c (1,0) c AnalysisTime_7 : 0.005104
1843.72/1669.49	c (1,0) c AnalysisTime_total : 0.031221
1843.72/1669.49	c (1,0) c AnalysisTime_winner : 0.001052
1843.72/1669.49	c (1,0) c ReductionTime_0 : 0.000000
1843.72/1669.49	c (1,0) c ReductionTime_1 : 0.000000
1843.72/1669.49	c (1,0) c ReductionTime_2 : 0.000000
1843.72/1669.49	c (1,0) c ReductionTime_3 : 0.000000
1843.72/1669.49	c (1,0) c ReductionTime_4 : 0.000000
1843.72/1669.49	c (1,0) c ReductionTime_5 : 0.000000
1843.72/1669.49	c (1,0) c ReductionTime_6 : 0.000000
1843.72/1669.49	c (1,0) c ReductionTime_7 : 0.000000
1843.72/1669.49	c (1,0) c ReductionTime_total : 0.000000
1843.72/1669.49	c (1,0) c ReductionTime_winner : 0.000000
1843.72/1669.49	c (1,0) c SimplifyTime_0 : 0.000000
1843.72/1669.49	c (1,0) c SimplifyTime_1 : 0.000000
1843.72/1669.49	c (1,0) c SimplifyTime_2 : 0.000000
1843.72/1669.49	c (1,0) c SimplifyTime_3 : 0.000000
1843.72/1669.49	c (1,0) c SimplifyTime_4 : 0.000000
1843.72/1669.49	c (1,0) c SimplifyTime_5 : 0.000000
1843.72/1669.49	c (1,0) c SimplifyTime_6 : 0.000000
1843.72/1669.49	c (1,0) c SimplifyTime_7 : 0.000001
1843.72/1669.49	c (1,0) c SimplifyTime_total : 0.000001
1843.72/1669.49	c (1,0) c SimplifyTime_winner : 0.000000
1843.72/1669.49	c (1,0) c UsedRateTime_0 : 0.000000
1843.72/1669.49	c (1,0) c UsedRateTime_1 : 0.000000
1843.72/1669.49	c (1,0) c UsedRateTime_2 : 0.000000
1843.72/1669.49	c (1,0) c UsedRateTime_3 : 0.000000
1843.72/1669.49	c (1,0) c UsedRateTime_4 : 0.000000
1843.72/1669.49	c (1,0) c UsedRateTime_5 : 0.000000
1843.72/1669.49	c (1,0) c UsedRateTime_6 : 0.000000
1843.72/1669.49	c (1,0) c UsedRateTime_7 : 0.000000
1843.72/1669.49	c (1,0) c UsedRateTime_total : 0.000000
1843.72/1669.49	c (1,0) c UsedRateTime_winner : 0.000000
1843.72/1669.49	c (1,0) c OverlapRateTime_0 : 0.000000
1843.72/1669.49	c (1,0) c OverlapRateTime_1 : 0.000000
1843.72/1669.49	c (1,0) c OverlapRateTime_2 : 0.000000
1843.72/1669.49	c (1,0) c OverlapRateTime_3 : 0.000000
1843.72/1669.49	c (1,0) c OverlapRateTime_4 : 0.000000
1843.72/1669.49	c (1,0) c OverlapRateTime_5 : 0.000000
1843.72/1669.49	c (1,0) c OverlapRateTime_6 : 0.000000
1843.72/1669.49	c (1,0) c OverlapRateTime_7 : 0.000000
1843.72/1669.49	c (1,0) c OverlapRateTime_total : 0.000000
1843.72/1669.49	c (1,0) c OverlapRateTime_winner : 0.000000
1843.72/1669.49	c (1,0) c
1843.72/1669.49	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1843.72/1669.49	c (1,0) c
1843.72/1669.49	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1843.72/1669.49	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1843.72/1669.49	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1843.72/1669.49	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1843.72/1669.49	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1843.72/1669.49	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1843.72/1669.49	c (1,0) c | Initial random_seed   | 1534951076 | 1663886499 | 1928049687 |  119644679 |  830914708 | 1518614985 | 1868138479 |  137540030 |
1843.72/1669.49	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1843.72/1669.49	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1843.72/1669.49	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1843.72/1669.49	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1843.72/1669.49	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1843.72/1669.49	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1843.72/1669.49	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1843.72/1669.49	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
1843.72/1669.49	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1843.72/1669.49	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1843.72/1669.49	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1843.72/1669.49	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1843.72/1669.49	c (1,0) 
1843.72/1669.49	c (1,0) s UNSATISFIABLE
1843.97/1669.50	c (1,0) SatSolver.solve End
1843.97/1669.50	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1843.97/1669.50	c (1,0) Show results Begin
1843.97/1669.50	s UNSATISFIABLE
1843.97/1669.50	c (1,0) Show results End
1843.97/1669.50	c (1,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1843.97/1669.50	c (1,0) 1,1,STOP-AFTER(ALL)
1843.97/1669.50	c END-Prog: Sat Sep 14 04:51:33 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 (15214 MiB free)
  memory of node 1: 16384 MiB (15493 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392434-1568427867/watcher-4392434-1568427867 -o /tmp/evaluation-result-4392434-1568427867/solver-4392434-1568427867 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568427821-15482 --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-4392434-1568427867.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=15499, runsolver pid=15496
Current StackSize limit: 8192 KiB


[startup+0.100176 s]*
/proc/loadavg: 8.19 8.29 8.04 3/213 15521
/proc/meminfo: memFree=31350172/32770624 swapFree=66995716/67108860
[pid=15499] ppid=15496 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15499/stat : 15499 (scop.sh) S 15496 15499 15455 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419038265 115843072 349 33554432000 4194304 5098028 140735816291712 140735816288968 140592282845820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32714752 140735816299301 140735816299628 140735816299628 140735816302541 0
/proc/15499/statm: 28282 349 296 221 0 87 0
[pid=15502] ppid=15499 vsize=27314120 memory=107624 CPUtime=0.11 cores=0-7
/proc/15502/stat : 15502 (java) S 15499 15499 15455 0 -1 1077944320 6472 0 0 0 8 3 0 0 20 0 20 0 419038266 27969658880 26906 33554432000 4194304 4196468 140726130086144 140726130068688 140188327165687 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
/proc/15502/statm: 6828530 26906 2800 1 0 6790935 0
[pid=15502/tid=15503] ppid=15499 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/15502/task/15503/stat : 15503 (java) R 15499 15499 15455 0 -1 4202560 4580 0 0 0 6 2 0 0 20 0 20 0 419038266 27969658880 26906 33554432000 4194304 4196468 140726130086144 140188298988736 140188311246174 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15504] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15504/stat : 15504 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 26906 33554432000 4194304 4196468 140726130086144 140188331407760 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15505] ppid=15499 vsize=27314120 memory=288370042672752256 CPUtime=0 cores=0-7
/proc/15502/task/15505/stat : 15505 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 26906 33554432000 4194304 4196468 140726130086144 140188145563920 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15506] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15506/stat : 15506 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 26906 33554432000 4194304 4196468 140726130086144 140188144511632 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15507] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15507/stat : 15507 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 26906 33554432000 4194304 4196468 140726130086144 140188143458832 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15508] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15508/stat : 15508 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 26906 33554432000 4194304 4196468 140726130086144 140188142406544 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15509] ppid=15499 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15502/task/15509/stat : 15509 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 26906 33554432000 4194304 4196468 140726130086144 140188141353744 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15510] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15510/stat : 15510 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 26906 33554432000 4194304 4196468 140726130086144 140188140301456 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15511] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15511/stat : 15511 (java) S 15499 15499 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 26906 33554432000 4194304 4196468 140726130086144 140188139248656 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15512] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15512/stat : 15512 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419038270 27969658880 26906 33554432000 4194304 4196468 140726130086144 140187183032432 140188327176834 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15513] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15513/stat : 15513 (java) S 15499 15499 15455 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419038270 27969658880 26906 33554432000 4194304 4196468 140726130086144 140186256139040 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15514] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15514/stat : 15514 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038271 27969658880 26906 33554432000 4194304 4196468 140726130086144 140185987703920 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15515] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15515/stat : 15515 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038273 27969658880 26906 33554432000 4194304 4196468 140726130086144 140185613195344 140188327184283 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15516] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15516/stat : 15516 (java) S 15499 15499 15455 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 419038273 27969658880 26906 33554432000 4194304 4196468 140726130086144 140187181980272 140188327176834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15517] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15517/stat : 15517 (java) S 15499 15499 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419038273 27969658880 26906 33554432000 4194304 4196468 140726130086144 140187180927472 140188327176834 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15518] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15518/stat : 15518 (java) S 15499 15499 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419038273 27969658880 26906 33554432000 4194304 4196468 140726130086144 140187179875184 140188327176834 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15519] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15519/stat : 15519 (java) S 15499 15499 15455 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 20 0 419038273 27969658880 26906 33554432000 4194304 4196468 140726130086144 140187178822384 140188327176834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15520] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15520/stat : 15520 (java) S 15499 15499 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419038273 27969658880 26906 33554432000 4194304 4196468 140726130086144 140185115289952 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15521] ppid=15499 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15502/task/15521/stat : 15521 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038274 27969658880 26906 33554432000 4194304 4196468 140726130086144 140187177769264 140188327176834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109020 KiB

[startup+0.210514 s]*
/proc/loadavg: 8.19 8.29 8.04 3/213 15521
/proc/meminfo: memFree=31331520/32770624 swapFree=66995716/67108860
[pid=15499] ppid=15496 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15499/stat : 15499 (scop.sh) S 15496 15499 15455 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419038265 115843072 349 33554432000 4194304 5098028 140735816291712 140735816288968 140592282845820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32714752 140735816299301 140735816299628 140735816299628 140735816302541 0
/proc/15499/statm: 28282 349 296 221 0 87 0
[pid=15502] ppid=15499 vsize=27314120 memory=124468 CPUtime=0.24 cores=0-7
/proc/15502/stat : 15502 (java) S 15499 15499 15455 0 -1 1077944320 11477 0 0 0 20 4 0 0 20 0 20 0 419038266 27969658880 31117 33554432000 4194304 4196468 140726130086144 140726130068688 140188327165687 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
/proc/15502/statm: 6828530 31117 2916 1 0 6790935 0
[pid=15502/tid=15503] ppid=15499 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/15502/task/15503/stat : 15503 (java) R 15499 15499 15455 0 -1 4202560 9181 0 0 0 16 4 0 0 20 0 20 0 419038266 27969658880 31117 33554432000 4194304 4196468 140726130086144 140188298986592 140188307441017 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15504] ppid=15499 vsize=27314120 memory=288230600413020516 CPUtime=0 cores=0-7
/proc/15502/task/15504/stat : 15504 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31117 33554432000 4194304 4196468 140726130086144 140188331407760 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15505] ppid=15499 vsize=27314120 memory=139666521056058 CPUtime=0 cores=0-7
/proc/15502/task/15505/stat : 15505 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31117 33554432000 4194304 4196468 140726130086144 140188145563920 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15506] ppid=15499 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15502/task/15506/stat : 15506 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31117 33554432000 4194304 4196468 140726130086144 140188144511632 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15507] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15507/stat : 15507 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31117 33554432000 4194304 4196468 140726130086144 140188143458832 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15508] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15508/stat : 15508 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31117 33554432000 4194304 4196468 140726130086144 140188142406544 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15509] ppid=15499 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15502/task/15509/stat : 15509 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31117 33554432000 4194304 4196468 140726130086144 140188141353744 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15510] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15510/stat : 15510 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31117 33554432000 4194304 4196468 140726130086144 140188140301456 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15511] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15511/stat : 15511 (java) S 15499 15499 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31117 33554432000 4194304 4196468 140726130086144 140188139248656 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15512] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15512/stat : 15512 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419038270 27969658880 31117 33554432000 4194304 4196468 140726130086144 140187183032432 140188327176834 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15513] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15513/stat : 15513 (java) S 15499 15499 15455 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419038270 27969658880 31117 33554432000 4194304 4196468 140726130086144 140186256139040 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15514] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15514/stat : 15514 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038271 27969658880 31117 33554432000 4194304 4196468 140726130086144 140185987703920 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15515] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15515/stat : 15515 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038273 27969658880 31117 33554432000 4194304 4196468 140726130086144 140185613195344 140188327184283 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15516] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15516/stat : 15516 (java) S 15499 15499 15455 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 419038273 27969658880 31117 33554432000 4194304 4196468 140726130086144 140187181980272 140188327176834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15517] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15517/stat : 15517 (java) S 15499 15499 15455 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 419038273 27969658880 31117 33554432000 4194304 4196468 140726130086144 140187180927472 140188327176834 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15518] ppid=15499 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15502/task/15518/stat : 15518 (java) S 15499 15499 15455 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419038273 27969658880 31117 33554432000 4194304 4196468 140726130086144 140187179875184 140188327176834 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15519] ppid=15499 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/15502/task/15519/stat : 15519 (java) S 15499 15499 15455 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 20 0 419038273 27969658880 31117 33554432000 4194304 4196468 140726130086144 140187178822384 140188327176834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15520] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15520/stat : 15520 (java) S 15499 15499 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419038273 27969658880 31117 33554432000 4194304 4196468 140726130086144 140185115289952 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15521] ppid=15499 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15502/task/15521/stat : 15521 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038274 27969658880 31117 33554432000 4194304 4196468 140726130086144 140187177769264 140188327176834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125864 KiB

[startup+0.309796 s]*
/proc/loadavg: 7.69 8.18 8.01 2/213 15521
/proc/meminfo: memFree=31327860/32770624 swapFree=66995716/67108860
[pid=15499] ppid=15496 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15499/stat : 15499 (scop.sh) S 15496 15499 15455 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419038265 115843072 349 33554432000 4194304 5098028 140735816291712 140735816288968 140592282845820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32714752 140735816299301 140735816299628 140735816299628 140735816302541 0
/proc/15499/statm: 28282 349 296 221 0 87 0
[pid=15502] ppid=15499 vsize=27314120 memory=127880 CPUtime=0.42 cores=0-7
/proc/15502/stat : 15502 (java) S 15499 15499 15455 0 -1 1077944320 12403 0 0 0 37 5 0 0 20 0 20 0 419038266 27969658880 31970 33554432000 4194304 4196468 140726130086144 140726130068688 140188327165687 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
/proc/15502/statm: 6828530 31970 2967 1 0 6790935 0
[pid=15502/tid=15503] ppid=15499 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/15502/task/15503/stat : 15503 (java) R 15499 15499 15455 0 -1 4202560 9946 0 0 0 25 4 0 0 20 0 20 0 419038266 27969658880 31970 33554432000 4194304 4196468 140726130086144 140188298995760 140188311246174 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15504] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15504/stat : 15504 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31970 33554432000 4194304 4196468 140726130086144 140188331407760 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15505] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15505/stat : 15505 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31970 33554432000 4194304 4196468 140726130086144 140188145563920 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15506] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15506/stat : 15506 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31970 33554432000 4194304 4196468 140726130086144 140188144511632 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15507] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15507/stat : 15507 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31970 33554432000 4194304 4196468 140726130086144 140188143458832 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15508] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15508/stat : 15508 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31970 33554432000 4194304 4196468 140726130086144 140188142406544 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15509] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15509/stat : 15509 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31970 33554432000 4194304 4196468 140726130086144 140188141353744 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15510] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15510/stat : 15510 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31970 33554432000 4194304 4196468 140726130086144 140188140301456 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15511] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15511/stat : 15511 (java) S 15499 15499 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419038268 27969658880 31970 33554432000 4194304 4196468 140726130086144 140188139248656 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15512] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15512/stat : 15512 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419038270 27969658880 31970 33554432000 4194304 4196468 140726130086144 140187183032432 140188327176834 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15513] ppid=15499 vsize=27314120 memory=279332727758208 CPUtime=0 cores=0-7
/proc/15502/task/15513/stat : 15513 (java) S 15499 15499 15455 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419038270 27969658880 31970 33554432000 4194304 4196468 140726130086144 140186256139040 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15514] ppid=15499 vsize=27314120 memory=279332727762816 CPUtime=0 cores=0-7
/proc/15502/task/15514/stat : 15514 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038271 27969658880 31970 33554432000 4194304 4196468 140726130086144 140185987703920 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15515] ppid=15499 vsize=27314120 memory=279332727767424 CPUtime=0 cores=0-7
/proc/15502/task/15515/stat : 15515 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038273 27969658880 31970 33554432000 4194304 4196468 140726130086144 140185613195344 140188327184283 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15516] ppid=15499 vsize=27314120 memory=279332727772032 CPUtime=0 cores=0-7
/proc/15502/task/15516/stat : 15516 (java) S 15499 15499 15455 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 20 0 419038273 27969658880 31970 33554432000 4194304 4196468 140726130086144 140187181980272 140188327176834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15517] ppid=15499 vsize=27314120 memory=279332727776640 CPUtime=0.02 cores=0-7
/proc/15502/task/15517/stat : 15517 (java) R 15499 15499 15455 0 -1 4202560 126 0 0 0 2 0 0 0 20 0 20 0 419038273 27969658880 31970 33554432000 4194304 4196468 140726130086144 140187180927472 140188313317369 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15518] ppid=15499 vsize=27314120 memory=279332727781248 CPUtime=0.01 cores=0-7
/proc/15502/task/15518/stat : 15518 (java) S 15499 15499 15455 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 20 0 419038273 27969658880 31970 33554432000 4194304 4196468 140726130086144 140187179875184 140188327176834 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15519] ppid=15499 vsize=27314120 memory=279332727785856 CPUtime=0.07 cores=0-7
/proc/15502/task/15519/stat : 15519 (java) S 15499 15499 15455 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 20 0 419038273 27969658880 31970 33554432000 4194304 4196468 140726130086144 140187178822384 140188327176834 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15520] ppid=15499 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15520/stat : 15520 (java) S 15499 15499 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419038273 27969658880 31970 33554432000 4194304 4196468 140726130086144 140185115289952 140188327175893 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15521] ppid=15499 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15502/task/15521/stat : 15521 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038274 27969658880 31970 33554432000 4194304 4196468 140726130086144 140187177769264 140188327176834 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129276 KiB

[startup+0.700982 s]
/proc/loadavg: 7.69 8.18 8.01 2/213 15521
/proc/meminfo: memFree=31303676/32770624 swapFree=66995716/67108860
[pid=15499] ppid=15496 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15499/stat : 15499 (scop.sh) S 15496 15499 15455 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419038265 115843072 349 33554432000 4194304 5098028 140735816291712 140735816288968 140592282845820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32714752 140735816299301 140735816299628 140735816299628 140735816302541 0
/proc/15499/statm: 28282 349 296 221 0 87 0
[pid=15502] ppid=15499 vsize=27320392 memory=165188 CPUtime=1 cores=0-7
/proc/15502/stat : 15502 (java) S 15499 15499 15455 0 -1 1077944320 19932 0 0 0 92 8 0 0 20 0 20 0 419038266 27976081408 41297 33554432000 4194304 4196468 140726130086144 140726130068688 140188327165687 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
/proc/15502/statm: 6830098 41297 3182 1 0 6791447 0
[pid=15502/tid=15503] ppid=15499 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/15502/task/15503/stat : 15503 (java) R 15499 15499 15455 0 -1 4202560 16896 0 0 0 61 7 0 0 20 0 20 0 419038266 27976081408 41297 33554432000 4194304 4196468 140726130086144 140188299002032 140188327177622 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15504] ppid=15499 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15504/stat : 15504 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419038268 27976081408 41297 33554432000 4194304 4196468 140726130086144 140188331407760 140188327175893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15505] ppid=15499 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/15502/task/15505/stat : 15505 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419038268 27976081408 41297 33554432000 4194304 4196468 140726130086144 140188145563920 140188327175893 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0
[pid=15502/tid=15506] ppid=15499 vsize=27320392 memory=8556 CPUtime=0 cores=0-7
/proc/15502/task/15506/stat : 15506 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419038268 27976081408 41297 33554432000 4194304 4196468 140726130086144 140188144511632 140188327175893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31776768 140726130090731 140726130091158 140726130091158 140726130094031 0

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

/proc/15650/task/15654/stat : 15654 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419205008 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285915397264 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15655] ppid=15499 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/15650/task/15655/stat : 15655 (java) S 15499 15499 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419205008 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285914344464 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15656] ppid=15499 vsize=8414124 memory=17045856 CPUtime=0 cores=0-7
/proc/15650/task/15656/stat : 15656 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419205008 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285588441488 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15657] ppid=15499 vsize=8414124 memory=664 CPUtime=0 cores=0-7
/proc/15650/task/15657/stat : 15657 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419205008 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285587388688 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15658] ppid=15499 vsize=8414124 memory=7163327482302064498 CPUtime=0 cores=0-7
/proc/15650/task/15658/stat : 15658 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419205008 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285586336400 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15659] ppid=15499 vsize=8414124 memory=7163327482302064498 CPUtime=0 cores=0-7
/proc/15650/task/15659/stat : 15659 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419205008 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285585283600 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15660] ppid=15499 vsize=8414124 memory=7163327482302064498 CPUtime=0 cores=0-7
/proc/15650/task/15660/stat : 15660 (java) S 15499 15499 15455 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419205010 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285199915632 140286106454658 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15661] ppid=15499 vsize=8414124 memory=7163327482302064498 CPUtime=0 cores=0-7
/proc/15650/task/15661/stat : 15661 (java) S 15499 15499 15455 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419205010 8616062976 31148 33554432000 4194304 4196468 140734387144880 140284771951904 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15662] ppid=15499 vsize=8414124 memory=7163327482302064498 CPUtime=0 cores=0-7
/proc/15650/task/15662/stat : 15662 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419205010 8616062976 31148 33554432000 4194304 4196468 140734387144880 140284503516784 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15663] ppid=15499 vsize=8414124 memory=7163327482302064498 CPUtime=0 cores=0-7
/proc/15650/task/15663/stat : 15663 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419205013 8616062976 31148 33554432000 4194304 4196468 140734387144880 140284129008208 140286106462107 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15664] ppid=15499 vsize=8414124 memory=6005662723187896419 CPUtime=0.13 cores=0-7
/proc/15650/task/15664/stat : 15664 (java) S 15499 15499 15455 0 -1 1077944384 1027 0 0 0 12 1 0 0 20 0 24 0 419205013 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285198862448 140286106454658 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15665] ppid=15499 vsize=8414124 memory=7737838748916607083 CPUtime=0.12 cores=0-7
/proc/15650/task/15665/stat : 15665 (java) S 15499 15499 15455 0 -1 1077944384 389 0 0 0 12 0 0 0 20 0 24 0 419205013 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285197809648 140286106454658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15666] ppid=15499 vsize=8414124 memory=7737838748916607083 CPUtime=0.13 cores=0-7
/proc/15650/task/15666/stat : 15666 (java) S 15499 15499 15455 0 -1 1077944384 375 0 0 0 13 0 0 0 20 0 24 0 419205013 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285196757360 140286106454658 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15667] ppid=15499 vsize=8414124 memory=7452158118519532904 CPUtime=0.21 cores=0-7
/proc/15650/task/15667/stat : 15667 (java) S 15499 15499 15455 0 -1 1077944384 566 0 0 0 21 0 0 0 20 0 24 0 419205013 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285195704560 140286106454658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15668] ppid=15499 vsize=8414124 memory=7883669278160404580 CPUtime=0 cores=0-7
/proc/15650/task/15668/stat : 15668 (java) S 15499 15499 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419205013 8616062976 31148 33554432000 4194304 4196468 140734387144880 140283631102816 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15669] ppid=15499 vsize=8414124 memory=7883669278160404580 CPUtime=0 cores=0-7
/proc/15650/task/15669/stat : 15669 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419205014 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285194652464 140286106454658 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15671] ppid=15499 vsize=8414124 memory=7883669278160404580 CPUtime=0 cores=0-7
/proc/15650/task/15671/stat : 15671 (java) S 15499 15499 15455 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419205085 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285186619200 140286106468121 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15673] ppid=15499 vsize=8414124 memory=7883669278160404580 CPUtime=0 cores=0-7
/proc/15650/task/15673/stat : 15673 (java) S 15499 15499 15455 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419205085 8616062976 31148 33554432000 4194304 4196468 140734387144880 140282960002448 140286106465437 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15674] ppid=15499 vsize=8414124 memory=7452158118519532904 CPUtime=0 cores=0-7
/proc/15650/task/15674/stat : 15674 (java) S 15499 15499 15455 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419205085 8616062976 31148 33554432000 4194304 4196468 140734387144880 140283228437776 140286106465437 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15675] ppid=15499 vsize=8414124 memory=7380670174986463552 CPUtime=0 cores=0-7
/proc/15650/task/15675/stat : 15675 (java) S 15499 15499 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419205087 8616062976 31148 33554432000 4194304 4196468 140734387144880 140282691575088 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
Current children cumulated CPU time: 1843.52 s
Current children cumulated vsize: 8767496 KiB
Current children cumulated memory: 336708 KiB

[startup+1669.4 s]
/proc/loadavg: 0.92 1.02 2.19 2/216 15675
/proc/meminfo: memFree=31237312/32770624 swapFree=66995744/67108860
[pid=15499] ppid=15496 vsize=113128 memory=1476 CPUtime=1841.08 cores=0-7
/proc/15499/stat : 15499 (scop.sh) S 15496 15499 15455 0 -1 4202496 583 364454 0 0 0 0 180993 3115 20 0 1 0 419038265 115843072 369 33554432000 4194304 5098028 140735816291712 140735816288456 140592282845820 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32714752 140735816299301 140735816299628 140735816299628 140735816302541 0
/proc/15499/statm: 28282 369 311 221 0 87 0
[pid=15650] ppid=15499 vsize=8414124 memory=124592 CPUtime=1.44 cores=0-7
/proc/15650/stat : 15650 (java) S 15499 15499 15455 0 -1 1077944320 20144 0 0 0 134 10 0 0 20 0 24 0 419205006 8616062976 31148 33554432000 4194304 4196468 140734387144880 140734387127424 140286106443511 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
/proc/15650/statm: 2103531 31148 3199 1 0 2064875 0
[pid=15670] ppid=15650 vsize=454156 memory=424544 CPUtime=1.2 cores=0-7
/proc/15670/stat : 15670 (manyglucose-4.1) R 15650 15499 15455 0 -1 4202496 81017 0 0 0 107 13 0 0 20 0 1 0 419205085 465055744 106136 33554432000 4194304 4454172 140725684925184 140725684922616 140334725778405 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552832 6554400 30720000 140725684933481 140725684933680 140725684933680 140725684936634 0
/proc/15670/statm: 113539 106136 378 64 0 109207 0
[pid=15650/tid=15651] ppid=15499 vsize=8414124 memory=1156 CPUtime=0.81 cores=0-7
/proc/15650/task/15651/stat : 15651 (java) S 15499 15499 15455 0 -1 1077944384 16393 0 0 0 74 7 0 0 20 0 24 0 419205007 8616062976 31148 33554432000 4194304 4196468 140734387144880 140286078283680 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15652] ppid=15499 vsize=8414124 memory=1000 CPUtime=0 cores=0-7
/proc/15650/task/15652/stat : 15652 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419205008 8616062976 31148 33554432000 4194304 4196468 140734387144880 140286110686096 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15653] ppid=15499 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/15650/task/15653/stat : 15653 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419205008 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285916449552 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15654] ppid=15499 vsize=8414124 memory=6948 CPUtime=0 cores=0-7
/proc/15650/task/15654/stat : 15654 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419205008 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285915397264 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15655] ppid=15499 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/15650/task/15655/stat : 15655 (java) S 15499 15499 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419205008 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285914344464 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15656] ppid=15499 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/15650/task/15656/stat : 15656 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419205008 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285588441488 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15657] ppid=15499 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/15650/task/15657/stat : 15657 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419205008 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285587388688 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15658] ppid=15499 vsize=8414124 memory=496 CPUtime=0 cores=0-7
/proc/15650/task/15658/stat : 15658 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419205008 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285586336400 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15659] ppid=15499 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/15650/task/15659/stat : 15659 (java) S 15499 15499 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419205008 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285585283600 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15660] ppid=15499 vsize=8414124 memory=1604 CPUtime=0 cores=0-7
/proc/15650/task/15660/stat : 15660 (java) S 15499 15499 15455 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419205010 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285199915632 140286106454658 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15661] ppid=15499 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/15650/task/15661/stat : 15661 (java) S 15499 15499 15455 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419205010 8616062976 31148 33554432000 4194304 4196468 140734387144880 140284771951904 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15662] ppid=15499 vsize=8414124 memory=2356 CPUtime=0 cores=0-7
/proc/15650/task/15662/stat : 15662 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419205010 8616062976 31148 33554432000 4194304 4196468 140734387144880 140284503516784 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15663] ppid=15499 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/15650/task/15663/stat : 15663 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419205013 8616062976 31148 33554432000 4194304 4196468 140734387144880 140284129008208 140286106462107 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15664] ppid=15499 vsize=8414124 memory=820 CPUtime=0.13 cores=0-7
/proc/15650/task/15664/stat : 15664 (java) S 15499 15499 15455 0 -1 1077944384 1027 0 0 0 12 1 0 0 20 0 24 0 419205013 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285198862448 140286106454658 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15665] ppid=15499 vsize=8414124 memory=1764 CPUtime=0.12 cores=0-7
/proc/15650/task/15665/stat : 15665 (java) S 15499 15499 15455 0 -1 1077944384 389 0 0 0 12 0 0 0 20 0 24 0 419205013 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285197809648 140286106454658 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15666] ppid=15499 vsize=8414124 memory=111632 CPUtime=0.13 cores=0-7
/proc/15650/task/15666/stat : 15666 (java) S 15499 15499 15455 0 -1 1077944384 375 0 0 0 13 0 0 0 20 0 24 0 419205013 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285196757360 140286106454658 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15667] ppid=15499 vsize=8414124 memory=808 CPUtime=0.21 cores=0-7
/proc/15650/task/15667/stat : 15667 (java) S 15499 15499 15455 0 -1 1077944384 566 0 0 0 21 0 0 0 20 0 24 0 419205013 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285195704560 140286106454658 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15668] ppid=15499 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/15650/task/15668/stat : 15668 (java) S 15499 15499 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419205013 8616062976 31148 33554432000 4194304 4196468 140734387144880 140283631102816 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15669] ppid=15499 vsize=8414124 memory=66640712697436 CPUtime=0 cores=0-7
/proc/15650/task/15669/stat : 15669 (java) S 15499 15499 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419205014 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285194652464 140286106454658 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15671] ppid=15499 vsize=8414124 memory=2809113 CPUtime=0 cores=0-7
/proc/15650/task/15671/stat : 15671 (java) S 15499 15499 15455 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419205085 8616062976 31148 33554432000 4194304 4196468 140734387144880 140285186619200 140286106468121 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15673] ppid=15499 vsize=8414124 memory=2810441 CPUtime=0 cores=0-7
/proc/15650/task/15673/stat : 15673 (java) S 15499 15499 15455 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419205085 8616062976 31148 33554432000 4194304 4196468 140734387144880 140282960002448 140286106465437 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15674] ppid=15499 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/15650/task/15674/stat : 15674 (java) S 15499 15499 15455 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419205085 8616062976 31148 33554432000 4194304 4196468 140734387144880 140283228437776 140286106465437 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15675] ppid=15499 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/15650/task/15675/stat : 15675 (java) S 15499 15499 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419205087 8616062976 31148 33554432000 4194304 4196468 140734387144880 140282691575088 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
Current children cumulated CPU time: 1843.72 s
Current children cumulated vsize: 8981408 KiB
Current children cumulated memory: 550612 KiB

[startup+1669.5 s]
/proc/loadavg: 0.92 1.02 2.19 2/216 15675
/proc/meminfo: memFree=31237312/32770624 swapFree=66995744/67108860
[pid=15499] ppid=15496 vsize=113128 memory=1476 CPUtime=1841.08 cores=0-7
/proc/15499/stat : 15499 (scop.sh) S 15496 15499 15455 0 -1 4202496 583 364454 0 0 0 0 180993 3115 20 0 1 0 419038265 115843072 369 33554432000 4194304 5098028 140735816291712 140735816288456 140592282845820 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32714752 140735816299301 140735816299628 140735816299628 140735816302541 0
/proc/15499/statm: 28282 369 311 221 0 87 0
[pid=15650] ppid=15499 vsize=8284072 memory=124864 CPUtime=2.89 cores=0-7
/proc/15650/stat : 15650 (java) S 15499 15499 15455 0 -1 1077944320 20275 90489 0 0 141 10 121 17 20 0 22 0 419205006 8482889728 31216 33554432000 4194304 4196468 140734387144880 140734387127424 140286106443511 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
/proc/15650/statm: 2070762 31216 3202 1 0 2032106 0
[pid=15650/tid=15651] ppid=15499 vsize=8284072 memory=1476 CPUtime=2.19 cores=0-7
/proc/15650/task/15651/stat : 15651 (java) S 15499 15499 15455 0 -1 1077944384 16393 90489 0 0 74 7 121 17 20 0 22 0 419205007 8482889728 31216 33554432000 4194304 4196468 140734387144880 140286078283680 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15652] ppid=15499 vsize=8284072 memory=7737838748916607083 CPUtime=1.38 cores=0-7
/proc/15650/task/15652/stat : 15652 (java) S 15499 15499 15455 0 -1 1077944384 2 90489 0 0 0 0 121 17 20 0 22 0 419205008 8482889728 31216 33554432000 4194304 4196468 140734387144880 140286110686096 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15653] ppid=15499 vsize=8284072 memory=1396 CPUtime=1.38 cores=0-7
/proc/15650/task/15653/stat : 15653 (java) S 15499 15499 15455 0 -1 1077944384 1 90489 0 0 0 0 121 17 20 0 22 0 419205008 8482889728 31216 33554432000 4194304 4196468 140734387144880 140285916449552 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15654] ppid=15499 vsize=8283048 memory=17174288 CPUtime=1.38 cores=0-7
/proc/15650/task/15654/stat : 15654 (java) S 15499 15499 15455 0 -1 1077944384 1 90489 0 0 0 0 121 17 20 0 22 0 419205008 8481841152 31216 33554432000 4194304 4196468 140734387144880 140285915397264 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15655] ppid=15499 vsize=8283048 memory=1808 CPUtime=1.38 cores=0-7
/proc/15650/task/15655/stat : 15655 (java) S 15499 15499 15455 0 -1 1077944384 3 90489 0 0 0 0 121 17 20 0 22 0 419205008 8481841152 31216 33554432000 4194304 4196468 140734387144880 140285914344464 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15656] ppid=15499 vsize=8283048 memory=920 CPUtime=1.38 cores=0-7
/proc/15650/task/15656/stat : 15656 (java) S 15499 15499 15455 0 -1 1077944384 1 90489 0 0 0 0 121 17 20 0 22 0 419205008 8481841152 31216 33554432000 4194304 4196468 140734387144880 140285588441488 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15657] ppid=15499 vsize=8284072 memory=3904 CPUtime=1.38 cores=0-7
/proc/15650/task/15657/stat : 15657 (java) S 15499 15499 15455 0 -1 1077944384 2 90489 0 0 0 0 121 17 20 0 22 0 419205008 8482889728 31216 33554432000 4194304 4196468 140734387144880 140285587388688 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15658] ppid=15499 vsize=8284072 memory=1384 CPUtime=1.38 cores=0-7
/proc/15650/task/15658/stat : 15658 (java) S 15499 15499 15455 0 -1 1077944384 1 90489 0 0 0 0 121 17 20 0 22 0 419205008 8482889728 31216 33554432000 4194304 4196468 140734387144880 140285586336400 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15659] ppid=15499 vsize=8284072 memory=776 CPUtime=1.38 cores=0-7
/proc/15650/task/15659/stat : 15659 (java) S 15499 15499 15455 0 -1 1077944384 2 90489 0 0 0 0 121 17 20 0 22 0 419205008 8482889728 31216 33554432000 4194304 4196468 140734387144880 140285585283600 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15660] ppid=15499 vsize=8283048 memory=1564 CPUtime=1.38 cores=0-7
/proc/15650/task/15660/stat : 15660 (java) S 15499 15499 15455 0 -1 1077944384 5 90489 0 0 0 0 121 17 20 0 22 0 419205010 8481841152 31216 33554432000 4194304 4196468 140734387144880 140285199915632 140286106454658 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15661] ppid=15499 vsize=8283048 memory=8556 CPUtime=1.38 cores=0-7
/proc/15650/task/15661/stat : 15661 (java) S 15499 15499 15455 0 -1 1077944384 13 90489 0 0 0 0 121 17 20 0 22 0 419205010 8481841152 31216 33554432000 4194304 4196468 140734387144880 140284771951904 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15662] ppid=15499 vsize=8283048 memory=1052 CPUtime=1.38 cores=0-7
/proc/15650/task/15662/stat : 15662 (java) S 15499 15499 15455 0 -1 1077944384 1 90489 0 0 0 0 121 17 20 0 22 0 419205010 8481841152 31216 33554432000 4194304 4196468 140734387144880 140284503516784 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15663] ppid=15499 vsize=8283048 memory=102984 CPUtime=1.38 cores=0-7
/proc/15650/task/15663/stat : 15663 (java) S 15499 15499 15455 0 -1 1077944384 1 90489 0 0 0 0 121 17 20 0 22 0 419205013 8481841152 31216 33554432000 4194304 4196468 140734387144880 140284129008208 140286106462107 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15664] ppid=15499 vsize=8283048 memory=8317482817917895235 CPUtime=1.52 cores=0-7
/proc/15650/task/15664/stat : 15664 (java) S 15499 15499 15455 0 -1 1077944384 1030 90489 0 0 13 1 121 17 20 0 22 0 419205013 8481841152 31216 33554432000 4194304 4196468 140734387144880 140285198862448 140286106454658 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15665] ppid=15499 vsize=8284072 memory=664 CPUtime=1.51 cores=0-7
/proc/15650/task/15665/stat : 15665 (java) R 15499 15499 15455 0 -1 4202560 391 90489 0 0 13 0 121 17 20 0 22 0 419205013 8482889728 31216 33554432000 4194304 4196468 140734387144880 140285197798448 140286090830560 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15666] ppid=15499 vsize=8284072 memory=6791534058613427641 CPUtime=1.52 cores=0-7
/proc/15650/task/15666/stat : 15666 (java) S 15499 15499 15455 0 -1 1077944384 381 90489 0 0 14 0 121 17 20 0 22 0 419205013 8482889728 31216 33554432000 4194304 4196468 140734387144880 140285196757360 140286106454658 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15667] ppid=15499 vsize=8284072 memory=6791534058613427641 CPUtime=1.61 cores=0-7
/proc/15650/task/15667/stat : 15667 (java) S 15499 15499 15455 0 -1 1077944384 610 90489 0 0 23 0 121 17 20 0 22 0 419205013 8482889728 31216 33554432000 4194304 4196468 140734387144880 140285195704560 140286106454658 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15668] ppid=15499 vsize=8283048 memory=17174288 CPUtime=1.38 cores=0-7
/proc/15650/task/15668/stat : 15668 (java) S 15499 15499 15455 0 -1 1077944384 3 90489 0 0 0 0 121 17 20 0 22 0 419205013 8481841152 31216 33554432000 4194304 4196468 140734387144880 140283631102816 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15669] ppid=15499 vsize=8283048 memory=303430223234596890 CPUtime=1.38 cores=0-7
/proc/15650/task/15669/stat : 15669 (java) S 15499 15499 15455 0 -1 1077944384 1 90489 0 0 0 0 121 17 20 0 22 0 419205014 8481841152 31216 33554432000 4194304 4196468 140734387144880 140285194652464 140286106454658 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15671] ppid=15499 vsize=8283048 memory=288230621803970871 CPUtime=1.38 cores=0-7
/proc/15650/task/15671/stat : 15671 (java) S 15499 15499 15455 0 -1 1077944384 23 90489 0 0 0 0 121 17 20 0 22 0 419205085 8481841152 31216 33554432000 4194304 4196468 140734387144880 140285186616112 140286106453717 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
[pid=15650/tid=15675] ppid=15499 vsize=8284072 memory=288230574492221466 CPUtime=1.38 cores=0-7
/proc/15650/task/15675/stat : 15675 (java) R 15499 15499 15455 0 -1 4202560 187 90489 0 0 0 0 121 17 20 0 22 0 419205087 8482889728 31216 33554432000 4194304 4196468 140734387144880 140282691553824 140286099123229 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16969728 140734387147767 140734387147926 140734387147926 140734387150799 0
Current children cumulated CPU time: 1843.97 s
Current children cumulated vsize: 8397200 KiB
Current children cumulated memory: 126340 KiB

Child status: 0
Real time (s): 1669.52
CPU time (s): 1844.03
CPU user time (s): 1812.57
CPU system time (s): 31.4542
CPU usage (%): 110.453
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 17177092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1812.57
system time used= 31.4542
maximum resident set size= 17176088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 476174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56036
involuntary context switches= 6410


# summary of solver processes directly reported to runsolver:
#   pid: 15499
#   total CPU time (s): 1844.03
#   total CPU user time (s): 1812.57
#   total CPU system time (s): 31.4542

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6908 second user time and 15.6808 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-14 04:23:43
IDJOB=4392434
IDBENCH=126912
IDSOLVER=2838
FILE ID=node102/4392434-1568427867
RUNJOBID= node102-1568427821-15482
PBS_JOBID= 21702300
Free space on /tmp= 59248 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000c-int.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-4392434-1568427867/watcher-4392434-1568427867 -o /tmp/evaluation-result-4392434-1568427867/solver-4392434-1568427867 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568427821-15482 --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-4392434-1568427867.xml

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

MD5SUM BENCH= 2ff4403728a82746813109e0b9ab6660
RANDOM SEED=135348723

node102.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.13
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.54
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.13
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.54
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.13
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.54
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.13
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31444636 kB
MemAvailable:   31920244 kB
Buffers:          171404 kB
Cached:           597440 kB
SwapCached:         9476 kB
Active:           418220 kB
Inactive:         360660 kB
Active(anon):       7588 kB
Inactive(anon):    33848 kB
Active(file):     410632 kB
Inactive(file):   326812 kB
Unevictable:      110432 kB
Mlocked:          110432 kB
SwapTotal:      67108860 kB
SwapFree:       66995716 kB
Dirty:            103740 kB
Writeback:             0 kB
AnonPages:        111492 kB
Mapped:            35148 kB
Shmem:             22732 kB
Slab:             136832 kB
SReclaimable:     108000 kB
SUnreclaim:        28832 kB
KernelStack:        3392 kB
PageTables:         5136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59228 MiB
End job on node102 at 2019-09-14 04:51:33