Trace number 4405551

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr0600-int.xml
MD5SUM944fe5e858b8dc1e5468427caea6b95a
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 benchmark118.465
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints718800
Number of domains1
Minimum domain size599
Maximum domain size599
Distribution of domain sizes[{"size":599,"count":600}]
Minimum variable degree2396
Maximum variable degree2396
Distribution of variable degrees[{"degree":2396,"count":600}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":718800}]
Number of extensional constraints0
Number of intensional constraints718800
Distribution of constraint types[{"type":"intension","count":718800}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10000-serial-file.bin HOME/instance-4405551-1569337059.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 16:56:59 CEST 2019
0.65/0.56	c PID: 10003
0.65/0.56	c IP: 172.20.3.140
0.65/0.56	c HOST: node140.alineos.net
0.65/0.57	c (0,0) Parsing Begin
55.50/36.11	c (35,33) Parsing End
55.50/36.12	c (35,33) CSP: 600 int (0 aux), 0 bool (0 aux), 718800 ctr, max domain size 599
55.50/36.12	c (35,33) Heap : 3135 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
55.50/36.12	c (35,33) Constraint Name Generate Begin
57.49/37.98	c (37,35) Ctr:HOME/instance-4405551-1569337059.xml,Eq:Imp:Le:Num:Var
57.49/37.98	c (37,35) Constraint Name Generate End
57.49/37.98	c (37,35) Heap : 3579 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
57.49/37.98	c (37,35) CSP to CSPinCNF Begin
60.96/40.47	c (39,38) translated 71880 (10%) constraints
63.13/42.59	c (42,40) translated 143760 (20%) constraints
65.25/44.68	c (44,42) translated 215640 (30%) constraints
67.36/46.76	c (46,44) translated 287520 (40%) constraints
74.05/49.45	c (48,46) translated 359400 (50%) constraints
76.66/51.61	c (51,48) translated 431280 (60%) constraints
78.76/53.74	c (53,50) translated 503160 (70%) constraints
80.97/55.90	c (55,53) translated 575040 (80%) constraints
83.08/58.04	c (57,55) translated 646920 (90%) constraints
85.36/60.20	c (59,57) translated 718800 (100%) constraints
85.36/60.20	c (59,57) ===========================================
85.50/60.38	c (59,57) Hybrid: #OE=600, #LE=0
85.50/60.38	c (59,57) Hybrid
85.50/60.38	c (59,57) ===========================================
87.22/61.47	c (60,58) translated 71880 (10%) constraints
88.32/62.52	c (61,59) translated 143760 (20%) constraints
89.37/63.54	c (62,60) translated 215640 (30%) constraints
90.36/64.56	c (64,61) translated 287520 (40%) constraints
91.36/65.58	c (65,62) translated 359400 (50%) constraints
97.34/70.41	c (69,67) translated 431280 (60%) constraints
111.33/76.22	c (75,72) translated 503160 (70%) constraints
116.03/80.90	c (80,76) translated 575040 (80%) constraints
126.79/86.23	c (85,81) translated 646920 (90%) constraints
131.29/90.78	c (90,85) translated 718800 (100%) constraints
131.29/90.79	c (90,85) CSP to CSPinCNF End
131.39/90.88	c (90,86) CSP: 600 int (0 aux), 359400 bool (359400 aux), 1437600 ctr, max domain size 599
131.39/90.88	c (90,86) Heap : 4021 MiB used (max 20865 MiB), NonHeap : 25 MiB used (max 0 MiB)
131.39/90.88	c (90,86) CSPinCNF Propagation Begin
408.52/341.98	c (341,333) 623876 values, 944992 unsatisfiable literals, and 1289712 valid clauses are removed
408.52/341.98	c (341,333) CSPinCNF Propagation End
408.73/342.11	c (341,333) CSP: 581 int (0 aux), 359419 bool (359400 aux), 147888 ctr, max domain size 578
408.73/342.11	c (341,333) Heap : 3523 MiB used (max 20793 MiB), NonHeap : 26 MiB used (max 0 MiB)
408.73/342.18	c (341,333) Hybrid: #OE=360000, #LE=0
408.73/342.18	c (341,333) Simplify CSPinCNF Begin
409.22/342.43	c (341,334) Simplify CSPinCNF End
409.32/342.55	c (342,334) CSP: 581 int (0 aux), 359419 bool (359400 aux), 147888 ctr, max domain size 578
409.32/342.55	c (342,334) Heap : 3687 MiB used (max 20793 MiB), NonHeap : 27 MiB used (max 0 MiB)
409.32/342.55	c (342,334) Calculate Precise Domain Begin
409.32/342.55	c (342,334) 0 values are removed by re-calculation
409.32/342.55	c (342,334) Calculate Precise Domain End
409.42/342.68	c (342,334) CSP: 581 int (0 aux), 359419 bool (359400 aux), 147888 ctr, max domain size 578
409.42/342.68	c (342,334) Heap : 3687 MiB used (max 20793 MiB), NonHeap : 27 MiB used (max 0 MiB)
409.42/342.68	c (342,334) CSPinCNF to SatSolver Begin
411.83/343.51	c (342,335) 14789 (10 %) CSP clauses are encoded (0 SAT variables, 61164 SAT clauses)
412.02/343.63	c (343,335) 29578 (20 %) CSP clauses are encoded (0 SAT variables, 75953 SAT clauses)
412.12/343.74	c (343,335) 44367 (30 %) CSP clauses are encoded (0 SAT variables, 90742 SAT clauses)
412.24/343.84	c (343,335) 59156 (40 %) CSP clauses are encoded (0 SAT variables, 105531 SAT clauses)
412.34/343.94	c (343,335) 73944 (50 %) CSP clauses are encoded (0 SAT variables, 120319 SAT clauses)
412.44/344.04	c (343,335) 88733 (60 %) CSP clauses are encoded (0 SAT variables, 135108 SAT clauses)
412.54/344.14	c (343,335) 103522 (70 %) CSP clauses are encoded (0 SAT variables, 149897 SAT clauses)
412.64/344.23	c (343,335) 118311 (80 %) CSP clauses are encoded (0 SAT variables, 164686 SAT clauses)
412.74/344.33	c (343,335) 133100 (90 %) CSP clauses are encoded (0 SAT variables, 179475 SAT clauses)
412.84/344.43	c (343,336) 147888 (100 %) CSP clauses are encoded (0 SAT variables, 194263 SAT clauses)
412.84/344.43	c (343,336) CSPinCNF to SatSolver End
412.84/344.43	c (343,336) Heap : 4993 MiB used (max 20793 MiB), NonHeap : 29 MiB used (max 0 MiB)
412.84/344.43	c (343,336) 94324 bool, 194264 clause
412.84/344.43	c (343,336) Export Begin
412.99/344.55	c (344,336) Export to HOME/scop-10000-serial-file.bin
412.99/344.55	c (344,336) Export End
412.99/344.56	c (344,336) Export File Size: 0.10 MB
412.99/344.56	c (344,336) 35,37,90,341,342,342,343,STOP-AFTER(DIMACS)
412.99/344.56	c END-Prog: Tue Sep 24 17:02:43 CEST 2019
0.00/344.61	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10000-serial-file.bin
413.72/345.08	c (0,0) Read Serial File Begin
413.72/345.08	c (0,0) HOME/scop-10000-serial-file.bin
414.23/345.32	c (0,0) Read Serial File End
414.23/345.33	
414.23/345.33	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
414.23/345.33	(Solving Process)
414.23/345.33	
414.23/345.35	c BEGIN-Prog: Tue Sep 24 17:02:44 CEST 2019
414.23/345.35	c PID: 10076
414.23/345.35	c IP: 172.20.3.140
414.23/345.35	c HOST: node140.alineos.net
414.23/345.36	c (0,0) SatSolver.solve Begin
414.23/345.36	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405551-1569337059.xml-scop-10003.cnf
414.23/345.38	c (0,0) c
414.23/345.38	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)
414.23/345.38	c (0,0) c
414.23/345.38	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
414.23/345.38	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
414.23/345.38	c (0,0) c ========================================[ Problem Statistics ]===========================================
414.23/345.38	c (0,0) c |                                                                                                       |
414.45/345.48	c (0,0) c |  Number of variables:         94324                                                                   |
414.45/345.48	c (0,0) c |  Number of clauses:          194264                                                                   |
414.45/345.48	c (0,0) c |  Parse time:                   0.08 s                                                                 |
414.45/345.48	c (0,0) c |                                                                                                       |
414.52/345.73	c (0,0) c |  Simplification time:          0.24 s                                                                 |
414.52/345.73	c (0,0) c |                                                                                                       |
414.52/345.73	c (0,0) c |  Generating clones                                                                                    |
414.52/345.92	c (0,0) c |  all clones generated. Memory =   230.68Mb.                                                           |
414.52/345.92	c (0,0) c ========================================================================================================|
414.52/345.92	c (0,0) c
414.52/345.92	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
414.52/345.92	c (0,0) c
414.52/345.92	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.52/345.92	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
414.52/345.92	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.52/345.92	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
414.52/345.92	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
414.52/345.92	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
414.52/345.92	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
414.52/345.92	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
414.52/345.92	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
414.52/345.92	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
414.52/345.92	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
414.52/345.92	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
414.52/345.92	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
414.52/345.92	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
414.52/345.92	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
414.52/345.92	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
414.52/345.92	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
414.52/345.92	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
414.52/345.92	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.52/345.93	c (0,0) c
414.52/345.93	c (0,0) c real time : 0.545574 s
414.52/345.93	c (0,0) c cpu time  : 0.503123 s
414.52/345.93	c (0,0) c
414.52/345.93	c (0,0) c
414.52/345.93	c (0,0) c
414.52/345.93	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
414.52/345.93	c (0,0) c
414.52/345.93	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.52/345.93	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
414.52/345.93	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.52/345.93	c (0,0) c | Conflicts     |              44 |          5 |          7 |          4 |          5 |          6 |          5 |          6 |          6 |
414.52/345.93	c (0,0) c | Decisions     |              40 |          6 |          6 |          3 |          4 |          7 |          4 |          5 |          5 |
414.52/345.93	c (0,0) c | Propagations  |           38178 |       5298 |       4340 |       4331 |       3927 |       5298 |       4331 |       4340 |       6313 |
414.52/345.93	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.52/345.93	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
414.52/345.93	c (0,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
414.52/345.93	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.52/345.93	c (0,0) c | PropBinClauses|           82373 |       9789 |      10399 |      11472 |       7607 |      10626 |      11675 |      11408 |       9397 |
414.52/345.93	c (0,0) c | PropPreBlocker|          106100 |      12381 |      13679 |      14463 |      10557 |      13428 |      14846 |      14520 |      12226 |
414.52/345.93	c (0,0) c | PropNotBlocker|           46513 |       5677 |       6202 |       5855 |       5024 |       6170 |       6125 |       6091 |       5369 |
414.52/345.93	c (0,0) c | LitFullScans  |          358849 |      45784 |      45233 |      44264 |      38583 |      50240 |      47263 |      46796 |      40686 |
414.52/345.93	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.52/345.93	c (0,0) c | DecisionLevel0|              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
414.52/345.93	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.52/345.93	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
414.52/345.93	c (0,0) c | Avg_Trail     |                 |       3349 |       3110 |       3454 |       2695 |       3105 |       3359 |       3481 |       3265 |
414.52/345.93	c (0,0) c | Avg_DL        |                 |          2 |          2 |          1 |          1 |          2 |          1 |          2 |          2 |
414.52/345.93	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.52/345.93	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.52/345.93	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.52/345.93	c (0,0) c | Exported      |              14 |          2 |          2 |          2 |          1 |          1 |          2 |          2 |          2 |
414.52/345.93	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.52/345.93	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.52/345.93	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.52/345.93	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.52/345.93	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.52/345.93	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
414.52/345.93	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.52/345.93	c (0,0) c | Unaries       |                 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
414.52/345.93	c (0,0) c | Binaries      |                 |          0 |          1 |          1 |          1 |          1 |          0 |          0 |          1 |
414.52/345.93	c (0,0) c | Glues         |                 |          2 |          2 |          2 |          1 |          1 |          2 |          2 |          2 |
414.52/345.93	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.52/345.93	c (0,0) c | Orig_Seen     |            21 % |       4070 |       3593 |       4179 |       3753 |       3548 |       4208 |       4226 |       4170 |
414.52/345.93	c (0,0) c | Diff Orig seen|                 |      X     | -      477 |        109 | -      317 | -      522 |        138 |        156 |        100 |
414.52/345.93	c (0,0) c | Hamming       |             0 % |      X     |        266 |        155 |        223 |         91 |        210 |        201 |        187 |
414.52/345.93	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.52/345.93	c (0,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%|
414.52/345.93	c (0,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%|
414.52/345.93	c (0,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%|
414.52/345.93	c (0,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%|
414.52/345.93	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
414.52/345.93	c (0,0) c | PropagationTim|                 |    0.0  84%|    0.0  75%|    0.0  70%|    0.0  71%|    0.0  70%|    0.0  70%|    0.0  74%|    0.0  75%|
414.52/345.93	c (0,0) c | AnalysisTime  |                 |    0.0  13%|    0.0  22%|    0.0  20%|    0.0  25%|    0.0  25%|    0.0  22%|    0.0  23%|    0.0  22%|
414.52/345.93	c (0,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%|
414.52/345.93	c (0,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%|
414.52/345.93	c (0,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%|
414.52/345.93	c (0,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%|
414.52/345.93	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.52/345.93	c (0,0) c
414.52/345.93	c (0,0) c
414.52/345.93	c (0,0) c Threads : 8
414.52/345.93	c (0,0) c Winner : 0
414.52/345.93	c (0,0) c Conflicts_0 : 5
414.52/345.93	c (0,0) c Conflicts_1 : 7
414.52/345.93	c (0,0) c Conflicts_2 : 4
414.52/345.93	c (0,0) c Conflicts_3 : 5
414.52/345.93	c (0,0) c Conflicts_4 : 6
414.52/345.93	c (0,0) c Conflicts_5 : 5
414.52/345.93	c (0,0) c Conflicts_6 : 6
414.52/345.93	c (0,0) c Conflicts_7 : 6
414.52/345.93	c (0,0) c Conflicts_total : 44
414.52/345.93	c (0,0) c Conflicts_winner : 5
414.52/345.93	c (0,0) c Decisions_0 : 6
414.52/345.93	c (0,0) c Decisions_1 : 6
414.52/345.93	c (0,0) c Decisions_2 : 3
414.52/345.93	c (0,0) c Decisions_3 : 4
414.52/345.93	c (0,0) c Decisions_4 : 7
414.52/345.93	c (0,0) c Decisions_5 : 4
414.52/345.93	c (0,0) c Decisions_6 : 5
414.52/345.93	c (0,0) c Decisions_7 : 5
414.52/345.93	c (0,0) c Decisions_total : 40
414.52/345.93	c (0,0) c Decisions_winner : 6
414.52/345.93	c (0,0) c Propagations_0 : 5298
414.52/345.93	c (0,0) c Propagations_1 : 4340
414.52/345.93	c (0,0) c Propagations_2 : 4331
414.52/345.93	c (0,0) c Propagations_3 : 3927
414.52/345.93	c (0,0) c Propagations_4 : 5298
414.52/345.93	c (0,0) c Propagations_5 : 4331
414.52/345.93	c (0,0) c Propagations_6 : 4340
414.52/345.93	c (0,0) c Propagations_7 : 6313
414.52/345.93	c (0,0) c Propagations_total : 38178
414.52/345.93	c (0,0) c Propagations_winner : 5298
414.52/345.93	c (0,0) c ReduceDBs_0 : 0
414.52/345.93	c (0,0) c ReduceDBs_1 : 0
414.52/345.93	c (0,0) c ReduceDBs_2 : 0
414.52/345.93	c (0,0) c ReduceDBs_3 : 0
414.52/345.93	c (0,0) c ReduceDBs_4 : 0
414.52/345.93	c (0,0) c ReduceDBs_5 : 0
414.52/345.93	c (0,0) c ReduceDBs_6 : 0
414.52/345.93	c (0,0) c ReduceDBs_7 : 0
414.52/345.93	c (0,0) c ReduceDBs_total : 0
414.52/345.93	c (0,0) c ReduceDBs_winner : 0
414.52/345.93	c (0,0) c SimpDBs_0 : 1
414.52/345.93	c (0,0) c SimpDBs_1 : 1
414.52/345.93	c (0,0) c SimpDBs_2 : 1
414.52/345.93	c (0,0) c SimpDBs_3 : 1
414.52/345.93	c (0,0) c SimpDBs_4 : 1
414.52/345.93	c (0,0) c SimpDBs_5 : 1
414.52/345.93	c (0,0) c SimpDBs_6 : 1
414.52/345.93	c (0,0) c SimpDBs_7 : 1
414.52/345.93	c (0,0) c SimpDBs_total : 8
414.52/345.93	c (0,0) c SimpDBs_winner : 1
414.52/345.93	c (0,0) c Restarts_0 : 1
414.52/345.93	c (0,0) c Restarts_1 : 1
414.52/345.93	c (0,0) c Restarts_2 : 1
414.52/345.93	c (0,0) c Restarts_3 : 1
414.52/345.93	c (0,0) c Restarts_4 : 1
414.52/345.93	c (0,0) c Restarts_5 : 1
414.52/345.93	c (0,0) c Restarts_6 : 1
414.52/345.93	c (0,0) c Restarts_7 : 1
414.52/345.93	c (0,0) c Restarts_total : 8
414.52/345.93	c (0,0) c Restarts_winner : 1
414.52/345.93	c (0,0) c ForcedImports_0 : 0
414.52/345.93	c (0,0) c ForcedImports_1 : 0
414.52/345.93	c (0,0) c ForcedImports_2 : 0
414.52/345.93	c (0,0) c ForcedImports_3 : 0
414.52/345.93	c (0,0) c ForcedImports_4 : 0
414.52/345.93	c (0,0) c ForcedImports_5 : 0
414.52/345.93	c (0,0) c ForcedImports_6 : 0
414.52/345.93	c (0,0) c ForcedImports_7 : 0
414.52/345.93	c (0,0) c ForcedImports_total : 0
414.52/345.93	c (0,0) c ForcedImports_winner : 0
414.52/345.93	c (0,0) c PropsBinClauses_0 : 9789
414.52/345.93	c (0,0) c PropsBinClauses_1 : 10399
414.52/345.93	c (0,0) c PropsBinClauses_2 : 11472
414.52/345.93	c (0,0) c PropsBinClauses_3 : 7607
414.52/345.93	c (0,0) c PropsBinClauses_4 : 10626
414.52/345.93	c (0,0) c PropsBinClauses_5 : 11675
414.52/345.93	c (0,0) c PropsBinClauses_6 : 11408
414.52/345.93	c (0,0) c PropsBinClauses_7 : 9397
414.52/345.93	c (0,0) c PropsBinClauses_total : 82373
414.52/345.93	c (0,0) c PropsBinClauses_winner : 9789
414.52/345.93	c (0,0) c PropsPreBlocker_0 : 12381
414.52/345.93	c (0,0) c PropsPreBlocker_1 : 13679
414.52/345.93	c (0,0) c PropsPreBlocker_2 : 14463
414.52/345.93	c (0,0) c PropsPreBlocker_3 : 10557
414.52/345.93	c (0,0) c PropsPreBlocker_4 : 13428
414.52/345.93	c (0,0) c PropsPreBlocker_5 : 14846
414.52/345.93	c (0,0) c PropsPreBlocker_6 : 14520
414.52/345.93	c (0,0) c PropsPreBlocker_7 : 12226
414.52/345.93	c (0,0) c PropsPreBlocker_total : 106100
414.52/345.93	c (0,0) c PropsPreBlocker_winner : 12381
414.52/345.93	c (0,0) c PropsNotBlocker_0 : 5677
414.52/345.93	c (0,0) c PropsNotBlocker_1 : 6202
414.52/345.93	c (0,0) c PropsNotBlocker_2 : 5855
414.52/345.93	c (0,0) c PropsNotBlocker_3 : 5024
414.52/345.93	c (0,0) c PropsNotBlocker_4 : 6170
414.52/345.93	c (0,0) c PropsNotBlocker_5 : 6125
414.52/345.93	c (0,0) c PropsNotBlocker_6 : 6091
414.52/345.93	c (0,0) c PropsNotBlocker_7 : 5369
414.52/345.93	c (0,0) c PropsNotBlocker_total : 46513
414.52/345.93	c (0,0) c PropsNotBlocker_winner : 5677
414.52/345.93	c (0,0) c PropsLitFullScans_0 : 45784
414.52/345.93	c (0,0) c PropsLitFullScans_1 : 45233
414.52/345.93	c (0,0) c PropsLitFullScans_2 : 44264
414.52/345.93	c (0,0) c PropsLitFullScans_3 : 38583
414.52/345.93	c (0,0) c PropsLitFullScans_4 : 50240
414.52/345.93	c (0,0) c PropsLitFullScans_5 : 47263
414.52/345.93	c (0,0) c PropsLitFullScans_6 : 46796
414.52/345.93	c (0,0) c PropsLitFullScans_7 : 40686
414.52/345.93	c (0,0) c PropsLitFullScans_total : 358849
414.52/345.93	c (0,0) c PropsLitFullScans_winner : 45784
414.52/345.93	c (0,0) c LitScanFractions_0 : 0
414.52/345.93	c (0,0) c LitScanFractions_1 : 0
414.52/345.93	c (0,0) c LitScanFractions_2 : 0
414.52/345.93	c (0,0) c LitScanFractions_3 : 0
414.52/345.93	c (0,0) c LitScanFractions_4 : 0
414.52/345.93	c (0,0) c LitScanFractions_5 : 0
414.52/345.93	c (0,0) c LitScanFractions_6 : 0
414.52/345.93	c (0,0) c LitScanFractions_7 : 0
414.52/345.93	c (0,0) c LitScanFractions_total : 0
414.52/345.93	c (0,0) c LitScanFractions_winner : 0
414.52/345.93	c (0,0) c DecisionLevel0_0 : 2
414.52/345.93	c (0,0) c DecisionLevel0_1 : 2
414.52/345.93	c (0,0) c DecisionLevel0_2 : 2
414.52/345.93	c (0,0) c DecisionLevel0_3 : 2
414.52/345.93	c (0,0) c DecisionLevel0_4 : 2
414.52/345.93	c (0,0) c DecisionLevel0_5 : 2
414.52/345.93	c (0,0) c DecisionLevel0_6 : 2
414.52/345.93	c (0,0) c DecisionLevel0_7 : 2
414.52/345.93	c (0,0) c DecisionLevel0_total : 16
414.52/345.93	c (0,0) c DecisionLevel0_winner : 2
414.52/345.94	c (0,0) c Periods_0 : 0
414.52/345.94	c (0,0) c Periods_1 : 0
414.52/345.94	c (0,0) c Periods_2 : 0
414.52/345.94	c (0,0) c Periods_3 : 0
414.52/345.94	c (0,0) c Periods_4 : 0
414.52/345.94	c (0,0) c Periods_5 : 0
414.52/345.94	c (0,0) c Periods_6 : 0
414.52/345.94	c (0,0) c Periods_7 : 0
414.52/345.94	c (0,0) c Periods_total : 0
414.52/345.94	c (0,0) c Periods_winner : 0
414.52/345.94	c (0,0) c Margin_0 : 20
414.52/345.94	c (0,0) c Margin_1 : 20
414.52/345.94	c (0,0) c Margin_2 : 20
414.52/345.94	c (0,0) c Margin_3 : 20
414.52/345.94	c (0,0) c Margin_4 : 20
414.52/345.94	c (0,0) c Margin_5 : 20
414.52/345.94	c (0,0) c Margin_6 : 20
414.52/345.94	c (0,0) c Margin_7 : 20
414.52/345.94	c (0,0) c Margin_total : 160
414.52/345.94	c (0,0) c Margin_winner : 20
414.52/345.94	c (0,0) c Exported_0 : 2
414.52/345.94	c (0,0) c Exported_1 : 2
414.52/345.94	c (0,0) c Exported_2 : 2
414.52/345.94	c (0,0) c Exported_3 : 1
414.52/345.94	c (0,0) c Exported_4 : 1
414.52/345.94	c (0,0) c Exported_5 : 2
414.52/345.94	c (0,0) c Exported_6 : 2
414.52/345.94	c (0,0) c Exported_7 : 2
414.52/345.94	c (0,0) c Exported_total : 14
414.52/345.94	c (0,0) c Exported_winner : 2
414.52/345.94	c (0,0) c Imported_0 : 0
414.52/345.94	c (0,0) c Imported_1 : 0
414.52/345.94	c (0,0) c Imported_2 : 0
414.52/345.94	c (0,0) c Imported_3 : 0
414.52/345.94	c (0,0) c Imported_4 : 0
414.52/345.94	c (0,0) c Imported_5 : 0
414.52/345.94	c (0,0) c Imported_6 : 0
414.52/345.94	c (0,0) c Imported_7 : 0
414.52/345.94	c (0,0) c Imported_total : 0
414.52/345.94	c (0,0) c Imported_winner : 0
414.52/345.94	c (0,0) c Good_0 : 0
414.52/345.94	c (0,0) c Good_1 : 0
414.52/345.94	c (0,0) c Good_2 : 0
414.52/345.94	c (0,0) c Good_3 : 0
414.52/345.94	c (0,0) c Good_4 : 0
414.52/345.94	c (0,0) c Good_5 : 0
414.52/345.94	c (0,0) c Good_6 : 0
414.52/345.94	c (0,0) c Good_7 : 0
414.52/345.94	c (0,0) c Good_total : 0
414.52/345.94	c (0,0) c Good_winner : 0
414.52/345.94	c (0,0) c Purge_0 : 0
414.52/345.94	c (0,0) c Purge_1 : 0
414.52/345.94	c (0,0) c Purge_2 : 0
414.52/345.94	c (0,0) c Purge_3 : 0
414.52/345.94	c (0,0) c Purge_4 : 0
414.52/345.94	c (0,0) c Purge_5 : 0
414.52/345.94	c (0,0) c Purge_6 : 0
414.52/345.94	c (0,0) c Purge_7 : 0
414.52/345.94	c (0,0) c Purge_total : 0
414.52/345.94	c (0,0) c Purge_winner : 0
414.52/345.94	c (0,0) c Promoted_0 : 0
414.52/345.94	c (0,0) c Promoted_1 : 0
414.52/345.94	c (0,0) c Promoted_2 : 0
414.52/345.94	c (0,0) c Promoted_3 : 0
414.52/345.94	c (0,0) c Promoted_4 : 0
414.52/345.94	c (0,0) c Promoted_5 : 0
414.52/345.94	c (0,0) c Promoted_6 : 0
414.52/345.94	c (0,0) c Promoted_7 : 0
414.52/345.94	c (0,0) c Promoted_total : 0
414.52/345.94	c (0,0) c Promoted_winner : 0
414.52/345.94	c (0,0) c Remove_Imp_0 : 0
414.52/345.94	c (0,0) c Remove_Imp_1 : 0
414.52/345.94	c (0,0) c Remove_Imp_2 : 0
414.52/345.94	c (0,0) c Remove_Imp_3 : 0
414.52/345.94	c (0,0) c Remove_Imp_4 : 0
414.52/345.94	c (0,0) c Remove_Imp_5 : 0
414.52/345.94	c (0,0) c Remove_Imp_6 : 0
414.52/345.94	c (0,0) c Remove_Imp_7 : 0
414.52/345.94	c (0,0) c Remove_Imp_total : 0
414.52/345.94	c (0,0) c Remove_Imp_winner : 0
414.52/345.94	c (0,0) c Blocked_Reuse_0 : 0
414.52/345.94	c (0,0) c Blocked_Reuse_1 : 0
414.52/345.94	c (0,0) c Blocked_Reuse_2 : 0
414.52/345.94	c (0,0) c Blocked_Reuse_3 : 0
414.52/345.94	c (0,0) c Blocked_Reuse_4 : 0
414.52/345.94	c (0,0) c Blocked_Reuse_5 : 0
414.52/345.94	c (0,0) c Blocked_Reuse_6 : 0
414.52/345.94	c (0,0) c Blocked_Reuse_7 : 0
414.52/345.94	c (0,0) c Blocked_Reuse_total : 0
414.52/345.94	c (0,0) c Blocked_Reuse_winner : 0
414.52/345.94	c (0,0) c Unaries_0 : 1
414.52/345.94	c (0,0) c Unaries_1 : 1
414.52/345.94	c (0,0) c Unaries_2 : 1
414.52/345.94	c (0,0) c Unaries_3 : 1
414.52/345.94	c (0,0) c Unaries_4 : 1
414.52/345.94	c (0,0) c Unaries_5 : 1
414.52/345.94	c (0,0) c Unaries_6 : 1
414.52/345.94	c (0,0) c Unaries_7 : 1
414.52/345.94	c (0,0) c Unaries_total : 8
414.52/345.94	c (0,0) c Unaries_winner : 1
414.52/345.94	c (0,0) c Binaries_0 : 0
414.52/345.94	c (0,0) c Binaries_1 : 1
414.52/345.94	c (0,0) c Binaries_2 : 1
414.52/345.94	c (0,0) c Binaries_3 : 1
414.52/345.94	c (0,0) c Binaries_4 : 1
414.52/345.94	c (0,0) c Binaries_5 : 0
414.52/345.94	c (0,0) c Binaries_6 : 0
414.52/345.94	c (0,0) c Binaries_7 : 1
414.52/345.94	c (0,0) c Binaries_total : 5
414.52/345.94	c (0,0) c Binaries_winner : 0
414.52/345.94	c (0,0) c Glues_0 : 2
414.52/345.94	c (0,0) c Glues_1 : 2
414.52/345.94	c (0,0) c Glues_2 : 2
414.52/345.94	c (0,0) c Glues_3 : 1
414.52/345.94	c (0,0) c Glues_4 : 1
414.52/345.94	c (0,0) c Glues_5 : 2
414.52/345.94	c (0,0) c Glues_6 : 2
414.52/345.94	c (0,0) c Glues_7 : 2
414.52/345.94	c (0,0) c Glues_total : 14
414.52/345.94	c (0,0) c Glues_winner : 2
414.52/345.94	c (0,0) c RunningTime_0 : 0.006139
414.52/345.94	c (0,0) c RunningTime_1 : 0.005543
414.52/345.94	c (0,0) c RunningTime_2 : 0.003983
414.52/345.94	c (0,0) c RunningTime_3 : 0.003186
414.52/345.94	c (0,0) c RunningTime_4 : 0.003708
414.52/345.94	c (0,0) c RunningTime_5 : 0.005537
414.52/345.94	c (0,0) c RunningTime_6 : 0.005833
414.52/345.94	c (0,0) c RunningTime_7 : 0.005627
414.52/345.94	c (0,0) c RunningTime_total : 0.039557
414.52/345.94	c (0,0) c RunningTime_winner : 0.006139
414.52/345.94	c (0,0) c WaitingTime_0 : 0.000000
414.52/345.94	c (0,0) c WaitingTime_1 : 0.000000
414.52/345.94	c (0,0) c WaitingTime_2 : 0.000000
414.52/345.94	c (0,0) c WaitingTime_3 : 0.000000
414.52/345.94	c (0,0) c WaitingTime_4 : 0.000000
414.52/345.94	c (0,0) c WaitingTime_5 : 0.000000
414.52/345.94	c (0,0) c WaitingTime_6 : 0.000000
414.52/345.94	c (0,0) c WaitingTime_7 : 0.000000
414.52/345.94	c (0,0) c WaitingTime_total : 0.000000
414.52/345.94	c (0,0) c WaitingTime_winner : 0.000000
414.52/345.94	c (0,0) c ExchangingTime_0 : 0.000027
414.52/345.94	c (0,0) c ExchangingTime_1 : 0.000010
414.52/345.94	c (0,0) c ExchangingTime_2 : 0.000005
414.52/345.94	c (0,0) c ExchangingTime_3 : 0.000005
414.52/345.94	c (0,0) c ExchangingTime_4 : 0.000006
414.52/345.94	c (0,0) c ExchangingTime_5 : 0.000013
414.52/345.94	c (0,0) c ExchangingTime_6 : 0.000003
414.52/345.94	c (0,0) c ExchangingTime_7 : 0.000003
414.52/345.94	c (0,0) c ExchangingTime_total : 0.000072
414.52/345.94	c (0,0) c ExchangingTime_winner : 0.000027
414.52/345.94	c (0,0) c PeriodProcTime_0 : 0.000000
414.52/345.94	c (0,0) c PeriodProcTime_1 : 0.000000
414.52/345.94	c (0,0) c PeriodProcTime_2 : 0.000000
414.52/345.94	c (0,0) c PeriodProcTime_3 : 0.000000
414.52/345.94	c (0,0) c PeriodProcTime_4 : 0.000000
414.52/345.94	c (0,0) c PeriodProcTime_5 : 0.000000
414.52/345.94	c (0,0) c PeriodProcTime_6 : 0.000000
414.52/345.94	c (0,0) c PeriodProcTime_7 : 0.000000
414.52/345.94	c (0,0) c PeriodProcTime_total : 0.000000
414.52/345.94	c (0,0) c PeriodProcTime_winner : 0.000000
414.52/345.94	c (0,0) c SolvingTime_0 : 0.006166
414.52/345.94	c (0,0) c SolvingTime_1 : 0.005553
414.52/345.94	c (0,0) c SolvingTime_2 : 0.003988
414.52/345.94	c (0,0) c SolvingTime_3 : 0.003191
414.52/345.94	c (0,0) c SolvingTime_4 : 0.003714
414.52/345.94	c (0,0) c SolvingTime_5 : 0.005550
414.52/345.94	c (0,0) c SolvingTime_6 : 0.005836
414.52/345.94	c (0,0) c SolvingTime_7 : 0.005630
414.52/345.94	c (0,0) c SolvingTime_total : 0.039628
414.52/345.94	c (0,0) c SolvingTime_winner : 0.006166
414.52/345.94	c (0,0) c PropagationTime_0 : 0.005175
414.52/345.94	c (0,0) c PropagationTime_1 : 0.004178
414.52/345.94	c (0,0) c PropagationTime_2 : 0.002791
414.52/345.94	c (0,0) c PropagationTime_3 : 0.002269
414.52/345.94	c (0,0) c PropagationTime_4 : 0.002595
414.52/345.94	c (0,0) c PropagationTime_5 : 0.003887
414.52/345.94	c (0,0) c PropagationTime_6 : 0.004316
414.52/345.94	c (0,0) c PropagationTime_7 : 0.004238
414.52/345.94	c (0,0) c PropagationTime_total : 0.029449
414.52/345.94	c (0,0) c PropagationTime_winner : 0.005175
414.52/345.94	c (0,0) c AnalysisTime_0 : 0.000814
414.52/345.94	c (0,0) c AnalysisTime_1 : 0.001222
414.52/345.94	c (0,0) c AnalysisTime_2 : 0.000800
414.52/345.94	c (0,0) c AnalysisTime_3 : 0.000796
414.52/345.94	c (0,0) c AnalysisTime_4 : 0.000939
414.52/345.94	c (0,0) c AnalysisTime_5 : 0.001233
414.52/345.94	c (0,0) c AnalysisTime_6 : 0.001340
414.52/345.94	c (0,0) c AnalysisTime_7 : 0.001245
414.52/345.94	c (0,0) c AnalysisTime_total : 0.008389
414.52/345.94	c (0,0) c AnalysisTime_winner : 0.000814
414.52/345.94	c (0,0) c ReductionTime_0 : 0.000000
414.52/345.94	c (0,0) c ReductionTime_1 : 0.000000
414.52/345.94	c (0,0) c ReductionTime_2 : 0.000000
414.52/345.94	c (0,0) c ReductionTime_3 : 0.000000
414.52/345.94	c (0,0) c ReductionTime_4 : 0.000000
414.52/345.94	c (0,0) c ReductionTime_5 : 0.000000
414.52/345.94	c (0,0) c ReductionTime_6 : 0.000000
414.52/345.94	c (0,0) c ReductionTime_7 : 0.000000
414.52/345.94	c (0,0) c ReductionTime_total : 0.000000
414.52/345.94	c (0,0) c ReductionTime_winner : 0.000000
414.52/345.94	c (0,0) c SimplifyTime_0 : 0.000001
414.52/345.94	c (0,0) c SimplifyTime_1 : 0.000001
414.52/345.94	c (0,0) c SimplifyTime_2 : 0.000000
414.52/345.94	c (0,0) c SimplifyTime_3 : 0.000000
414.52/345.94	c (0,0) c SimplifyTime_4 : 0.000000
414.52/345.94	c (0,0) c SimplifyTime_5 : 0.000001
414.52/345.94	c (0,0) c SimplifyTime_6 : 0.000000
414.52/345.94	c (0,0) c SimplifyTime_7 : 0.000000
414.52/345.94	c (0,0) c SimplifyTime_total : 0.000003
414.52/345.94	c (0,0) c SimplifyTime_winner : 0.000001
414.52/345.94	c (0,0) c UsedRateTime_0 : 0.000000
414.52/345.94	c (0,0) c UsedRateTime_1 : 0.000000
414.52/345.94	c (0,0) c UsedRateTime_2 : 0.000000
414.52/345.94	c (0,0) c UsedRateTime_3 : 0.000000
414.52/345.94	c (0,0) c UsedRateTime_4 : 0.000000
414.52/345.94	c (0,0) c UsedRateTime_5 : 0.000000
414.52/345.94	c (0,0) c UsedRateTime_6 : 0.000000
414.52/345.94	c (0,0) c UsedRateTime_7 : 0.000000
414.52/345.94	c (0,0) c UsedRateTime_total : 0.000000
414.52/345.94	c (0,0) c UsedRateTime_winner : 0.000000
414.52/345.94	c (0,0) c OverlapRateTime_0 : 0.000000
414.52/345.94	c (0,0) c OverlapRateTime_1 : 0.000000
414.52/345.94	c (0,0) c OverlapRateTime_2 : 0.000000
414.52/345.94	c (0,0) c OverlapRateTime_3 : 0.000000
414.52/345.94	c (0,0) c OverlapRateTime_4 : 0.000000
414.52/345.94	c (0,0) c OverlapRateTime_5 : 0.000000
414.52/345.94	c (0,0) c OverlapRateTime_6 : 0.000000
414.52/345.94	c (0,0) c OverlapRateTime_7 : 0.000000
414.52/345.94	c (0,0) c OverlapRateTime_total : 0.000000
414.52/345.94	c (0,0) c OverlapRateTime_winner : 0.000000
414.52/345.94	c (0,0) c
414.52/345.94	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
414.52/345.94	c (0,0) c
414.52/345.94	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.52/345.94	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
414.52/345.94	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.52/345.94	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
414.52/345.94	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
414.52/345.94	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
414.52/345.94	c (0,0) c | Initial random_seed   |  196714717 | 2060069148 |  214357779 | 1870932225 |  649151740 | 2077977951 |   70139227 |  769147116 |
414.52/345.94	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
414.52/345.94	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
414.52/345.94	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
414.52/345.94	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
414.52/345.94	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
414.52/345.94	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
414.52/345.94	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
414.52/345.94	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
414.52/345.94	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
414.52/345.94	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
414.52/345.94	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
414.52/345.94	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
414.52/345.94	c (0,0) 
414.52/345.94	c (0,0) s UNSATISFIABLE
414.52/345.95	c (0,0) SatSolver.solve End
414.52/345.95	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
414.52/345.95	c (0,0) Show results Begin
414.52/345.95	s UNSATISFIABLE
414.52/345.95	c (0,0) Show results End
414.52/345.95	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
414.52/345.95	c (0,0) 0,0,STOP-AFTER(ALL)
414.52/345.95	c END-Prog: Tue Sep 24 17:02:44 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 (14071 MiB free)
  memory of node 1: 16384 MiB (10948 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100153 s]*
/proc/loadavg: 1.21 3.25 3.46 2/211 10022
/proc/meminfo: memFree=25524864/32770624 swapFree=66997504/67108860
[pid=10000] ppid=9997 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10000/stat : 10000 (scop.sh) S 9997 10000 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509644299 115843072 349 33554432000 4194304 5098028 140727926914928 140727926912184 140287482638972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34156544 140727926919932 140727926920280 140727926920280 140727926923209 0
/proc/10000/statm: 28282 349 296 221 0 87 0
[pid=10003] ppid=10000 vsize=27314120 memory=107112 CPUtime=0.11 cores=0-7
/proc/10003/stat : 10003 (java) S 10000 10000 9260 0 -1 1077944320 6889 0 0 0 8 3 0 0 20 0 20 0 509644299 27969658880 26778 33554432000 4194304 4196468 140723629441680 140723629424224 139682788540151 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
/proc/10003/statm: 6828530 26778 2777 1 0 6790935 0
[pid=10003/tid=10004] ppid=10000 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/10003/task/10004/stat : 10004 (java) R 10000 10000 9260 0 -1 4202560 5004 0 0 0 6 2 0 0 20 0 20 0 509644300 27969658880 26843 33554432000 4194304 4196468 140723629441680 139682760366864 139682772620564 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10005] ppid=10000 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10003/task/10005/stat : 10005 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 26908 33554432000 4194304 4196468 140723629441680 139682792782608 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10006] ppid=10000 vsize=27314120 memory=140297452344960 CPUtime=0 cores=0-7
/proc/10003/task/10006/stat : 10006 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 26908 33554432000 4194304 4196468 140723629441680 139682606939024 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10007] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10007/stat : 10007 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 26908 33554432000 4194304 4196468 140723629441680 139682605886480 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10008] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10008/stat : 10008 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 26908 33554432000 4194304 4196468 140723629441680 139682208447632 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10009] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10009/stat : 10009 (java) S 10000 10000 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 26908 33554432000 4194304 4196468 140723629441680 139682207394064 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10010] ppid=10000 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10003/task/10010/stat : 10010 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 26908 33554432000 4194304 4196468 140723629441680 139682206341520 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10011] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10011/stat : 10011 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 26908 33554432000 4194304 4196468 140723629441680 139682205288976 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10012] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10012/stat : 10012 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 26908 33554432000 4194304 4196468 140723629441680 139682204236432 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10013] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10013/stat : 10013 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509644303 27969658880 26908 33554432000 4194304 4196468 140723629441680 139681645509104 139682788551298 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10014] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10014/stat : 10014 (java) S 10000 10000 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509644304 27969658880 26908 33554432000 4194304 4196468 140723629441680 139680725067168 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10015] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10015/stat : 10015 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509644304 27969658880 26908 33554432000 4194304 4196468 140723629441680 139680456631792 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10016] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10016/stat : 10016 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 26908 33554432000 4194304 4196468 140723629441680 139680082123472 139682788558747 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10017] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10017/stat : 10017 (java) S 10000 10000 9260 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 26908 33554432000 4194304 4196468 140723629441680 139681644455920 139682788551298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10018] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10018/stat : 10018 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 26908 33554432000 4194304 4196468 140723629441680 139681643403376 139682788551298 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10019] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10019/stat : 10019 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 26908 33554432000 4194304 4196468 140723629441680 139681642350832 139682788551298 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10020] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10020/stat : 10020 (java) R 10000 10000 9260 0 -1 4202560 268 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 26908 33554432000 4194304 4196468 140723629441680 139681641298288 139682788561498 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10021] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10021/stat : 10021 (java) S 10000 10000 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 26908 33554432000 4194304 4196468 140723629441680 139679584217824 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10022] ppid=10000 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10003/task/10022/stat : 10022 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 26908 33554432000 4194304 4196468 140723629441680 139681640246192 139682788551298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108508 KiB

[startup+0.210501 s]*
/proc/loadavg: 1.21 3.25 3.46 2/211 10022
/proc/meminfo: memFree=25503168/32770624 swapFree=66997504/67108860
[pid=10000] ppid=9997 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10000/stat : 10000 (scop.sh) S 9997 10000 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509644299 115843072 349 33554432000 4194304 5098028 140727926914928 140727926912184 140287482638972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34156544 140727926919932 140727926920280 140727926920280 140727926923209 0
/proc/10000/statm: 28282 349 296 221 0 87 0
[pid=10003] ppid=10000 vsize=27314120 memory=126848 CPUtime=0.24 cores=0-7
/proc/10003/stat : 10003 (java) S 10000 10000 9260 0 -1 1077944320 12395 0 0 0 20 4 0 0 20 0 20 0 509644299 27969658880 31712 33554432000 4194304 4196468 140723629441680 140723629424224 139682788540151 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
/proc/10003/statm: 6828530 31712 2965 1 0 6790935 0
[pid=10003/tid=10004] ppid=10000 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/10003/task/10004/stat : 10004 (java) R 10000 10000 9260 0 -1 4202560 10107 0 0 0 16 4 0 0 20 0 20 0 509644300 27969658880 31712 33554432000 4194304 4196468 140723629441680 139682760355216 139682768815368 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10005] ppid=10000 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/10003/task/10005/stat : 10005 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 31712 33554432000 4194304 4196468 140723629441680 139682792782608 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10006] ppid=10000 vsize=27314120 memory=140297452355214 CPUtime=0 cores=0-7
/proc/10003/task/10006/stat : 10006 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 31712 33554432000 4194304 4196468 140723629441680 139682606939024 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10007] ppid=10000 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10003/task/10007/stat : 10007 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 31712 33554432000 4194304 4196468 140723629441680 139682605886480 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10008] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10008/stat : 10008 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 31712 33554432000 4194304 4196468 140723629441680 139682208447632 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10009] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10009/stat : 10009 (java) S 10000 10000 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 31712 33554432000 4194304 4196468 140723629441680 139682207394064 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10010] ppid=10000 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10003/task/10010/stat : 10010 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 31712 33554432000 4194304 4196468 140723629441680 139682206341520 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10011] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10011/stat : 10011 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 31712 33554432000 4194304 4196468 140723629441680 139682205288976 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10012] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10012/stat : 10012 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 31712 33554432000 4194304 4196468 140723629441680 139682204236432 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10013] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10013/stat : 10013 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509644303 27969658880 31712 33554432000 4194304 4196468 140723629441680 139681645509104 139682788551298 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10014] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10014/stat : 10014 (java) S 10000 10000 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509644304 27969658880 31712 33554432000 4194304 4196468 140723629441680 139680725067168 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10015] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10015/stat : 10015 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509644304 27969658880 31712 33554432000 4194304 4196468 140723629441680 139680456631792 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10016] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10016/stat : 10016 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 31712 33554432000 4194304 4196468 140723629441680 139680082123472 139682788558747 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10017] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10017/stat : 10017 (java) S 10000 10000 9260 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 31712 33554432000 4194304 4196468 140723629441680 139681644455920 139682788551298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10018] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10018/stat : 10018 (java) S 10000 10000 9260 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 31712 33554432000 4194304 4196468 140723629441680 139681643403376 139682788551298 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10019] ppid=10000 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10003/task/10019/stat : 10019 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 31712 33554432000 4194304 4196468 140723629441680 139681642350832 139682788551298 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10020] ppid=10000 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/10003/task/10020/stat : 10020 (java) S 10000 10000 9260 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 20 0 509644307 27969658880 31712 33554432000 4194304 4196468 140723629441680 139681641298288 139682788551298 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10021] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10021/stat : 10021 (java) S 10000 10000 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 31712 33554432000 4194304 4196468 140723629441680 139679584217824 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10022] ppid=10000 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10003/task/10022/stat : 10022 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 31712 33554432000 4194304 4196468 140723629441680 139681640246192 139682788551298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128244 KiB

[startup+0.310392 s]*
/proc/loadavg: 1.21 3.25 3.46 3/211 10022
/proc/meminfo: memFree=25500624/32770624 swapFree=66997504/67108860
[pid=10000] ppid=9997 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10000/stat : 10000 (scop.sh) S 9997 10000 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509644299 115843072 349 33554432000 4194304 5098028 140727926914928 140727926912184 140287482638972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34156544 140727926919932 140727926920280 140727926920280 140727926923209 0
/proc/10000/statm: 28282 349 296 221 0 87 0
[pid=10003] ppid=10000 vsize=27314120 memory=130000 CPUtime=0.42 cores=0-7
/proc/10003/stat : 10003 (java) S 10000 10000 9260 0 -1 1077944320 13360 0 0 0 37 5 0 0 20 0 20 0 509644299 27969658880 32500 33554432000 4194304 4196468 140723629441680 140723629424224 139682788540151 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
/proc/10003/statm: 6828530 32500 3018 1 0 6790935 0
[pid=10003/tid=10004] ppid=10000 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10003/task/10004/stat : 10004 (java) R 10000 10000 9260 0 -1 4202560 10908 0 0 0 25 4 0 0 20 0 20 0 509644300 27969658880 32500 33554432000 4194304 4196468 140723629441680 139682760354080 139682772620638 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10005] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10005/stat : 10005 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 32500 33554432000 4194304 4196468 140723629441680 139682792782608 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10006] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10006/stat : 10006 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 32500 33554432000 4194304 4196468 140723629441680 139682606939024 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10007] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10007/stat : 10007 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 32500 33554432000 4194304 4196468 140723629441680 139682605886480 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10008] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10008/stat : 10008 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 32500 33554432000 4194304 4196468 140723629441680 139682208447632 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10009] ppid=10000 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10003/task/10009/stat : 10009 (java) S 10000 10000 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 32500 33554432000 4194304 4196468 140723629441680 139682207394064 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10010] ppid=10000 vsize=27314120 memory=140297321411503 CPUtime=0 cores=0-7
/proc/10003/task/10010/stat : 10010 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 32500 33554432000 4194304 4196468 140723629441680 139682206341520 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10011] ppid=10000 vsize=27314120 memory=140297321413808 CPUtime=0 cores=0-7
/proc/10003/task/10011/stat : 10011 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 32500 33554432000 4194304 4196468 140723629441680 139682205288976 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10012] ppid=10000 vsize=27314120 memory=140297321416112 CPUtime=0 cores=0-7
/proc/10003/task/10012/stat : 10012 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27969658880 32500 33554432000 4194304 4196468 140723629441680 139682204236432 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10013] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10013/stat : 10013 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509644303 27969658880 32500 33554432000 4194304 4196468 140723629441680 139681645509104 139682788551298 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10014] ppid=10000 vsize=27314120 memory=280594642839184 CPUtime=0 cores=0-7
/proc/10003/task/10014/stat : 10014 (java) S 10000 10000 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509644304 27969658880 32500 33554432000 4194304 4196468 140723629441680 139680725067168 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10015] ppid=10000 vsize=27314120 memory=280594642846096 CPUtime=0 cores=0-7
/proc/10003/task/10015/stat : 10015 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509644304 27969658880 32500 33554432000 4194304 4196468 140723629441680 139680456631792 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10016] ppid=10000 vsize=27314120 memory=280594642787248 CPUtime=0 cores=0-7
/proc/10003/task/10016/stat : 10016 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 32500 33554432000 4194304 4196468 140723629441680 139680082123472 139682788558747 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10017] ppid=10000 vsize=27314120 memory=280594642859920 CPUtime=0.01 cores=0-7
/proc/10003/task/10017/stat : 10017 (java) S 10000 10000 9260 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 20 0 509644307 27969658880 32500 33554432000 4194304 4196468 140723629441680 139681644455920 139682788551298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10018] ppid=10000 vsize=27314120 memory=280594642866832 CPUtime=0 cores=0-7
/proc/10003/task/10018/stat : 10018 (java) S 10000 10000 9260 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 32500 33554432000 4194304 4196468 140723629441680 139681643403376 139682788551298 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10019] ppid=10000 vsize=27314120 memory=280594642864528 CPUtime=0.01 cores=0-7
/proc/10003/task/10019/stat : 10019 (java) S 10000 10000 9260 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 20 0 509644307 27969658880 32500 33554432000 4194304 4196468 140723629441680 139681642350832 139682788551298 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10020] ppid=10000 vsize=27314120 memory=280594642880688 CPUtime=0.07 cores=0-7
/proc/10003/task/10020/stat : 10020 (java) S 10000 10000 9260 0 -1 1077944384 488 0 0 0 7 0 0 0 20 0 20 0 509644307 27969658880 32500 33554432000 4194304 4196468 140723629441680 139681641298288 139682788551298 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10021] ppid=10000 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10021/stat : 10021 (java) S 10000 10000 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 32500 33554432000 4194304 4196468 140723629441680 139679584217824 139682788550357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10022] ppid=10000 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10003/task/10022/stat : 10022 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644307 27969658880 32500 33554432000 4194304 4196468 140723629441680 139681640246192 139682788551298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131396 KiB

[startup+0.700858 s]
/proc/loadavg: 1.21 3.25 3.46 2/211 10022
/proc/meminfo: memFree=25479776/32770624 swapFree=66997504/67108860
[pid=10000] ppid=9997 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10000/stat : 10000 (scop.sh) S 9997 10000 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509644299 115843072 349 33554432000 4194304 5098028 140727926914928 140727926912184 140287482638972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34156544 140727926919932 140727926920280 140727926920280 140727926923209 0
/proc/10000/statm: 28282 349 296 221 0 87 0
[pid=10003] ppid=10000 vsize=27320392 memory=166940 CPUtime=0.99 cores=0-7
/proc/10003/stat : 10003 (java) S 10000 10000 9260 0 -1 1077944320 20364 0 0 0 91 8 0 0 20 0 20 0 509644299 27976081408 41735 33554432000 4194304 4196468 140723629441680 140723629424224 139682788540151 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
/proc/10003/statm: 6830098 41735 3181 1 0 6791447 0
[pid=10003/tid=10004] ppid=10000 vsize=27320392 memory=280594643238576 CPUtime=0.68 cores=0-7
/proc/10003/task/10004/stat : 10004 (java) R 10000 10000 9260 0 -1 4202560 17335 0 0 0 61 7 0 0 20 0 20 0 509644300 27976081408 41735 33554432000 4194304 4196468 140723629441680 139682760377680 139682285431944 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10005] ppid=10000 vsize=27320392 memory=140297321620336 CPUtime=0 cores=0-7
/proc/10003/task/10005/stat : 10005 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509644302 27976081408 41735 33554432000 4194304 4196468 140723629441680 139682792782608 139682788550357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10006] ppid=10000 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/10003/task/10006/stat : 10006 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27976081408 41735 33554432000 4194304 4196468 140723629441680 139682606939024 139682788550357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0
[pid=10003/tid=10007] ppid=10000 vsize=27320392 memory=6124 CPUtime=0 cores=0-7
/proc/10003/task/10007/stat : 10007 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509644302 27976081408 41735 33554432000 4194304 4196468 140723629441680 139682605886480 139682788550357 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31739904 140723629449926 140723629450374 140723629450374 140723629453263 0

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

[pid=10000] ppid=9997 vsize=113128 memory=1476 CPUtime=413.21 cores=0-7
/proc/10000/stat : 10000 (scop.sh) S 9997 10000 9260 0 -1 4202496 582 187694 0 0 0 0 39911 1410 20 0 1 0 509644299 115843072 369 33554432000 4194304 5098028 140727926914928 140727926911672 140287482638972 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34156544 140727926919932 140727926920280 140727926920280 140727926923209 0
/proc/10000/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 413.21 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

[startup+345.601 s]
/proc/loadavg: 1.01 1.75 2.71 3/214 10096
/proc/meminfo: memFree=25556600/32770624 swapFree=66997508/67108860
[pid=10000] ppid=9997 vsize=113128 memory=1476 CPUtime=413.21 cores=0-7
/proc/10000/stat : 10000 (scop.sh) S 9997 10000 9260 0 -1 4202496 582 187694 0 0 0 0 39911 1410 20 0 1 0 509644299 115843072 369 33554432000 4194304 5098028 140727926914928 140727926911672 140287482638972 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34156544 140727926919932 140727926920280 140727926920280 140727926923209 0
/proc/10000/statm: 28282 369 311 221 0 87 0
[pid=10076] ppid=10000 vsize=8414124 memory=119272 CPUtime=1.31 cores=0-7
/proc/10076/stat : 10076 (java) S 10000 10000 9260 0 -1 1077944320 19811 0 0 0 122 9 0 0 20 0 24 0 509678760 8616062976 29818 33554432000 4194304 4196468 140735239587616 140735239570160 140537043082999 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
/proc/10076/statm: 2103531 29818 3194 1 0 2064875 0
[pid=10076/tid=10077] ppid=10000 vsize=8414124 memory=9776328 CPUtime=0.78 cores=0-7
/proc/10076/task/10077/stat : 10077 (java) S 10000 10000 9260 0 -1 1077944384 16401 0 0 0 71 7 0 0 20 0 24 0 509678761 8616062976 29818 33554432000 4194304 4196468 140735239587616 140537014923168 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10078] ppid=10000 vsize=8414124 memory=14060 CPUtime=0 cores=0-7
/proc/10076/task/10078/stat : 10078 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140537047325328 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10079] ppid=10000 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/10076/task/10079/stat : 10079 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536847493648 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10080] ppid=10000 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/10076/task/10080/stat : 10080 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536846440848 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10081] ppid=10000 vsize=8414124 memory=9776328 CPUtime=0 cores=0-7
/proc/10076/task/10081/stat : 10081 (java) S 10000 10000 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536845388048 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10082] ppid=10000 vsize=8414124 memory=3424 CPUtime=0 cores=0-7
/proc/10076/task/10082/stat : 10082 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536844336272 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10083] ppid=10000 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/10076/task/10083/stat : 10083 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536843283472 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10084] ppid=10000 vsize=8414124 memory=10596 CPUtime=0 cores=0-7
/proc/10076/task/10084/stat : 10084 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536842230672 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10085] ppid=10000 vsize=8414124 memory=1708 CPUtime=0 cores=0-7
/proc/10076/task/10085/stat : 10085 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536841177872 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10086] ppid=10000 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/10076/task/10086/stat : 10086 (java) S 10000 10000 9260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509678764 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536136599920 140537043094146 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10087] ppid=10000 vsize=8414124 memory=3624 CPUtime=0 cores=0-7
/proc/10076/task/10087/stat : 10087 (java) S 10000 10000 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509678764 8616062976 29818 33554432000 4194304 4196468 140735239587616 140535557776416 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10088] ppid=10000 vsize=8414124 memory=63692 CPUtime=0 cores=0-7
/proc/10076/task/10088/stat : 10088 (java) S 10000 10000 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509678764 8616062976 29818 33554432000 4194304 4196468 140735239587616 140535423554416 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10089] ppid=10000 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/10076/task/10089/stat : 10089 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140535049049936 140537043101595 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10090] ppid=10000 vsize=8414124 memory=3628 CPUtime=0.09 cores=0-7
/proc/10076/task/10090/stat : 10090 (java) S 10000 10000 9260 0 -1 1077944384 580 0 0 0 9 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536135547760 140537043094146 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10091] ppid=10000 vsize=8414124 memory=2828 CPUtime=0.06 cores=0-7
/proc/10076/task/10091/stat : 10091 (java) S 10000 10000 9260 0 -1 1077944384 177 0 0 0 6 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536134494960 140537043094146 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10092] ppid=10000 vsize=8414124 memory=1048 CPUtime=0.11 cores=0-7
/proc/10076/task/10092/stat : 10092 (java) S 10000 10000 9260 0 -1 1077944384 667 0 0 0 11 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536133442160 140537043094146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10093] ppid=10000 vsize=8414124 memory=667 CPUtime=0.22 cores=0-7
/proc/10076/task/10093/stat : 10093 (java) S 10000 10000 9260 0 -1 1077944384 567 0 0 0 22 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536132389360 140537043094146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10095] ppid=10000 vsize=8414124 memory=2464 CPUtime=0 cores=0-7
/proc/10076/task/10095/stat : 10095 (java) S 10000 10000 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140534551145056 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10096] ppid=10000 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10076/task/10096/stat : 10096 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678768 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536131336752 140537043094146 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
Current children cumulated CPU time: 414.52 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 120748 KiB

[startup+345.801 s]
/proc/loadavg: 1.01 1.75 2.71 3/214 10096
/proc/meminfo: memFree=25556600/32770624 swapFree=66997508/67108860
[pid=10000] ppid=9997 vsize=113128 memory=1476 CPUtime=413.21 cores=0-7
/proc/10000/stat : 10000 (scop.sh) S 9997 10000 9260 0 -1 4202496 582 187694 0 0 0 0 39911 1410 20 0 1 0 509644299 115843072 369 33554432000 4194304 5098028 140727926914928 140727926911672 140287482638972 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34156544 140727926919932 140727926920280 140727926920280 140727926923209 0
/proc/10000/statm: 28282 369 311 221 0 87 0
[pid=10076] ppid=10000 vsize=8414124 memory=119272 CPUtime=1.31 cores=0-7
/proc/10076/stat : 10076 (java) S 10000 10000 9260 0 -1 1077944320 19814 0 0 0 122 9 0 0 20 0 24 0 509678760 8616062976 29818 33554432000 4194304 4196468 140735239587616 140735239570160 140537043082999 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
/proc/10076/statm: 2103531 29818 3194 1 0 2064875 0
[pid=10076/tid=10077] ppid=10000 vsize=8414124 memory=14004 CPUtime=0.78 cores=0-7
/proc/10076/task/10077/stat : 10077 (java) S 10000 10000 9260 0 -1 1077944384 16401 0 0 0 71 7 0 0 20 0 24 0 509678761 8616062976 29818 33554432000 4194304 4196468 140735239587616 140537014923168 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10078] ppid=10000 vsize=8414124 memory=14060 CPUtime=0 cores=0-7
/proc/10076/task/10078/stat : 10078 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140537047325328 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10079] ppid=10000 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/10076/task/10079/stat : 10079 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536847493648 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10080] ppid=10000 vsize=8414124 memory=612 CPUtime=0 cores=0-7
/proc/10076/task/10080/stat : 10080 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536846440848 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10081] ppid=10000 vsize=8414124 memory=1220 CPUtime=0 cores=0-7
/proc/10076/task/10081/stat : 10081 (java) S 10000 10000 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536845388048 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10082] ppid=10000 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/10076/task/10082/stat : 10082 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536844336272 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10083] ppid=10000 vsize=8414124 memory=6935054825532540783 CPUtime=0 cores=0-7
/proc/10076/task/10083/stat : 10083 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536843283472 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10084] ppid=10000 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/10076/task/10084/stat : 10084 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536842230672 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10085] ppid=10000 vsize=8414124 memory=32956 CPUtime=0 cores=0-7
/proc/10076/task/10085/stat : 10085 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536841177872 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10086] ppid=10000 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/10076/task/10086/stat : 10086 (java) S 10000 10000 9260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509678764 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536136599920 140537043094146 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10087] ppid=10000 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/10076/task/10087/stat : 10087 (java) S 10000 10000 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509678764 8616062976 29818 33554432000 4194304 4196468 140735239587616 140535557776416 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10088] ppid=10000 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/10076/task/10088/stat : 10088 (java) S 10000 10000 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509678764 8616062976 29818 33554432000 4194304 4196468 140735239587616 140535423554416 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10089] ppid=10000 vsize=8414124 memory=3680 CPUtime=0 cores=0-7
/proc/10076/task/10089/stat : 10089 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140535049049936 140537043101595 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10090] ppid=10000 vsize=8414124 memory=836 CPUtime=0.09 cores=0-7
/proc/10076/task/10090/stat : 10090 (java) S 10000 10000 9260 0 -1 1077944384 580 0 0 0 9 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536135547760 140537043094146 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10091] ppid=10000 vsize=8414124 memory=6935054825532540783 CPUtime=0.06 cores=0-7
/proc/10076/task/10091/stat : 10091 (java) S 10000 10000 9260 0 -1 1077944384 177 0 0 0 6 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536134494960 140537043094146 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10092] ppid=10000 vsize=8414124 memory=111636 CPUtime=0.11 cores=0-7
/proc/10076/task/10092/stat : 10092 (java) S 10000 10000 9260 0 -1 1077944384 667 0 0 0 11 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536133442160 140537043094146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10093] ppid=10000 vsize=8414124 memory=804 CPUtime=0.22 cores=0-7
/proc/10076/task/10093/stat : 10093 (java) S 10000 10000 9260 0 -1 1077944384 568 0 0 0 22 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536132389360 140537043094146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10095] ppid=10000 vsize=8414124 memory=4096 CPUtime=0 cores=0-7
/proc/10076/task/10095/stat : 10095 (java) S 10000 10000 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140534551145056 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10096] ppid=10000 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/10076/task/10096/stat : 10096 (java) S 10000 10000 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509678768 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536131336752 140537043094146 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
Current children cumulated CPU time: 414.52 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 120748 KiB

[startup+345.901 s]
/proc/loadavg: 1.01 1.75 2.71 3/214 10096
/proc/meminfo: memFree=25556600/32770624 swapFree=66997508/67108860
[pid=10000] ppid=9997 vsize=113128 memory=1476 CPUtime=413.21 cores=0-7
/proc/10000/stat : 10000 (scop.sh) S 9997 10000 9260 0 -1 4202496 582 187694 0 0 0 0 39911 1410 20 0 1 0 509644299 115843072 369 33554432000 4194304 5098028 140727926914928 140727926911672 140287482638972 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34156544 140727926919932 140727926920280 140727926920280 140727926923209 0
/proc/10000/statm: 28282 369 311 221 0 87 0
[pid=10076] ppid=10000 vsize=8414124 memory=119272 CPUtime=1.31 cores=0-7
/proc/10076/stat : 10076 (java) S 10000 10000 9260 0 -1 1077944320 19814 0 0 0 122 9 0 0 20 0 24 0 509678760 8616062976 29818 33554432000 4194304 4196468 140735239587616 140735239570160 140537043082999 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
/proc/10076/statm: 2103531 29818 3194 1 0 2064875 0
[pid=10076/tid=10077] ppid=10000 vsize=8414124 memory=10596 CPUtime=0.78 cores=0-7
/proc/10076/task/10077/stat : 10077 (java) S 10000 10000 9260 0 -1 1077944384 16401 0 0 0 71 7 0 0 20 0 24 0 509678761 8616062976 29818 33554432000 4194304 4196468 140735239587616 140537014923168 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10078] ppid=10000 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/10076/task/10078/stat : 10078 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140537047325328 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10079] ppid=10000 vsize=8414124 memory=119272 CPUtime=0 cores=0-7
/proc/10076/task/10079/stat : 10079 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536847493648 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10080] ppid=10000 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10076/task/10080/stat : 10080 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536846440848 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10081] ppid=10000 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/10076/task/10081/stat : 10081 (java) S 10000 10000 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536845388048 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10082] ppid=10000 vsize=8414124 memory=3628 CPUtime=0 cores=0-7
/proc/10076/task/10082/stat : 10082 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536844336272 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10083] ppid=10000 vsize=8414124 memory=63692 CPUtime=0 cores=0-7
/proc/10076/task/10083/stat : 10083 (java) S 10000 10000 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536843283472 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10084] ppid=10000 vsize=8414124 memory=14060 CPUtime=0 cores=0-7
/proc/10076/task/10084/stat : 10084 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536842230672 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10085] ppid=10000 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/10076/task/10085/stat : 10085 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678762 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536841177872 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10086] ppid=10000 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/10076/task/10086/stat : 10086 (java) S 10000 10000 9260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509678764 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536136599920 140537043094146 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10087] ppid=10000 vsize=8414124 memory=99440 CPUtime=0 cores=0-7
/proc/10076/task/10087/stat : 10087 (java) S 10000 10000 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509678764 8616062976 29818 33554432000 4194304 4196468 140735239587616 140535557776416 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10088] ppid=10000 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/10076/task/10088/stat : 10088 (java) S 10000 10000 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509678764 8616062976 29818 33554432000 4194304 4196468 140735239587616 140535423554416 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10089] ppid=10000 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/10076/task/10089/stat : 10089 (java) S 10000 10000 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140535049049936 140537043101595 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10090] ppid=10000 vsize=8414124 memory=1428 CPUtime=0.09 cores=0-7
/proc/10076/task/10090/stat : 10090 (java) S 10000 10000 9260 0 -1 1077944384 580 0 0 0 9 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536135547760 140537043094146 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10091] ppid=10000 vsize=8414124 memory=3624 CPUtime=0.06 cores=0-7
/proc/10076/task/10091/stat : 10091 (java) S 10000 10000 9260 0 -1 1077944384 177 0 0 0 6 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536134494960 140537043094146 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10092] ppid=10000 vsize=8414124 memory=6124 CPUtime=0.11 cores=0-7
/proc/10076/task/10092/stat : 10092 (java) S 10000 10000 9260 0 -1 1077944384 667 0 0 0 11 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536133442160 140537043094146 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10093] ppid=10000 vsize=8414124 memory=612 CPUtime=0.22 cores=0-7
/proc/10076/task/10093/stat : 10093 (java) S 10000 10000 9260 0 -1 1077944384 568 0 0 0 22 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536132389360 140537043094146 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10095] ppid=10000 vsize=8414124 memory=1220 CPUtime=0 cores=0-7
/proc/10076/task/10095/stat : 10095 (java) S 10000 10000 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509678767 8616062976 29818 33554432000 4194304 4196468 140735239587616 140534551145056 140537043093205 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
[pid=10076/tid=10096] ppid=10000 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/10076/task/10096/stat : 10096 (java) S 10000 10000 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509678768 8616062976 29818 33554432000 4194304 4196468 140735239587616 140536131336752 140537043094146 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13193216 140735239594975 140735239595142 140735239595142 140735239598031 0
Current children cumulated CPU time: 414.52 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 120748 KiB

Child status: 0
Real time (s): 345.973
CPU time (s): 415.207
CPU user time (s): 400.91
CPU system time (s): 14.2974
CPU usage (%): 120.012
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 9780536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 400.91
system time used= 14.2974
maximum resident set size= 9779828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20575
involuntary context switches= 911


# summary of solver processes directly reported to runsolver:
#   pid: 10000
#   total CPU time (s): 415.207
#   total CPU user time (s): 400.91
#   total CPU system time (s): 14.2974

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.45916 second user time and 3.56102 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-24 16:56:58
IDJOB=4405551
IDBENCH=126913
IDSOLVER=2868
FILE ID=node140/4405551-1569337059
RUNJOBID= node140-1569335937-9287
PBS_JOBID= 21705054
Free space on /var/tmp= 13488 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr0600-int.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405551-1569337059/watcher-4405551-1569337059 -o /var/tmp/evaluation-result-4405551-1569337059/solver-4405551-1569337059 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405551-1569337059.xml

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

MD5SUM BENCH= 944fe5e858b8dc1e5468427caea6b95a
RANDOM SEED=586788715

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25620668 kB
MemAvailable:   31843288 kB
Buffers:          118508 kB
Cached:          6202828 kB
SwapCached:         2804 kB
Active:          3154052 kB
Inactive:        3174116 kB
Active(anon):       4092 kB
Inactive(anon):    58400 kB
Active(file):    3149960 kB
Inactive(file):  3115716 kB
Unevictable:      107700 kB
Mlocked:          107700 kB
SwapTotal:      67108860 kB
SwapFree:       66997504 kB
Dirty:             50356 kB
Writeback:             0 kB
AnonPages:        112832 kB
Mapped:            56708 kB
Shmem:             46800 kB
Slab:             414244 kB
SReclaimable:     385404 kB
SUnreclaim:        28840 kB
KernelStack:        3360 kB
PageTables:         5280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /var/tmp at the end= 13468 MiB
End job on node140 at 2019-09-24 17:02:44