Trace number 4405251

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-31037-serial-file.bin HOME/instance-4405251-1569336991.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 16:55:50 CEST 2019
0.66/0.57	c PID: 31040
0.66/0.57	c IP: 172.20.3.145
0.66/0.57	c HOST: node145.alineos.net
0.66/0.57	c (0,0) Parsing Begin
53.85/36.26	c (35,34) Parsing End
53.85/36.27	c (35,34) CSP: 600 int (0 aux), 0 bool (0 aux), 718800 ctr, max domain size 599
53.85/36.27	c (35,34) Heap : 3345 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
53.85/36.27	c (35,34) Constraint Name Generate Begin
55.85/38.05	c (37,35) Ctr:HOME/instance-4405251-1569336991.xml,Eq:Imp:Le:Num:Var
55.85/38.05	c (37,35) Constraint Name Generate End
55.85/38.05	c (37,35) Heap : 3788 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
55.85/38.05	c (37,35) CSP to CSPinCNF Begin
59.44/40.55	c (40,38) translated 71880 (10%) constraints
61.54/42.66	c (42,40) translated 143760 (20%) constraints
63.72/44.78	c (44,42) translated 215640 (30%) constraints
65.83/46.88	c (46,44) translated 287520 (40%) constraints
72.82/49.60	c (49,46) translated 359400 (50%) constraints
75.06/51.73	c (51,48) translated 431280 (60%) constraints
77.17/53.84	c (53,51) translated 503160 (70%) constraints
79.27/55.94	c (55,53) translated 575040 (80%) constraints
81.38/58.05	c (57,55) translated 646920 (90%) constraints
83.52/60.17	c (59,57) translated 718800 (100%) constraints
83.52/60.17	c (59,57) ===========================================
83.52/60.17	c (59,57) Order
83.52/60.17	c (59,57) ===========================================
85.20/61.28	c (60,58) translated 71880 (10%) constraints
86.30/62.34	c (61,59) translated 143760 (20%) constraints
87.34/63.38	c (62,60) translated 215640 (30%) constraints
88.45/64.41	c (63,61) translated 287520 (40%) constraints
89.44/65.45	c (64,62) translated 359400 (50%) constraints
95.48/70.36	c (69,67) translated 431280 (60%) constraints
109.34/76.17	c (75,72) translated 503160 (70%) constraints
114.14/80.91	c (80,76) translated 575040 (80%) constraints
124.65/86.26	c (85,81) translated 646920 (90%) constraints
129.26/90.86	c (90,86) translated 718800 (100%) constraints
129.26/90.87	c (90,86) CSP to CSPinCNF End
129.37/90.97	c (90,86) CSP: 600 int (0 aux), 359400 bool (359400 aux), 1437600 ctr, max domain size 599
129.37/90.97	c (90,86) Heap : 3937 MiB used (max 20822 MiB), NonHeap : 25 MiB used (max 0 MiB)
129.37/90.97	c (90,86) CSPinCNF Propagation Begin
392.81/329.02	c (328,320) 623876 values, 944992 unsatisfiable literals, and 1289712 valid clauses are removed
392.81/329.02	c (328,320) CSPinCNF Propagation End
392.91/329.18	c (328,321) CSP: 581 int (0 aux), 359419 bool (359400 aux), 147888 ctr, max domain size 578
392.91/329.18	c (328,321) Heap : 3687 MiB used (max 20802 MiB), NonHeap : 26 MiB used (max 0 MiB)
393.01/329.20	c (328,321) Simplify CSPinCNF Begin
393.39/329.45	c (328,321) Simplify CSPinCNF End
393.59/329.61	c (329,321) CSP: 581 int (0 aux), 359419 bool (359400 aux), 147888 ctr, max domain size 578
393.59/329.61	c (329,321) Heap : 3769 MiB used (max 20802 MiB), NonHeap : 27 MiB used (max 0 MiB)
393.59/329.61	c (329,321) Calculate Precise Domain Begin
393.59/329.61	c (329,321) 0 values are removed by re-calculation
393.59/329.61	c (329,321) Calculate Precise Domain End
393.69/329.77	c (329,321) CSP: 581 int (0 aux), 359419 bool (359400 aux), 147888 ctr, max domain size 578
393.69/329.77	c (329,321) Heap : 3851 MiB used (max 20802 MiB), NonHeap : 27 MiB used (max 0 MiB)
393.69/329.77	c (329,321) CSPinCNF to SatSolver Begin
395.91/330.55	c (330,322) 14789 (10 %) CSP clauses are encoded (0 SAT variables, 61164 SAT clauses)
396.21/330.65	c (330,322) 29578 (20 %) CSP clauses are encoded (0 SAT variables, 75953 SAT clauses)
396.33/330.75	c (330,322) 44367 (30 %) CSP clauses are encoded (0 SAT variables, 90742 SAT clauses)
396.45/330.84	c (330,322) 59156 (40 %) CSP clauses are encoded (0 SAT variables, 105531 SAT clauses)
396.56/330.93	c (330,322) 73944 (50 %) CSP clauses are encoded (0 SAT variables, 120319 SAT clauses)
396.67/331.03	c (330,322) 88733 (60 %) CSP clauses are encoded (0 SAT variables, 135108 SAT clauses)
396.77/331.12	c (330,322) 103522 (70 %) CSP clauses are encoded (0 SAT variables, 149897 SAT clauses)
396.86/331.21	c (330,323) 118311 (80 %) CSP clauses are encoded (0 SAT variables, 164686 SAT clauses)
396.96/331.30	c (330,323) 133100 (90 %) CSP clauses are encoded (0 SAT variables, 179475 SAT clauses)
396.96/331.39	c (330,323) 147888 (100 %) CSP clauses are encoded (0 SAT variables, 194263 SAT clauses)
396.96/331.39	c (330,323) CSPinCNF to SatSolver End
396.96/331.39	c (330,323) Heap : 5085 MiB used (max 20802 MiB), NonHeap : 29 MiB used (max 0 MiB)
396.96/331.39	c (330,323) 94324 bool, 194264 clause
396.96/331.39	c (330,323) Export Begin
397.27/331.51	c (330,323) Export to HOME/scop-31037-serial-file.bin
397.27/331.51	c (330,323) Export End
397.27/331.51	c (330,323) Export File Size: 0.10 MB
397.27/331.51	c (330,323) 35,37,90,328,329,329,330,STOP-AFTER(DIMACS)
397.27/331.51	c END-Prog: Tue Sep 24 17:01:21 CEST 2019
397.27/331.58	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-31037-serial-file.bin
397.93/332.05	c (0,0) Read Serial File Begin
397.93/332.05	c (0,0) HOME/scop-31037-serial-file.bin
398.19/332.29	c (0,0) Read Serial File End
398.47/332.31	
398.47/332.31	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
398.47/332.31	(Solving Process)
398.47/332.31	
398.47/332.33	c BEGIN-Prog: Tue Sep 24 17:01:22 CEST 2019
398.47/332.33	c PID: 31114
398.47/332.33	c IP: 172.20.3.145
398.47/332.33	c HOST: node145.alineos.net
398.47/332.33	c (0,0) SatSolver.solve Begin
398.47/332.33	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405251-1569336991.xml-scop-31040.cnf
398.47/332.36	c (0,0) c
398.47/332.36	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)
398.47/332.36	c (0,0) c
398.47/332.36	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
398.47/332.36	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
398.47/332.36	c (0,0) c ========================================[ Problem Statistics ]===========================================
398.47/332.36	c (0,0) c |                                                                                                       |
398.71/332.46	c (0,0) c |  Number of variables:         94324                                                                   |
398.71/332.46	c (0,0) c |  Number of clauses:          194264                                                                   |
398.71/332.46	c (0,0) c |  Parse time:                   0.09 s                                                                 |
398.71/332.46	c (0,0) c |                                                                                                       |
398.71/332.70	c (0,0) c |  Simplification time:          0.24 s                                                                 |
398.71/332.70	c (0,0) c |                                                                                                       |
398.71/332.70	c (0,0) c |  Generating clones                                                                                    |
398.71/332.89	c (0,0) c |  all clones generated. Memory =   230.68Mb.                                                           |
398.71/332.89	c (0,0) c ========================================================================================================|
398.71/332.89	c (0,0) c
398.71/332.89	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
398.71/332.89	c (0,0) c
398.71/332.89	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
398.71/332.89	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
398.71/332.89	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
398.71/332.89	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
398.71/332.89	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
398.71/332.89	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
398.71/332.89	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
398.71/332.89	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
398.71/332.89	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
398.71/332.89	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
398.71/332.89	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
398.71/332.89	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
398.71/332.89	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
398.71/332.89	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
398.71/332.89	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
398.71/332.89	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
398.71/332.89	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
398.71/332.89	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
398.71/332.89	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
398.72/332.90	c (0,0) c
398.72/332.90	c (0,0) c real time : 0.545635 s
398.72/332.90	c (0,0) c cpu time  : 0.493325 s
398.72/332.90	c (0,0) c
398.72/332.90	c (0,0) c
398.72/332.90	c (0,0) c
398.72/332.90	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
398.72/332.90	c (0,0) c
398.72/332.90	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
398.72/332.90	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
398.72/332.90	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
398.72/332.90	c (0,0) c | Conflicts     |              44 |          5 |          7 |          4 |          5 |          6 |          5 |          6 |          6 |
398.72/332.90	c (0,0) c | Decisions     |              40 |          6 |          6 |          3 |          4 |          7 |          4 |          5 |          5 |
398.72/332.90	c (0,0) c | Propagations  |           38178 |       5298 |       4340 |       4331 |       3927 |       5298 |       4331 |       4340 |       6313 |
398.72/332.90	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
398.72/332.90	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
398.72/332.90	c (0,0) c | Restarts      |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
398.72/332.90	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
398.72/332.90	c (0,0) c | PropBinClauses|           82373 |       9789 |      10399 |      11472 |       7607 |      10626 |      11675 |      11408 |       9397 |
398.72/332.90	c (0,0) c | PropPreBlocker|          106100 |      12381 |      13679 |      14463 |      10557 |      13428 |      14846 |      14520 |      12226 |
398.72/332.90	c (0,0) c | PropNotBlocker|           46513 |       5677 |       6202 |       5855 |       5024 |       6170 |       6125 |       6091 |       5369 |
398.72/332.90	c (0,0) c | LitFullScans  |          358849 |      45784 |      45233 |      44264 |      38583 |      50240 |      47263 |      46796 |      40686 |
398.72/332.90	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
398.72/332.90	c (0,0) c | DecisionLevel0|              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
398.72/332.90	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
398.72/332.90	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
398.72/332.90	c (0,0) c | Avg_Trail     |                 |       3349 |       3110 |       3454 |       2695 |       3105 |       3359 |       3481 |       3265 |
398.72/332.90	c (0,0) c | Avg_DL        |                 |          2 |          2 |          1 |          1 |          2 |          1 |          2 |          2 |
398.72/332.90	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
398.72/332.90	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
398.72/332.90	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
398.72/332.90	c (0,0) c | Exported      |              14 |          2 |          2 |          2 |          1 |          1 |          2 |          2 |          2 |
398.72/332.90	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
398.72/332.90	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
398.72/332.90	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
398.72/332.90	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
398.72/332.90	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
398.72/332.90	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
398.72/332.90	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
398.72/332.90	c (0,0) c | Unaries       |                 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
398.72/332.90	c (0,0) c | Binaries      |                 |          0 |          1 |          1 |          1 |          1 |          0 |          0 |          1 |
398.72/332.90	c (0,0) c | Glues         |                 |          2 |          2 |          2 |          1 |          1 |          2 |          2 |          2 |
398.72/332.90	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
398.72/332.90	c (0,0) c | Orig_Seen     |            21 % |       4070 |       3593 |       4179 |       3753 |       3548 |       4208 |       4226 |       4170 |
398.72/332.90	c (0,0) c | Diff Orig seen|                 |      X     | -      477 |        109 | -      317 | -      522 |        138 |        156 |        100 |
398.72/332.90	c (0,0) c | Hamming       |             0 % |      X     |        266 |        155 |        223 |         91 |        210 |        201 |        187 |
398.72/332.90	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
398.72/332.90	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%|
398.72/332.90	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%|
398.72/332.90	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%|
398.72/332.90	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%|
398.72/332.90	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
398.72/332.90	c (0,0) c | PropagationTim|                 |    0.0  74%|    0.0  86%|    0.0  69%|    0.0  76%|    0.0  76%|    0.0  83%|    0.0  74%|    0.0  69%|
398.72/332.90	c (0,0) c | AnalysisTime  |                 |    0.0  22%|    0.0  12%|    0.0  20%|    0.0  22%|    0.0  20%|    0.0  13%|    0.0  23%|    0.0  28%|
398.72/332.90	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%|
398.72/332.90	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%|
398.72/332.90	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%|
398.72/332.90	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%|
398.72/332.90	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
398.72/332.90	c (0,0) c
398.72/332.90	c (0,0) c
398.72/332.90	c (0,0) c Threads : 8
398.72/332.90	c (0,0) c Winner : 0
398.72/332.90	c (0,0) c Conflicts_0 : 5
398.72/332.90	c (0,0) c Conflicts_1 : 7
398.72/332.90	c (0,0) c Conflicts_2 : 4
398.72/332.90	c (0,0) c Conflicts_3 : 5
398.72/332.90	c (0,0) c Conflicts_4 : 6
398.72/332.90	c (0,0) c Conflicts_5 : 5
398.72/332.90	c (0,0) c Conflicts_6 : 6
398.72/332.90	c (0,0) c Conflicts_7 : 6
398.72/332.90	c (0,0) c Conflicts_total : 44
398.72/332.90	c (0,0) c Conflicts_winner : 5
398.72/332.90	c (0,0) c Decisions_0 : 6
398.72/332.90	c (0,0) c Decisions_1 : 6
398.72/332.90	c (0,0) c Decisions_2 : 3
398.72/332.91	c (0,0) c Decisions_3 : 4
398.72/332.91	c (0,0) c Decisions_4 : 7
398.72/332.91	c (0,0) c Decisions_5 : 4
398.72/332.91	c (0,0) c Decisions_6 : 5
398.72/332.91	c (0,0) c Decisions_7 : 5
398.72/332.91	c (0,0) c Decisions_total : 40
398.72/332.91	c (0,0) c Decisions_winner : 6
398.72/332.91	c (0,0) c Propagations_0 : 5298
398.72/332.91	c (0,0) c Propagations_1 : 4340
398.72/332.91	c (0,0) c Propagations_2 : 4331
398.72/332.91	c (0,0) c Propagations_3 : 3927
398.72/332.91	c (0,0) c Propagations_4 : 5298
398.72/332.91	c (0,0) c Propagations_5 : 4331
398.72/332.91	c (0,0) c Propagations_6 : 4340
398.72/332.91	c (0,0) c Propagations_7 : 6313
398.72/332.91	c (0,0) c Propagations_total : 38178
398.72/332.91	c (0,0) c Propagations_winner : 5298
398.72/332.91	c (0,0) c ReduceDBs_0 : 0
398.72/332.91	c (0,0) c ReduceDBs_1 : 0
398.72/332.91	c (0,0) c ReduceDBs_2 : 0
398.72/332.91	c (0,0) c ReduceDBs_3 : 0
398.72/332.91	c (0,0) c ReduceDBs_4 : 0
398.72/332.91	c (0,0) c ReduceDBs_5 : 0
398.72/332.91	c (0,0) c ReduceDBs_6 : 0
398.72/332.91	c (0,0) c ReduceDBs_7 : 0
398.72/332.91	c (0,0) c ReduceDBs_total : 0
398.72/332.91	c (0,0) c ReduceDBs_winner : 0
398.72/332.91	c (0,0) c SimpDBs_0 : 1
398.72/332.91	c (0,0) c SimpDBs_1 : 1
398.72/332.91	c (0,0) c SimpDBs_2 : 1
398.72/332.91	c (0,0) c SimpDBs_3 : 1
398.72/332.91	c (0,0) c SimpDBs_4 : 1
398.72/332.91	c (0,0) c SimpDBs_5 : 1
398.72/332.91	c (0,0) c SimpDBs_6 : 1
398.72/332.91	c (0,0) c SimpDBs_7 : 1
398.72/332.91	c (0,0) c SimpDBs_total : 8
398.72/332.91	c (0,0) c SimpDBs_winner : 1
398.72/332.91	c (0,0) c Restarts_0 : 1
398.72/332.91	c (0,0) c Restarts_1 : 1
398.72/332.91	c (0,0) c Restarts_2 : 1
398.72/332.91	c (0,0) c Restarts_3 : 1
398.72/332.91	c (0,0) c Restarts_4 : 1
398.72/332.91	c (0,0) c Restarts_5 : 1
398.72/332.91	c (0,0) c Restarts_6 : 1
398.72/332.91	c (0,0) c Restarts_7 : 1
398.72/332.91	c (0,0) c Restarts_total : 8
398.72/332.91	c (0,0) c Restarts_winner : 1
398.72/332.91	c (0,0) c ForcedImports_0 : 0
398.72/332.91	c (0,0) c ForcedImports_1 : 0
398.72/332.91	c (0,0) c ForcedImports_2 : 0
398.72/332.91	c (0,0) c ForcedImports_3 : 0
398.72/332.91	c (0,0) c ForcedImports_4 : 0
398.72/332.91	c (0,0) c ForcedImports_5 : 0
398.72/332.91	c (0,0) c ForcedImports_6 : 0
398.72/332.91	c (0,0) c ForcedImports_7 : 0
398.72/332.91	c (0,0) c ForcedImports_total : 0
398.72/332.91	c (0,0) c ForcedImports_winner : 0
398.72/332.91	c (0,0) c PropsBinClauses_0 : 9789
398.72/332.91	c (0,0) c PropsBinClauses_1 : 10399
398.72/332.91	c (0,0) c PropsBinClauses_2 : 11472
398.72/332.91	c (0,0) c PropsBinClauses_3 : 7607
398.72/332.91	c (0,0) c PropsBinClauses_4 : 10626
398.72/332.91	c (0,0) c PropsBinClauses_5 : 11675
398.72/332.91	c (0,0) c PropsBinClauses_6 : 11408
398.72/332.91	c (0,0) c PropsBinClauses_7 : 9397
398.72/332.91	c (0,0) c PropsBinClauses_total : 82373
398.72/332.91	c (0,0) c PropsBinClauses_winner : 9789
398.72/332.91	c (0,0) c PropsPreBlocker_0 : 12381
398.72/332.91	c (0,0) c PropsPreBlocker_1 : 13679
398.72/332.91	c (0,0) c PropsPreBlocker_2 : 14463
398.72/332.91	c (0,0) c PropsPreBlocker_3 : 10557
398.72/332.91	c (0,0) c PropsPreBlocker_4 : 13428
398.72/332.91	c (0,0) c PropsPreBlocker_5 : 14846
398.72/332.91	c (0,0) c PropsPreBlocker_6 : 14520
398.72/332.91	c (0,0) c PropsPreBlocker_7 : 12226
398.72/332.91	c (0,0) c PropsPreBlocker_total : 106100
398.72/332.91	c (0,0) c PropsPreBlocker_winner : 12381
398.72/332.91	c (0,0) c PropsNotBlocker_0 : 5677
398.72/332.91	c (0,0) c PropsNotBlocker_1 : 6202
398.72/332.91	c (0,0) c PropsNotBlocker_2 : 5855
398.72/332.91	c (0,0) c PropsNotBlocker_3 : 5024
398.72/332.91	c (0,0) c PropsNotBlocker_4 : 6170
398.72/332.91	c (0,0) c PropsNotBlocker_5 : 6125
398.72/332.91	c (0,0) c PropsNotBlocker_6 : 6091
398.72/332.91	c (0,0) c PropsNotBlocker_7 : 5369
398.72/332.91	c (0,0) c PropsNotBlocker_total : 46513
398.72/332.91	c (0,0) c PropsNotBlocker_winner : 5677
398.72/332.91	c (0,0) c PropsLitFullScans_0 : 45784
398.72/332.91	c (0,0) c PropsLitFullScans_1 : 45233
398.72/332.91	c (0,0) c PropsLitFullScans_2 : 44264
398.72/332.91	c (0,0) c PropsLitFullScans_3 : 38583
398.72/332.91	c (0,0) c PropsLitFullScans_4 : 50240
398.72/332.91	c (0,0) c PropsLitFullScans_5 : 47263
398.72/332.91	c (0,0) c PropsLitFullScans_6 : 46796
398.72/332.91	c (0,0) c PropsLitFullScans_7 : 40686
398.72/332.91	c (0,0) c PropsLitFullScans_total : 358849
398.72/332.91	c (0,0) c PropsLitFullScans_winner : 45784
398.72/332.91	c (0,0) c LitScanFractions_0 : 0
398.72/332.91	c (0,0) c LitScanFractions_1 : 0
398.72/332.91	c (0,0) c LitScanFractions_2 : 0
398.72/332.91	c (0,0) c LitScanFractions_3 : 0
398.72/332.91	c (0,0) c LitScanFractions_4 : 0
398.72/332.91	c (0,0) c LitScanFractions_5 : 0
398.72/332.91	c (0,0) c LitScanFractions_6 : 0
398.72/332.91	c (0,0) c LitScanFractions_7 : 0
398.72/332.91	c (0,0) c LitScanFractions_total : 0
398.72/332.91	c (0,0) c LitScanFractions_winner : 0
398.72/332.91	c (0,0) c DecisionLevel0_0 : 2
398.72/332.91	c (0,0) c DecisionLevel0_1 : 2
398.72/332.91	c (0,0) c DecisionLevel0_2 : 2
398.72/332.91	c (0,0) c DecisionLevel0_3 : 2
398.72/332.91	c (0,0) c DecisionLevel0_4 : 2
398.72/332.91	c (0,0) c DecisionLevel0_5 : 2
398.72/332.91	c (0,0) c DecisionLevel0_6 : 2
398.72/332.91	c (0,0) c DecisionLevel0_7 : 2
398.72/332.91	c (0,0) c DecisionLevel0_total : 16
398.72/332.91	c (0,0) c DecisionLevel0_winner : 2
398.72/332.91	c (0,0) c Periods_0 : 0
398.72/332.91	c (0,0) c Periods_1 : 0
398.72/332.91	c (0,0) c Periods_2 : 0
398.72/332.91	c (0,0) c Periods_3 : 0
398.72/332.91	c (0,0) c Periods_4 : 0
398.72/332.91	c (0,0) c Periods_5 : 0
398.72/332.91	c (0,0) c Periods_6 : 0
398.72/332.91	c (0,0) c Periods_7 : 0
398.72/332.91	c (0,0) c Periods_total : 0
398.72/332.91	c (0,0) c Periods_winner : 0
398.72/332.91	c (0,0) c Margin_0 : 20
398.72/332.91	c (0,0) c Margin_1 : 20
398.72/332.91	c (0,0) c Margin_2 : 20
398.72/332.91	c (0,0) c Margin_3 : 20
398.72/332.91	c (0,0) c Margin_4 : 20
398.72/332.91	c (0,0) c Margin_5 : 20
398.72/332.91	c (0,0) c Margin_6 : 20
398.72/332.91	c (0,0) c Margin_7 : 20
398.72/332.91	c (0,0) c Margin_total : 160
398.72/332.91	c (0,0) c Margin_winner : 20
398.72/332.91	c (0,0) c Exported_0 : 2
398.72/332.91	c (0,0) c Exported_1 : 2
398.72/332.91	c (0,0) c Exported_2 : 2
398.72/332.91	c (0,0) c Exported_3 : 1
398.72/332.91	c (0,0) c Exported_4 : 1
398.72/332.91	c (0,0) c Exported_5 : 2
398.72/332.91	c (0,0) c Exported_6 : 2
398.72/332.91	c (0,0) c Exported_7 : 2
398.72/332.91	c (0,0) c Exported_total : 14
398.72/332.91	c (0,0) c Exported_winner : 2
398.72/332.91	c (0,0) c Imported_0 : 0
398.72/332.91	c (0,0) c Imported_1 : 0
398.72/332.91	c (0,0) c Imported_2 : 0
398.72/332.91	c (0,0) c Imported_3 : 0
398.72/332.91	c (0,0) c Imported_4 : 0
398.72/332.91	c (0,0) c Imported_5 : 0
398.72/332.91	c (0,0) c Imported_6 : 0
398.72/332.91	c (0,0) c Imported_7 : 0
398.72/332.91	c (0,0) c Imported_total : 0
398.72/332.91	c (0,0) c Imported_winner : 0
398.72/332.91	c (0,0) c Good_0 : 0
398.72/332.91	c (0,0) c Good_1 : 0
398.72/332.91	c (0,0) c Good_2 : 0
398.72/332.91	c (0,0) c Good_3 : 0
398.72/332.91	c (0,0) c Good_4 : 0
398.72/332.91	c (0,0) c Good_5 : 0
398.72/332.91	c (0,0) c Good_6 : 0
398.72/332.91	c (0,0) c Good_7 : 0
398.72/332.91	c (0,0) c Good_total : 0
398.72/332.91	c (0,0) c Good_winner : 0
398.72/332.91	c (0,0) c Purge_0 : 0
398.72/332.91	c (0,0) c Purge_1 : 0
398.72/332.91	c (0,0) c Purge_2 : 0
398.72/332.91	c (0,0) c Purge_3 : 0
398.72/332.91	c (0,0) c Purge_4 : 0
398.72/332.91	c (0,0) c Purge_5 : 0
398.72/332.91	c (0,0) c Purge_6 : 0
398.72/332.91	c (0,0) c Purge_7 : 0
398.72/332.91	c (0,0) c Purge_total : 0
398.72/332.91	c (0,0) c Purge_winner : 0
398.72/332.91	c (0,0) c Promoted_0 : 0
398.72/332.91	c (0,0) c Promoted_1 : 0
398.72/332.91	c (0,0) c Promoted_2 : 0
398.72/332.91	c (0,0) c Promoted_3 : 0
398.72/332.91	c (0,0) c Promoted_4 : 0
398.72/332.91	c (0,0) c Promoted_5 : 0
398.72/332.91	c (0,0) c Promoted_6 : 0
398.72/332.91	c (0,0) c Promoted_7 : 0
398.72/332.91	c (0,0) c Promoted_total : 0
398.72/332.91	c (0,0) c Promoted_winner : 0
398.72/332.91	c (0,0) c Remove_Imp_0 : 0
398.72/332.91	c (0,0) c Remove_Imp_1 : 0
398.72/332.91	c (0,0) c Remove_Imp_2 : 0
398.72/332.91	c (0,0) c Remove_Imp_3 : 0
398.72/332.91	c (0,0) c Remove_Imp_4 : 0
398.72/332.91	c (0,0) c Remove_Imp_5 : 0
398.72/332.91	c (0,0) c Remove_Imp_6 : 0
398.72/332.91	c (0,0) c Remove_Imp_7 : 0
398.72/332.91	c (0,0) c Remove_Imp_total : 0
398.72/332.91	c (0,0) c Remove_Imp_winner : 0
398.72/332.91	c (0,0) c Blocked_Reuse_0 : 0
398.72/332.91	c (0,0) c Blocked_Reuse_1 : 0
398.72/332.91	c (0,0) c Blocked_Reuse_2 : 0
398.72/332.91	c (0,0) c Blocked_Reuse_3 : 0
398.72/332.91	c (0,0) c Blocked_Reuse_4 : 0
398.72/332.91	c (0,0) c Blocked_Reuse_5 : 0
398.72/332.91	c (0,0) c Blocked_Reuse_6 : 0
398.72/332.91	c (0,0) c Blocked_Reuse_7 : 0
398.72/332.91	c (0,0) c Blocked_Reuse_total : 0
398.72/332.91	c (0,0) c Blocked_Reuse_winner : 0
398.72/332.91	c (0,0) c Unaries_0 : 1
398.72/332.91	c (0,0) c Unaries_1 : 1
398.72/332.91	c (0,0) c Unaries_2 : 1
398.72/332.91	c (0,0) c Unaries_3 : 1
398.72/332.91	c (0,0) c Unaries_4 : 1
398.72/332.91	c (0,0) c Unaries_5 : 1
398.72/332.91	c (0,0) c Unaries_6 : 1
398.72/332.91	c (0,0) c Unaries_7 : 1
398.72/332.91	c (0,0) c Unaries_total : 8
398.72/332.91	c (0,0) c Unaries_winner : 1
398.72/332.91	c (0,0) c Binaries_0 : 0
398.72/332.91	c (0,0) c Binaries_1 : 1
398.72/332.91	c (0,0) c Binaries_2 : 1
398.72/332.91	c (0,0) c Binaries_3 : 1
398.72/332.91	c (0,0) c Binaries_4 : 1
398.72/332.91	c (0,0) c Binaries_5 : 0
398.72/332.91	c (0,0) c Binaries_6 : 0
398.72/332.91	c (0,0) c Binaries_7 : 1
398.72/332.91	c (0,0) c Binaries_total : 5
398.72/332.91	c (0,0) c Binaries_winner : 0
398.72/332.91	c (0,0) c Glues_0 : 2
398.72/332.91	c (0,0) c Glues_1 : 2
398.72/332.91	c (0,0) c Glues_2 : 2
398.72/332.91	c (0,0) c Glues_3 : 1
398.72/332.91	c (0,0) c Glues_4 : 1
398.72/332.91	c (0,0) c Glues_5 : 2
398.72/332.91	c (0,0) c Glues_6 : 2
398.72/332.91	c (0,0) c Glues_7 : 2
398.72/332.91	c (0,0) c Glues_total : 14
398.72/332.91	c (0,0) c Glues_winner : 2
398.72/332.91	c (0,0) c RunningTime_0 : 0.006405
398.72/332.91	c (0,0) c RunningTime_1 : 0.008173
398.72/332.91	c (0,0) c RunningTime_2 : 0.003393
398.72/332.91	c (0,0) c RunningTime_3 : 0.005346
398.72/332.91	c (0,0) c RunningTime_4 : 0.004009
398.72/332.91	c (0,0) c RunningTime_5 : 0.005519
398.72/332.91	c (0,0) c RunningTime_6 : 0.005800
398.72/332.91	c (0,0) c RunningTime_7 : 0.004384
398.72/332.91	c (0,0) c RunningTime_total : 0.043029
398.72/332.91	c (0,0) c RunningTime_winner : 0.006405
398.72/332.91	c (0,0) c WaitingTime_0 : 0.000000
398.72/332.91	c (0,0) c WaitingTime_1 : 0.000000
398.72/332.91	c (0,0) c WaitingTime_2 : 0.000000
398.72/332.91	c (0,0) c WaitingTime_3 : 0.000000
398.72/332.91	c (0,0) c WaitingTime_4 : 0.000000
398.72/332.91	c (0,0) c WaitingTime_5 : 0.000000
398.72/332.91	c (0,0) c WaitingTime_6 : 0.000000
398.72/332.91	c (0,0) c WaitingTime_7 : 0.000000
398.72/332.91	c (0,0) c WaitingTime_total : 0.000000
398.72/332.91	c (0,0) c WaitingTime_winner : 0.000000
398.72/332.91	c (0,0) c ExchangingTime_0 : 0.000005
398.72/332.91	c (0,0) c ExchangingTime_1 : 0.000007
398.72/332.91	c (0,0) c ExchangingTime_2 : 0.000009
398.72/332.91	c (0,0) c ExchangingTime_3 : 0.000006
398.72/332.91	c (0,0) c ExchangingTime_4 : 0.000005
398.72/332.91	c (0,0) c ExchangingTime_5 : 0.000003
398.72/332.91	c (0,0) c ExchangingTime_6 : 0.000005
398.72/332.91	c (0,0) c ExchangingTime_7 : 0.000002
398.72/332.91	c (0,0) c ExchangingTime_total : 0.000042
398.72/332.91	c (0,0) c ExchangingTime_winner : 0.000005
398.72/332.91	c (0,0) c PeriodProcTime_0 : 0.000000
398.72/332.91	c (0,0) c PeriodProcTime_1 : 0.000000
398.72/332.91	c (0,0) c PeriodProcTime_2 : 0.000000
398.72/332.91	c (0,0) c PeriodProcTime_3 : 0.000000
398.72/332.91	c (0,0) c PeriodProcTime_4 : 0.000000
398.72/332.91	c (0,0) c PeriodProcTime_5 : 0.000000
398.72/332.91	c (0,0) c PeriodProcTime_6 : 0.000000
398.72/332.91	c (0,0) c PeriodProcTime_7 : 0.000000
398.72/332.91	c (0,0) c PeriodProcTime_total : 0.000000
398.72/332.91	c (0,0) c PeriodProcTime_winner : 0.000000
398.72/332.92	c (0,0) c SolvingTime_0 : 0.006410
398.72/332.92	c (0,0) c SolvingTime_1 : 0.008180
398.72/332.92	c (0,0) c SolvingTime_2 : 0.003402
398.72/332.92	c (0,0) c SolvingTime_3 : 0.005352
398.72/332.92	c (0,0) c SolvingTime_4 : 0.004014
398.72/332.92	c (0,0) c SolvingTime_5 : 0.005522
398.72/332.92	c (0,0) c SolvingTime_6 : 0.005805
398.72/332.92	c (0,0) c SolvingTime_7 : 0.004386
398.72/332.92	c (0,0) c SolvingTime_total : 0.043071
398.72/332.92	c (0,0) c SolvingTime_winner : 0.006410
398.72/332.92	c (0,0) c PropagationTime_0 : 0.004764
398.72/332.92	c (0,0) c PropagationTime_1 : 0.007042
398.72/332.92	c (0,0) c PropagationTime_2 : 0.002346
398.72/332.92	c (0,0) c PropagationTime_3 : 0.004045
398.72/332.92	c (0,0) c PropagationTime_4 : 0.003033
398.72/332.92	c (0,0) c PropagationTime_5 : 0.004561
398.72/332.92	c (0,0) c PropagationTime_6 : 0.004305
398.72/332.92	c (0,0) c PropagationTime_7 : 0.003023
398.72/332.92	c (0,0) c PropagationTime_total : 0.033119
398.72/332.92	c (0,0) c PropagationTime_winner : 0.004764
398.72/332.92	c (0,0) c AnalysisTime_0 : 0.001401
398.72/332.92	c (0,0) c AnalysisTime_1 : 0.001011
398.72/332.92	c (0,0) c AnalysisTime_2 : 0.000669
398.72/332.92	c (0,0) c AnalysisTime_3 : 0.001159
398.72/332.92	c (0,0) c AnalysisTime_4 : 0.000808
398.72/332.92	c (0,0) c AnalysisTime_5 : 0.000707
398.72/332.92	c (0,0) c AnalysisTime_6 : 0.001330
398.72/332.92	c (0,0) c AnalysisTime_7 : 0.001213
398.72/332.92	c (0,0) c AnalysisTime_total : 0.008298
398.72/332.92	c (0,0) c AnalysisTime_winner : 0.001401
398.72/332.92	c (0,0) c ReductionTime_0 : 0.000000
398.72/332.92	c (0,0) c ReductionTime_1 : 0.000000
398.72/332.92	c (0,0) c ReductionTime_2 : 0.000000
398.72/332.92	c (0,0) c ReductionTime_3 : 0.000000
398.72/332.92	c (0,0) c ReductionTime_4 : 0.000000
398.72/332.92	c (0,0) c ReductionTime_5 : 0.000000
398.72/332.92	c (0,0) c ReductionTime_6 : 0.000000
398.72/332.92	c (0,0) c ReductionTime_7 : 0.000000
398.72/332.92	c (0,0) c ReductionTime_total : 0.000000
398.72/332.92	c (0,0) c ReductionTime_winner : 0.000000
398.72/332.92	c (0,0) c SimplifyTime_0 : 0.000000
398.72/332.92	c (0,0) c SimplifyTime_1 : 0.000000
398.72/332.92	c (0,0) c SimplifyTime_2 : 0.000000
398.72/332.92	c (0,0) c SimplifyTime_3 : 0.000001
398.72/332.92	c (0,0) c SimplifyTime_4 : 0.000001
398.72/332.92	c (0,0) c SimplifyTime_5 : 0.000000
398.72/332.92	c (0,0) c SimplifyTime_6 : 0.000001
398.72/332.92	c (0,0) c SimplifyTime_7 : 0.000000
398.72/332.92	c (0,0) c SimplifyTime_total : 0.000003
398.72/332.92	c (0,0) c SimplifyTime_winner : 0.000000
398.72/332.92	c (0,0) c UsedRateTime_0 : 0.000000
398.72/332.92	c (0,0) c UsedRateTime_1 : 0.000000
398.72/332.92	c (0,0) c UsedRateTime_2 : 0.000000
398.72/332.92	c (0,0) c UsedRateTime_3 : 0.000000
398.72/332.92	c (0,0) c UsedRateTime_4 : 0.000000
398.72/332.92	c (0,0) c UsedRateTime_5 : 0.000000
398.72/332.92	c (0,0) c UsedRateTime_6 : 0.000000
398.72/332.92	c (0,0) c UsedRateTime_7 : 0.000000
398.72/332.92	c (0,0) c UsedRateTime_total : 0.000000
398.72/332.92	c (0,0) c UsedRateTime_winner : 0.000000
398.72/332.92	c (0,0) c OverlapRateTime_0 : 0.000000
398.72/332.92	c (0,0) c OverlapRateTime_1 : 0.000000
398.72/332.92	c (0,0) c OverlapRateTime_2 : 0.000000
398.72/332.92	c (0,0) c OverlapRateTime_3 : 0.000000
398.72/332.92	c (0,0) c OverlapRateTime_4 : 0.000000
398.72/332.92	c (0,0) c OverlapRateTime_5 : 0.000000
398.72/332.92	c (0,0) c OverlapRateTime_6 : 0.000000
398.72/332.92	c (0,0) c OverlapRateTime_7 : 0.000000
398.72/332.92	c (0,0) c OverlapRateTime_total : 0.000000
398.72/332.92	c (0,0) c OverlapRateTime_winner : 0.000000
398.72/332.92	c (0,0) c
398.72/332.92	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
398.72/332.92	c (0,0) c
398.72/332.92	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
398.72/332.92	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
398.72/332.92	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
398.72/332.92	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
398.72/332.92	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
398.72/332.92	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
398.72/332.92	c (0,0) c | Initial random_seed   |  196714717 | 2060069148 |  214357779 | 1870932225 |  649151740 | 2077977951 |   70139227 |  769147116 |
398.72/332.92	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
398.72/332.92	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
398.72/332.92	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
398.72/332.92	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
398.72/332.92	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
398.72/332.92	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
398.72/332.92	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
398.72/332.92	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
398.72/332.92	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
398.72/332.92	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
398.72/332.92	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
398.72/332.92	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
398.72/332.92	c (0,0) 
398.72/332.92	c (0,0) s UNSATISFIABLE
398.72/332.92	c (0,0) SatSolver.solve End
398.72/332.92	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
398.72/332.92	c (0,0) Show results Begin
398.72/332.92	s UNSATISFIABLE
398.72/332.92	c (0,0) Show results End
398.72/332.92	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
398.72/332.93	c (0,0) 0,0,STOP-AFTER(ALL)
398.72/332.93	c END-Prog: Tue Sep 24 17:01:22 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 (12382 MiB free)
  memory of node 1: 16384 MiB (12780 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100109 s]*
/proc/loadavg: 7.96 7.70 5.16 3/211 31059
/proc/meminfo: memFree=25672180/32770624 swapFree=66966880/67108860
[pid=31037] ppid=31034 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31037/stat : 31037 (scop.sh) S 31034 31037 30433 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509635597 115843072 349 33554432000 4194304 5098028 140723687481664 140723687478920 140319009776252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8396800 140723687486205 140723687486552 140723687486552 140723687489481 0
/proc/31037/statm: 28282 349 296 221 0 87 0
[pid=31040] ppid=31037 vsize=27314120 memory=107184 CPUtime=0.11 cores=0-7
/proc/31040/stat : 31040 (java) S 31037 31037 30433 0 -1 1077944320 6398 0 0 0 8 3 0 0 20 0 20 0 509635598 27969658880 26796 33554432000 4194304 4196468 140734857340464 140734857323008 139620977057527 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
/proc/31040/statm: 6828530 26796 2758 1 0 6790935 0
[pid=31040/tid=31041] ppid=31037 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/31040/task/31041/stat : 31041 (java) R 31037 31037 30433 0 -1 4202560 4506 0 0 0 7 2 0 0 20 0 20 0 509635598 27969658880 26796 33554432000 4194304 4196468 140734857340464 139620948891968 139620977079453 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31042] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31042/stat : 31042 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 26796 33554432000 4194304 4196468 140734857340464 139620981300368 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31043] ppid=31037 vsize=27314120 memory=140650996115072 CPUtime=0 cores=0-7
/proc/31040/task/31043/stat : 31043 (java) S 31037 31037 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 26796 33554432000 4194304 4196468 140734857340464 139620799388688 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31044] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31044/stat : 31044 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 26796 33554432000 4194304 4196468 140734857340464 139620798335888 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31045] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31045/stat : 31045 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 26861 33554432000 4194304 4196468 140734857340464 139620397251344 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31046] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31046/stat : 31046 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 26861 33554432000 4194304 4196468 140734857340464 139620396198544 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31047] ppid=31037 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31040/task/31047/stat : 31047 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 26861 33554432000 4194304 4196468 140734857340464 139620395145744 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31048] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31048/stat : 31048 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 26861 33554432000 4194304 4196468 140734857340464 139620394092944 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31049] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31049/stat : 31049 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 26861 33554432000 4194304 4196468 140734857340464 139620393040144 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31050] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31050/stat : 31050 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635602 27969658880 26861 33554432000 4194304 4196468 140734857340464 139620035496816 139620977068674 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31051] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31051/stat : 31051 (java) S 31037 31037 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509635602 27969658880 26861 33554432000 4194304 4196468 140734857340464 139618917803552 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31052] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31052/stat : 31052 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635603 27969658880 26861 33554432000 4194304 4196468 140734857340464 139618649367920 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31053] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31053/stat : 31053 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635605 27969658880 26861 33554432000 4194304 4196468 140734857340464 139618274859344 139620977076123 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31054] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31054/stat : 31054 (java) S 31037 31037 30433 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 509635605 27969658880 26861 33554432000 4194304 4196468 140734857340464 139620034443632 139620977068674 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31055] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31055/stat : 31055 (java) R 31037 31037 30433 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 509635605 27969658880 26861 33554432000 4194304 4196468 140734857340464 139620033390832 139620977068674 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31056] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31056/stat : 31056 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635605 27969658880 26861 33554432000 4194304 4196468 140734857340464 139620032338032 139620977068674 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31057] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31057/stat : 31057 (java) R 31037 31037 30433 0 -1 4202560 248 0 0 0 0 0 0 0 20 0 20 0 509635605 27969658880 26861 33554432000 4194304 4196468 140734857340464 139620031285232 139620977078874 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31058] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31058/stat : 31058 (java) S 31037 31037 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509635605 27969658880 26861 33554432000 4194304 4196468 140734857340464 139617776954464 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31059] ppid=31037 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31040/task/31059/stat : 31059 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635606 27969658880 26861 33554432000 4194304 4196468 140734857340464 139620030233648 139620977068674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108580 KiB

[startup+0.210213 s]*
/proc/loadavg: 7.96 7.70 5.16 3/211 31059
/proc/meminfo: memFree=25648408/32770624 swapFree=66966880/67108860
[pid=31037] ppid=31034 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31037/stat : 31037 (scop.sh) S 31034 31037 30433 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509635597 115843072 349 33554432000 4194304 5098028 140723687481664 140723687478920 140319009776252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8396800 140723687486205 140723687486552 140723687486552 140723687489481 0
/proc/31037/statm: 28282 349 296 221 0 87 0
[pid=31040] ppid=31037 vsize=27314120 memory=126508 CPUtime=0.24 cores=0-7
/proc/31040/stat : 31040 (java) S 31037 31037 30433 0 -1 1077944320 12037 0 0 0 20 4 0 0 20 0 20 0 509635598 27969658880 31627 33554432000 4194304 4196468 140734857340464 140734857323008 139620977057527 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
/proc/31040/statm: 6828530 31627 2910 1 0 6790935 0
[pid=31040/tid=31041] ppid=31037 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/31040/task/31041/stat : 31041 (java) R 31037 31037 30433 0 -1 4202560 9747 0 0 0 16 3 0 0 20 0 20 0 509635598 27969658880 31627 33554432000 4194304 4196468 140734857340464 139620948856912 139620957332826 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31042] ppid=31037 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/31040/task/31042/stat : 31042 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 31627 33554432000 4194304 4196468 140734857340464 139620981300368 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31043] ppid=31037 vsize=27314120 memory=140650996141936 CPUtime=0 cores=0-7
/proc/31040/task/31043/stat : 31043 (java) S 31037 31037 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 31627 33554432000 4194304 4196468 140734857340464 139620799388688 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31044] ppid=31037 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31040/task/31044/stat : 31044 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 31627 33554432000 4194304 4196468 140734857340464 139620798335888 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31045] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31045/stat : 31045 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 31627 33554432000 4194304 4196468 140734857340464 139620397251344 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31046] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31046/stat : 31046 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 31627 33554432000 4194304 4196468 140734857340464 139620396198544 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31047] ppid=31037 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31040/task/31047/stat : 31047 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 31627 33554432000 4194304 4196468 140734857340464 139620395145744 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31048] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31048/stat : 31048 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 31627 33554432000 4194304 4196468 140734857340464 139620394092944 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31049] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31049/stat : 31049 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 31627 33554432000 4194304 4196468 140734857340464 139620393040144 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31050] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31050/stat : 31050 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635602 27969658880 31627 33554432000 4194304 4196468 140734857340464 139620035496816 139620977068674 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31051] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31051/stat : 31051 (java) S 31037 31037 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509635602 27969658880 31627 33554432000 4194304 4196468 140734857340464 139618917803552 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31052] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31052/stat : 31052 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635603 27969658880 31627 33554432000 4194304 4196468 140734857340464 139618649367920 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31053] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31053/stat : 31053 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635605 27969658880 31627 33554432000 4194304 4196468 140734857340464 139618274859344 139620977076123 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31054] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31054/stat : 31054 (java) S 31037 31037 30433 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 509635605 27969658880 31627 33554432000 4194304 4196468 140734857340464 139620034443632 139620977068674 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31055] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31055/stat : 31055 (java) S 31037 31037 30433 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 20 0 509635605 27969658880 31627 33554432000 4194304 4196468 140734857340464 139620033390832 139620977068674 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31056] ppid=31037 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31040/task/31056/stat : 31056 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635605 27969658880 31627 33554432000 4194304 4196468 140734857340464 139620032338032 139620977068674 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31057] ppid=31037 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/31040/task/31057/stat : 31057 (java) S 31037 31037 30433 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 20 0 509635605 27969658880 31627 33554432000 4194304 4196468 140734857340464 139620031285232 139620977068674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31058] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31058/stat : 31058 (java) S 31037 31037 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509635605 27969658880 31627 33554432000 4194304 4196468 140734857340464 139617776954464 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31059] ppid=31037 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31040/task/31059/stat : 31059 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635606 27969658880 31627 33554432000 4194304 4196468 140734857340464 139620030233648 139620977068674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127904 KiB

[startup+0.310195 s]*
/proc/loadavg: 7.96 7.70 5.16 2/211 31059
/proc/meminfo: memFree=25645740/32770624 swapFree=66966880/67108860
[pid=31037] ppid=31034 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31037/stat : 31037 (scop.sh) S 31034 31037 30433 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509635597 115843072 349 33554432000 4194304 5098028 140723687481664 140723687478920 140319009776252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8396800 140723687486205 140723687486552 140723687486552 140723687489481 0
/proc/31037/statm: 28282 349 296 221 0 87 0
[pid=31040] ppid=31037 vsize=27314120 memory=130116 CPUtime=0.43 cores=0-7
/proc/31040/stat : 31040 (java) S 31037 31037 30433 0 -1 1077944320 12380 0 0 0 38 5 0 0 20 0 20 0 509635598 27969658880 32529 33554432000 4194304 4196468 140734857340464 140734857323008 139620977057527 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
/proc/31040/statm: 6828530 32529 3022 1 0 6790935 0
[pid=31040/tid=31041] ppid=31037 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31040/task/31041/stat : 31041 (java) R 31037 31037 30433 0 -1 4202560 9934 0 0 0 26 3 0 0 20 0 20 0 509635598 27969658880 32529 33554432000 4194304 4196468 140734857340464 139620948887600 139620960244336 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31042] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31042/stat : 31042 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 32529 33554432000 4194304 4196468 140734857340464 139620981300368 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31043] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31043/stat : 31043 (java) S 31037 31037 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 32529 33554432000 4194304 4196468 140734857340464 139620799388688 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31044] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31044/stat : 31044 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 32529 33554432000 4194304 4196468 140734857340464 139620798335888 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31045] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31045/stat : 31045 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 32529 33554432000 4194304 4196468 140734857340464 139620397251344 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31046] ppid=31037 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/31040/task/31046/stat : 31046 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 32529 33554432000 4194304 4196468 140734857340464 139620396198544 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31047] ppid=31037 vsize=27314120 memory=140650850907055 CPUtime=0 cores=0-7
/proc/31040/task/31047/stat : 31047 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 32529 33554432000 4194304 4196468 140734857340464 139620395145744 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31048] ppid=31037 vsize=27314120 memory=140650850909360 CPUtime=0 cores=0-7
/proc/31040/task/31048/stat : 31048 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 32529 33554432000 4194304 4196468 140734857340464 139620394092944 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31049] ppid=31037 vsize=27314120 memory=3472464549032080864 CPUtime=0 cores=0-7
/proc/31040/task/31049/stat : 31049 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635600 27969658880 32529 33554432000 4194304 4196468 140734857340464 139620393040144 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31050] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31050/stat : 31050 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635602 27969658880 32529 33554432000 4194304 4196468 140734857340464 139620035496816 139620977068674 0 0 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31051] ppid=31037 vsize=27314120 memory=281301701830288 CPUtime=0 cores=0-7
/proc/31040/task/31051/stat : 31051 (java) S 31037 31037 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509635602 27969658880 32529 33554432000 4194304 4196468 140734857340464 139618917803552 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31052] ppid=31037 vsize=27314120 memory=281301701837200 CPUtime=0 cores=0-7
/proc/31040/task/31052/stat : 31052 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635603 27969658880 32529 33554432000 4194304 4196468 140734857340464 139618649367920 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31053] ppid=31037 vsize=27314120 memory=281301701778448 CPUtime=0 cores=0-7
/proc/31040/task/31053/stat : 31053 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635605 27969658880 32529 33554432000 4194304 4196468 140734857340464 139618274859344 139620977076123 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31054] ppid=31037 vsize=27314120 memory=281301701851024 CPUtime=0 cores=0-7
/proc/31040/task/31054/stat : 31054 (java) S 31037 31037 30433 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 509635605 27969658880 32529 33554432000 4194304 4196468 140734857340464 139620034443632 139620977068674 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31055] ppid=31037 vsize=27314120 memory=281301701857936 CPUtime=0.03 cores=0-7
/proc/31040/task/31055/stat : 31055 (java) R 31037 31037 30433 0 -1 4202560 559 0 0 0 3 0 0 0 20 0 20 0 509635605 27969658880 32529 33554432000 4194304 4196468 140734857340464 139620033390832 139620954692176 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31056] ppid=31037 vsize=27314120 memory=281301701855632 CPUtime=0 cores=0-7
/proc/31040/task/31056/stat : 31056 (java) S 31037 31037 30433 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 509635605 27969658880 32529 33554432000 4194304 4196468 140734857340464 139620032338032 139620977068674 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31057] ppid=31037 vsize=27314120 memory=281301701871792 CPUtime=0.07 cores=0-7
/proc/31040/task/31057/stat : 31057 (java) S 31037 31037 30433 0 -1 1077944384 482 0 0 0 7 0 0 0 20 0 20 0 509635605 27969658880 32529 33554432000 4194304 4196468 140734857340464 139620031285232 139620977068674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31058] ppid=31037 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31058/stat : 31058 (java) S 31037 31037 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509635605 27969658880 32529 33554432000 4194304 4196468 140734857340464 139617776954464 139620977067733 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31059] ppid=31037 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/31040/task/31059/stat : 31059 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635606 27969658880 32529 33554432000 4194304 4196468 140734857340464 139620030233648 139620977068674 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131512 KiB

[startup+0.701236 s]
/proc/loadavg: 7.96 7.70 5.16 3/211 31059
/proc/meminfo: memFree=25624284/32770624 swapFree=66966880/67108860
[pid=31037] ppid=31034 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/31037/stat : 31037 (scop.sh) S 31034 31037 30433 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509635597 115843072 349 33554432000 4194304 5098028 140723687481664 140723687478920 140319009776252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8396800 140723687486205 140723687486552 140723687486552 140723687489481 0
/proc/31037/statm: 28282 349 296 221 0 87 0
[pid=31040] ppid=31037 vsize=27320392 memory=167300 CPUtime=1.01 cores=0-7
/proc/31040/stat : 31040 (java) S 31037 31037 30433 0 -1 1077944320 19960 0 0 0 93 8 0 0 20 0 20 0 509635598 27976081408 41825 33554432000 4194304 4196468 140734857340464 140734857323008 139620977057527 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
/proc/31040/statm: 6830098 41825 3182 1 0 6791447 0
[pid=31040/tid=31041] ppid=31037 vsize=27320392 memory=281301702229680 CPUtime=0.67 cores=0-7
/proc/31040/task/31041/stat : 31041 (java) R 31037 31037 30433 0 -1 4202560 16849 0 0 0 61 6 0 0 20 0 20 0 509635598 27976081408 41825 33554432000 4194304 4196468 140734857340464 139620948893168 139620977069462 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31042] ppid=31037 vsize=27320392 memory=140650851115888 CPUtime=0 cores=0-7
/proc/31040/task/31042/stat : 31042 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509635600 27976081408 41825 33554432000 4194304 4196468 140734857340464 139620981300368 139620977067733 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31043] ppid=31037 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/31040/task/31043/stat : 31043 (java) S 31037 31037 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509635600 27976081408 41825 33554432000 4194304 4196468 140734857340464 139620799388688 139620977067733 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0
[pid=31040/tid=31044] ppid=31037 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/31040/task/31044/stat : 31044 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509635600 27976081408 41825 33554432000 4194304 4196468 140734857340464 139620798335888 139620977067733 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24371200 140734857347783 140734857348230 140734857348230 140734857351119 0

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

/proc/31114/task/31132/stat : 31132 (java) S 31037 31037 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509668763 7938322432 17526 33554432000 4194304 4196468 140735751302000 140075660733280 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31133] ppid=31037 vsize=7752268 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/31114/task/31133/stat : 31133 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509668763 7938322432 17526 33554432000 4194304 4196468 140735751302000 140077682240304 140078258440834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
Current children cumulated CPU time: 397.93 s
Current children cumulated vsize: 7865396 KiB
Current children cumulated memory: 71580 KiB

[startup+332.401 s]
/proc/loadavg: 1.03 3.22 3.92 2/214 31133
/proc/meminfo: memFree=25705140/32770624 swapFree=66966880/67108860
[pid=31037] ppid=31034 vsize=113128 memory=1476 CPUtime=397.38 cores=0-7
/proc/31037/stat : 31037 (scop.sh) S 31034 31037 30433 0 -1 4202496 582 136571 0 0 0 0 38550 1188 20 0 1 0 509635597 115843072 369 33554432000 4194304 5098028 140723687481664 140723687478408 140319009776252 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8396800 140723687486205 140723687486552 140723687486552 140723687489481 0
/proc/31037/statm: 28282 369 311 221 0 87 0
[pid=31114] ppid=31037 vsize=8414124 memory=119932 CPUtime=1.33 cores=0-7
/proc/31114/stat : 31114 (java) S 31037 31037 30433 0 -1 1077944320 20967 0 0 0 125 8 0 0 20 0 24 0 509668756 8616062976 29983 33554432000 4194304 4196468 140735751302000 140735751284544 140078258429687 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
/proc/31114/statm: 2103531 29983 3218 1 0 2064875 0
[pid=31114/tid=31115] ppid=31037 vsize=8414124 memory=988 CPUtime=0.78 cores=0-7
/proc/31114/task/31115/stat : 31115 (java) R 31037 31037 30433 0 -1 4202560 17370 0 0 0 72 6 0 0 20 0 24 0 509668756 8616062976 29983 33554432000 4194304 4196468 140735751302000 140078230265624 140078236432547 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31116] ppid=31037 vsize=8414124 memory=2020 CPUtime=0 cores=0-7
/proc/31114/task/31116/stat : 31116 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140078262672272 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31117] ppid=31037 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/31114/task/31117/stat : 31117 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077743897360 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31118] ppid=31037 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/31114/task/31118/stat : 31118 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077742845072 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31119] ppid=31037 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/31114/task/31119/stat : 31119 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077741792272 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31120] ppid=31037 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/31114/task/31120/stat : 31120 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077740738960 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31121] ppid=31037 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/31114/task/31121/stat : 31121 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077739686160 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31122] ppid=31037 vsize=8414124 memory=1708 CPUtime=0 cores=0-7
/proc/31114/task/31122/stat : 31122 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077738633872 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31123] ppid=31037 vsize=8414124 memory=1196 CPUtime=0 cores=0-7
/proc/31114/task/31123/stat : 31123 (java) S 31037 31037 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077737581072 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31124] ppid=31037 vsize=8414124 memory=1044 CPUtime=0 cores=0-7
/proc/31114/task/31124/stat : 31124 (java) S 31037 31037 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509668759 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077687503472 140078258440834 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31125] ppid=31037 vsize=8414124 memory=712 CPUtime=0 cores=0-7
/proc/31114/task/31125/stat : 31125 (java) S 31037 31037 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509668760 8616062976 29983 33554432000 4194304 4196468 140735751302000 140076667364640 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31126] ppid=31037 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/31114/task/31126/stat : 31126 (java) S 31037 31037 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509668760 8616062976 29983 33554432000 4194304 4196468 140735751302000 140076533143152 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31127] ppid=31037 vsize=8414124 memory=8136 CPUtime=0 cores=0-7
/proc/31114/task/31127/stat : 31127 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140076158638672 140078258448283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31128] ppid=31037 vsize=8414124 memory=10492 CPUtime=0.11 cores=0-7
/proc/31114/task/31128/stat : 31128 (java) S 31037 31037 30433 0 -1 1077944384 1003 0 0 0 11 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077686450288 140078258440834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31129] ppid=31037 vsize=8414124 memory=14012 CPUtime=0.07 cores=0-7
/proc/31114/task/31129/stat : 31129 (java) S 31037 31037 30433 0 -1 1077944384 301 0 0 0 7 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077685397488 140078258440834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31130] ppid=31037 vsize=8414124 memory=14080 CPUtime=0.1 cores=0-7
/proc/31114/task/31130/stat : 31130 (java) S 31037 31037 30433 0 -1 1077944384 273 0 0 0 10 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077684345200 140078258440834 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31131] ppid=31037 vsize=8414124 memory=35588 CPUtime=0.22 cores=0-7
/proc/31114/task/31131/stat : 31131 (java) R 31037 31037 30433 0 -1 4202560 609 0 0 0 22 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077683292400 140078242510174 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31132] ppid=31037 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/31114/task/31132/stat : 31132 (java) S 31037 31037 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140075660733280 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31133] ppid=31037 vsize=8414124 memory=508 CPUtime=0 cores=0-7
/proc/31114/task/31133/stat : 31133 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077682240304 140078258440834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
Current children cumulated CPU time: 398.71 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 121408 KiB

[startup+332.801 s]
/proc/loadavg: 1.03 3.22 3.92 2/214 31133
/proc/meminfo: memFree=25705140/32770624 swapFree=66966880/67108860
[pid=31037] ppid=31034 vsize=113128 memory=1476 CPUtime=397.38 cores=0-7
/proc/31037/stat : 31037 (scop.sh) S 31034 31037 30433 0 -1 4202496 582 136571 0 0 0 0 38550 1188 20 0 1 0 509635597 115843072 369 33554432000 4194304 5098028 140723687481664 140723687478408 140319009776252 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8396800 140723687486205 140723687486552 140723687486552 140723687489481 0
/proc/31037/statm: 28282 369 311 221 0 87 0
[pid=31114] ppid=31037 vsize=8414124 memory=119932 CPUtime=1.33 cores=0-7
/proc/31114/stat : 31114 (java) S 31037 31037 30433 0 -1 1077944320 20979 0 0 0 125 8 0 0 20 0 24 0 509668756 8616062976 29983 33554432000 4194304 4196468 140735751302000 140735751284544 140078258429687 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
/proc/31114/statm: 2103531 29983 3218 1 0 2064875 0
[pid=31114/tid=31115] ppid=31037 vsize=8414124 memory=35588 CPUtime=0.78 cores=0-7
/proc/31114/task/31115/stat : 31115 (java) S 31037 31037 30433 0 -1 1077944384 17380 0 0 0 72 6 0 0 20 0 24 0 509668756 8616062976 29983 33554432000 4194304 4196468 140735751302000 140078230269856 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31116] ppid=31037 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/31114/task/31116/stat : 31116 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140078262672272 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31117] ppid=31037 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/31114/task/31117/stat : 31117 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077743897360 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31118] ppid=31037 vsize=8414124 memory=9855736 CPUtime=0 cores=0-7
/proc/31114/task/31118/stat : 31118 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077742845072 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31119] ppid=31037 vsize=8414124 memory=9855736 CPUtime=0 cores=0-7
/proc/31114/task/31119/stat : 31119 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077741792272 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31120] ppid=31037 vsize=8414124 memory=4486604260213485459 CPUtime=0 cores=0-7
/proc/31114/task/31120/stat : 31120 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077740738960 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31121] ppid=31037 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/31114/task/31121/stat : 31121 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077739686160 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31122] ppid=31037 vsize=8414124 memory=508 CPUtime=0 cores=0-7
/proc/31114/task/31122/stat : 31122 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077738633872 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31123] ppid=31037 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/31114/task/31123/stat : 31123 (java) S 31037 31037 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077737581072 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31124] ppid=31037 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/31114/task/31124/stat : 31124 (java) S 31037 31037 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509668759 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077687503472 140078258440834 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31125] ppid=31037 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/31114/task/31125/stat : 31125 (java) S 31037 31037 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509668760 8616062976 29983 33554432000 4194304 4196468 140735751302000 140076667364640 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31126] ppid=31037 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/31114/task/31126/stat : 31126 (java) S 31037 31037 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509668760 8616062976 29983 33554432000 4194304 4196468 140735751302000 140076533143152 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31127] ppid=31037 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/31114/task/31127/stat : 31127 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140076158638672 140078258448283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31128] ppid=31037 vsize=8414124 memory=2020 CPUtime=0.11 cores=0-7
/proc/31114/task/31128/stat : 31128 (java) S 31037 31037 30433 0 -1 1077944384 1003 0 0 0 11 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077686450288 140078258440834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31129] ppid=31037 vsize=8414124 memory=1432 CPUtime=0.08 cores=0-7
/proc/31114/task/31129/stat : 31129 (java) S 31037 31037 30433 0 -1 1077944384 301 0 0 0 8 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077685397488 140078258440834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31130] ppid=31037 vsize=8414124 memory=776 CPUtime=0.1 cores=0-7
/proc/31114/task/31130/stat : 31130 (java) S 31037 31037 30433 0 -1 1077944384 273 0 0 0 10 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077684345200 140078258440834 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31131] ppid=31037 vsize=8414124 memory=1056 CPUtime=0.22 cores=0-7
/proc/31114/task/31131/stat : 31131 (java) S 31037 31037 30433 0 -1 1077944384 610 0 0 0 22 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077683292400 140078258440834 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31132] ppid=31037 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31114/task/31132/stat : 31132 (java) S 31037 31037 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140075660733280 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31133] ppid=31037 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/31114/task/31133/stat : 31133 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077682240304 140078258440834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
Current children cumulated CPU time: 398.71 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 121408 KiB

[startup+332.902 s]
/proc/loadavg: 1.03 3.22 3.92 2/214 31133
/proc/meminfo: memFree=25705140/32770624 swapFree=66966880/67108860
[pid=31037] ppid=31034 vsize=113128 memory=1476 CPUtime=397.38 cores=0-7
/proc/31037/stat : 31037 (scop.sh) S 31034 31037 30433 0 -1 4202496 582 136571 0 0 0 0 38550 1188 20 0 1 0 509635597 115843072 369 33554432000 4194304 5098028 140723687481664 140723687478408 140319009776252 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 8396800 140723687486205 140723687486552 140723687486552 140723687489481 0
/proc/31037/statm: 28282 369 311 221 0 87 0
[pid=31114] ppid=31037 vsize=8414124 memory=119932 CPUtime=1.34 cores=0-7
/proc/31114/stat : 31114 (java) S 31037 31037 30433 0 -1 1077944320 20980 0 0 0 126 8 0 0 20 0 24 0 509668756 8616062976 29983 33554432000 4194304 4196468 140735751302000 140735751284544 140078258429687 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
/proc/31114/statm: 2103531 29983 3218 1 0 2064875 0
[pid=31114/tid=31115] ppid=31037 vsize=8414124 memory=1476 CPUtime=0.78 cores=0-7
/proc/31114/task/31115/stat : 31115 (java) S 31037 31037 30433 0 -1 1077944384 17380 0 0 0 72 6 0 0 20 0 24 0 509668756 8616062976 29983 33554432000 4194304 4196468 140735751302000 140078230269856 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31116] ppid=31037 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/31114/task/31116/stat : 31116 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140078262672272 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31117] ppid=31037 vsize=8414124 memory=119932 CPUtime=0 cores=0-7
/proc/31114/task/31117/stat : 31117 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077743897360 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31118] ppid=31037 vsize=8414124 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/31114/task/31118/stat : 31118 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077742845072 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31119] ppid=31037 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/31114/task/31119/stat : 31119 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077741792272 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31120] ppid=31037 vsize=8414124 memory=355 CPUtime=0 cores=0-7
/proc/31114/task/31120/stat : 31120 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077740738960 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31121] ppid=31037 vsize=8414124 memory=380 CPUtime=0 cores=0-7
/proc/31114/task/31121/stat : 31121 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077739686160 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31122] ppid=31037 vsize=8414124 memory=9855736 CPUtime=0 cores=0-7
/proc/31114/task/31122/stat : 31122 (java) S 31037 31037 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077738633872 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31123] ppid=31037 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/31114/task/31123/stat : 31123 (java) S 31037 31037 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509668758 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077737581072 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31124] ppid=31037 vsize=8414124 memory=9855736 CPUtime=0 cores=0-7
/proc/31114/task/31124/stat : 31124 (java) S 31037 31037 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509668759 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077687503472 140078258440834 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31125] ppid=31037 vsize=8414124 memory=3612 CPUtime=0 cores=0-7
/proc/31114/task/31125/stat : 31125 (java) S 31037 31037 30433 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509668760 8616062976 29983 33554432000 4194304 4196468 140735751302000 140076667364640 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31126] ppid=31037 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/31114/task/31126/stat : 31126 (java) S 31037 31037 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509668760 8616062976 29983 33554432000 4194304 4196468 140735751302000 140076533143152 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31127] ppid=31037 vsize=8414124 memory=9855736 CPUtime=0 cores=0-7
/proc/31114/task/31127/stat : 31127 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140076158638672 140078258448283 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31128] ppid=31037 vsize=8414124 memory=281301702072992 CPUtime=0.11 cores=0-7
/proc/31114/task/31128/stat : 31128 (java) S 31037 31037 30433 0 -1 1077944384 1003 0 0 0 11 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077686450288 140078258440834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31129] ppid=31037 vsize=8414124 memory=7454130749351154278 CPUtime=0.08 cores=0-7
/proc/31114/task/31129/stat : 31129 (java) S 31037 31037 30433 0 -1 1077944384 301 0 0 0 8 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077685397488 140078258440834 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31130] ppid=31037 vsize=8414124 memory=3612 CPUtime=0.1 cores=0-7
/proc/31114/task/31130/stat : 31130 (java) S 31037 31037 30433 0 -1 1077944384 273 0 0 0 10 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077684345200 140078258440834 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31131] ppid=31037 vsize=8414124 memory=63652 CPUtime=0.22 cores=0-7
/proc/31114/task/31131/stat : 31131 (java) S 31037 31037 30433 0 -1 1077944384 611 0 0 0 22 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077683292400 140078258440834 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31132] ppid=31037 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/31114/task/31132/stat : 31132 (java) S 31037 31037 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140075660733280 140078258439893 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
[pid=31114/tid=31133] ppid=31037 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/31114/task/31133/stat : 31133 (java) S 31037 31037 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509668763 8616062976 29983 33554432000 4194304 4196468 140735751302000 140077682240304 140078258440834 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39247872 140735751308255 140735751308422 140735751308422 140735751311311 0
Current children cumulated CPU time: 398.72 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 121408 KiB

Child status: 0
Real time (s): 332.949
CPU time (s): 399.422
CPU user time (s): 387.331
CPU system time (s): 12.0907
CPU usage (%): 119.965
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 9860324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 387.331
system time used= 12.0907
maximum resident set size= 9859264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207634
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20543
involuntary context switches= 795


# summary of solver processes directly reported to runsolver:
#   pid: 31037
#   total CPU time (s): 399.422
#   total CPU user time (s): 387.331
#   total CPU system time (s): 12.0907

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.82041 second user time and 4.0186 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-24 16:55:49
IDJOB=4405251
IDBENCH=126913
IDSOLVER=2867
FILE ID=node145/4405251-1569336991
RUNJOBID= node145-1569335936-30460
PBS_JOBID= 21705052
Free space on /var/tmp= 13480 MiB

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

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

MD5SUM BENCH= 944fe5e858b8dc1e5468427caea6b95a
RANDOM SEED=1435980845

node145.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.59
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.59
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.59
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.59
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:        25766504 kB
MemAvailable:   31812092 kB
Buffers:          142768 kB
Cached:          6055232 kB
SwapCached:        32456 kB
Active:          3042136 kB
Inactive:        3191452 kB
Active(anon):       3220 kB
Inactive(anon):    89856 kB
Active(file):    3038916 kB
Inactive(file):  3101596 kB
Unevictable:      108768 kB
Mlocked:          108768 kB
SwapTotal:      67108860 kB
SwapFree:       66966880 kB
Dirty:             50244 kB
Writeback:             0 kB
AnonPages:        112616 kB
Mapped:            57064 kB
Shmem:             48848 kB
Slab:             362004 kB
SReclaimable:     333536 kB
SUnreclaim:        28468 kB
KernelStack:        3360 kB
PageTables:         5248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13460 MiB
End job on node145 at 2019-09-24 17:01:22