Trace number 4405156

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)SAT 828.776 191.071

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si2-rand/
Subisomorphism-si2-r001-m400-05.xml
MD5SUM5f006248f7b4f652f1c0eb398f87a4da
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.50125
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints172
Number of domains1
Minimum domain size400
Maximum domain size400
Distribution of domain sizes[{"size":400,"count":80}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":20},{"degree":4,"count":19},{"degree":5,"count":18},{"degree":6,"count":11},{"degree":7,"count":8},{"degree":8,"count":2},{"degree":9,"count":2}]
Minimum constraint arity1
Maximum constraint arity80
Distribution of constraint arities[{"arity":1,"count":60},{"arity":2,"count":111},{"arity":80,"count":1}]
Number of extensional constraints171
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":171},{"type":"allDifferent","count":1}]
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-10075-serial-file.bin HOME/instance-4405156-1569338622.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 17:23:02 CEST 2019
0.65/0.56	c PID: 10078
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.60/0.99	c (0,0) Parsing End
1.60/0.99	c (0,0) CSP: 80 int (0 aux), 0 bool (0 aux), 172 ctr, max domain size 400
1.60/0.99	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.60/0.99	c (0,0) Constraint Name Generate Begin
1.60/1.00	c (0,0) Ctr:HOME/instance-4405156-1569338622.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
1.60/1.00	c (0,0) Constraint Name Generate End
1.60/1.00	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.60/1.00	c (0,0) CSP to CSPinCNF Begin
15.52/8.37	c (7,7) translated 18 (10%) constraints
22.18/14.88	c (14,14) translated 35 (20%) constraints
30.59/21.46	c (20,20) translated 52 (30%) constraints
36.83/27.61	c (27,26) translated 69 (40%) constraints
46.05/34.12	c (33,32) translated 86 (50%) constraints
52.57/40.64	c (40,39) translated 104 (60%) constraints
55.95/43.90	c (43,42) translated 121 (70%) constraints
55.95/43.91	c (43,42) translated 138 (80%) constraints
55.95/43.95	c (43,42) translated 155 (90%) constraints
55.95/43.96	c (43,42) translated 172 (100%) constraints
55.95/43.96	c (43,42) ===========================================
55.95/43.97	c (43,42) Order
55.95/43.97	c (43,42) ===========================================
59.43/45.53	c (44,44) translated 80623 (10%) constraints
60.88/46.96	c (46,45) translated 161246 (20%) constraints
62.33/48.40	c (47,47) translated 241869 (30%) constraints
63.85/49.83	c (49,48) translated 322491 (40%) constraints
69.81/51.84	c (51,50) translated 403114 (50%) constraints
71.21/53.28	c (52,51) translated 483737 (60%) constraints
72.72/54.71	c (54,52) translated 564359 (70%) constraints
74.13/56.15	c (55,54) translated 644982 (80%) constraints
75.52/57.58	c (57,55) translated 725605 (90%) constraints
77.09/59.03	c (58,57) translated 806227 (100%) constraints
77.09/59.03	c (58,57) CSP to CSPinCNF End
77.09/59.05	c (58,57) CSP: 80 int (0 aux), 44400 bool (44400 aux), 806227 ctr, max domain size 400
77.09/59.05	c (58,57) Heap : 2676 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
77.09/59.05	c (58,57) CSPinCNF Propagation Begin
86.93/64.92	c (64,62) 0 values, 111 unsatisfiable literals, and 1 valid clauses are removed
86.93/64.92	c (64,62) CSPinCNF Propagation End
86.93/64.94	c (64,62) CSP: 80 int (0 aux), 44400 bool (44400 aux), 806226 ctr, max domain size 400
86.93/64.94	c (64,62) Heap : 2282 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
86.93/64.94	c (64,62) Simplify CSPinCNF Begin
89.20/66.41	c (65,64) Simplify CSPinCNF End
89.20/66.42	c (65,64) CSP: 80 int (0 aux), 50720 bool (50720 aux), 812546 ctr, max domain size 400
89.20/66.42	c (65,64) Heap : 3084 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
89.20/66.42	c (65,64) Calculate Precise Domain Begin
89.20/66.43	c (65,64) 0 values are removed by re-calculation
89.20/66.43	c (65,64) Calculate Precise Domain End
89.20/66.44	c (65,64) CSP: 80 int (0 aux), 50720 bool (50720 aux), 812546 ctr, max domain size 400
89.20/66.44	c (65,64) Heap : 3084 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
89.20/66.44	c (65,64) CSPinCNF to SatSolver Begin
105.93/77.21	c (76,74) 81255 (10 %) CSP clauses are encoded (0 SAT variables, 2634774 SAT clauses)
106.68/77.98	c (77,75) 162510 (20 %) CSP clauses are encoded (0 SAT variables, 2716029 SAT clauses)
107.48/78.74	c (78,75) 243764 (30 %) CSP clauses are encoded (0 SAT variables, 2797283 SAT clauses)
108.28/79.51	c (78,76) 325019 (40 %) CSP clauses are encoded (0 SAT variables, 2878538 SAT clauses)
109.05/80.30	c (79,77) 406273 (50 %) CSP clauses are encoded (0 SAT variables, 2959792 SAT clauses)
109.76/81.07	c (80,78) 487528 (60 %) CSP clauses are encoded (0 SAT variables, 3041047 SAT clauses)
110.55/81.84	c (81,78) 568783 (70 %) CSP clauses are encoded (0 SAT variables, 3122302 SAT clauses)
111.35/82.60	c (82,79) 650037 (80 %) CSP clauses are encoded (0 SAT variables, 3203556 SAT clauses)
112.06/83.36	c (82,80) 731292 (90 %) CSP clauses are encoded (0 SAT variables, 3284811 SAT clauses)
116.16/84.55	c (84,81) 812546 (100 %) CSP clauses are encoded (0 SAT variables, 3366065 SAT clauses)
116.16/84.55	c (84,81) CSPinCNF to SatSolver End
116.16/84.55	c (84,81) Heap : 1225 MiB used (max 21567 MiB), NonHeap : 31 MiB used (max 0 MiB)
116.16/84.55	c (84,81) 82640 bool, 3366066 clause
116.16/84.55	c (84,81) Export Begin
116.29/84.64	c (84,81) Export to HOME/scop-10075-serial-file.bin
116.29/84.64	c (84,81) Export End
116.29/84.65	c (84,81) Export File Size: 0.02 MB
116.29/84.65	c (84,81) 0,0,58,64,65,65,84,STOP-AFTER(DIMACS)
116.29/84.65	c END-Prog: Tue Sep 24 17:24:27 CEST 2019
0.00/84.70	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10075-serial-file.bin
117.01/85.17	c (0,0) Read Serial File Begin
117.10/85.32	c (0,0) HOME/scop-10075-serial-file.bin
117.37/85.53	c (0,0) Read Serial File End
117.37/85.55	
117.37/85.55	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
117.37/85.55	(Solving Process)
117.37/85.55	
117.37/85.57	c BEGIN-Prog: Tue Sep 24 17:24:27 CEST 2019
117.37/85.57	c PID: 10105
117.37/85.57	c IP: 172.20.3.151
117.37/85.57	c HOST: node151.alineos.net
117.37/85.57	c (0,0) SatSolver.solve Begin
117.37/85.57	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405156-1569338622.xml-scop-10078.cnf
117.56/85.60	c (0,0) c
117.56/85.60	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)
117.56/85.60	c (0,0) c
117.56/85.60	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
117.56/85.60	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
117.56/85.60	c (0,0) c ========================================[ Problem Statistics ]===========================================
117.56/85.60	c (0,0) c |                                                                                                       |
118.77/86.74	c (1,0) c |  Number of variables:         82640                                                                   |
118.77/86.74	c (1,0) c |  Number of clauses:         3366066                                                                   |
118.77/86.74	c (1,0) c |  Parse time:                   1.04 s                                                                 |
118.77/86.74	c (1,0) c |                                                                                                       |
132.19/100.15	c (15,0) c |  Simplification time:         13.27 s                                                                 |
132.19/100.15	c (15,0) c |                                                                                                       |
132.19/100.15	c (15,0) c |  Generating clones                                                                                    |
132.98/100.91	c (15,0) c |  all clones generated. Memory =  2037.38Mb.                                                           |
132.98/100.91	c (15,0) c ========================================================================================================|
132.98/100.91	c (15,0) c
132.98/100.91	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
132.98/100.91	c (15,0) c
132.98/100.91	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
132.98/100.91	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
132.98/100.91	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
132.98/100.91	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
132.98/100.91	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
132.98/100.91	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
132.98/100.91	c (15,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
132.98/100.91	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
132.98/100.91	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
132.98/100.91	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
132.98/100.91	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
132.98/100.91	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
132.98/100.91	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
132.98/100.91	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
132.98/100.91	c (15,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
132.98/100.91	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
132.98/100.91	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
132.98/100.91	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
132.98/100.91	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
367.99/130.59	c (45,0) c
367.99/130.59	c (45,0) c |------------------------------------------------------------------------------------------------------------------------|
367.99/130.59	c (45,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
367.99/130.59	c (45,0) c |------------------------------------------------------------------------------------------------------------------------|
367.99/130.59	c (45,0) c |  0 |    133 |     178095 |      46438 |   279130 |    20341 |     9139 |    55645 |     3362 |      215 |  20 |  0.050 |
367.99/130.59	c (45,0) c |  1 |     96 |     167781 |      44920 |   276455 |    18715 |     9453 |    56804 |     3288 |      213 |  20 |  0.051 |
367.99/130.59	c (45,0) c |  2 |    132 |     200278 |      48918 |   258251 |    22772 |    10364 |    59410 |     3853 |      224 |  20 |  0.054 |
367.99/130.59	c (45,0) c |  3 |    164 |     179470 |      46055 |   268224 |    19870 |     9464 |    56494 |     3176 |      211 |  20 |  0.051 |
367.99/130.59	c (45,0) c |  4 |    148 |     169171 |      46213 |   264084 |    20024 |     8959 |    63881 |     2904 |      231 |  20 |  0.054 |
367.99/130.59	c (45,0) c |  5 |    144 |     193335 |      49160 |   236727 |    22989 |    10168 |    62492 |     3852 |      229 |  20 |  0.054 |
367.99/130.59	c (45,0) c |  6 |    105 |     158472 |      45456 |   300223 |    19320 |     8592 |    61225 |     2803 |      222 |  20 |  0.056 |
367.99/130.59	c (45,0) c |  7 |    130 |     189745 |      48743 |   246374 |    22393 |     9954 |    62424 |     4044 |      228 |  20 |  0.054 |
367.99/130.59	c (45,0) c 
367.99/130.59	c (45,0) c synthesis      375903 conflicts   429929020 propagations     1523 conflicts/sec  1741609 propagations/sec
367.99/130.59	c (45,0) c real: 44.9883 s, cpu: 246.857 s, memory: 2613.92 Mb
605.24/160.59	c (75,0) c
605.24/160.59	c (75,0) c |------------------------------------------------------------------------------------------------------------------------|
605.24/160.59	c (75,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
605.24/160.59	c (75,0) c |------------------------------------------------------------------------------------------------------------------------|
605.24/160.59	c (75,0) c |  0 |    303 |     392073 |      88049 |   358537 |    30716 |    16858 |   112762 |     8434 |      438 |  20 |  0.117 |
605.24/160.59	c (75,0) c |  1 |    245 |     363513 |      84613 |   370382 |    30552 |    17042 |   111085 |     7788 |      434 |  20 |  0.125 |
605.24/160.59	c (75,0) c |  2 |    271 |     409060 |      89444 |   342952 |    31836 |    18082 |   115734 |     8477 |      453 |  20 |  0.128 |
605.24/160.59	c (75,0) c |  3 |    268 |     355035 |      86971 |   385843 |    29613 |    16772 |   115607 |     7453 |      449 |  20 |  0.127 |
605.24/160.59	c (75,0) c |  4 |    296 |     337589 |      83096 |   367818 |    29286 |    15822 |   116753 |     6524 |      451 |  20 |  0.131 |
605.24/160.59	c (75,0) c |  5 |    248 |     387915 |      90462 |   327202 |    36606 |    18000 |   114403 |     8588 |      453 |  20 |  0.128 |
605.24/160.59	c (75,0) c |  6 |    239 |     345244 |      85008 |   406096 |    31193 |    17178 |   115958 |     6880 |      453 |  20 |  0.121 |
605.24/160.59	c (75,0) c |  7 |    272 |     378630 |      88234 |   331465 |    31128 |    17334 |   110701 |     8368 |      454 |  20 |  0.121 |
605.24/160.59	c (75,0) c 
605.24/160.59	c (75,0) c synthesis      695878 conflicts   825292452 propagations     1439 conflicts/sec  1706862 propagations/sec
605.24/160.59	c (75,0) c real: 74.9883 s, cpu: 483.514 s, memory: 2614.31 Mb
827.96/190.77	c (105,0) c
827.96/190.77	c (105,0) c real time : 105.175 s
827.96/190.77	c (105,0) c cpu time  : 704.841 s
827.96/190.77	c (105,0) c
827.96/190.77	c (105,0) c
827.96/190.77	c (105,0) c
827.96/190.77	c (105,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
827.96/190.77	c (105,0) c
827.96/190.77	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
827.96/190.77	c (105,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
827.96/190.77	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
827.96/190.77	c (105,0) c | Conflicts     |          946435 |     122217 |     118262 |     119951 |     118776 |     113008 |     120633 |     115338 |     118250 |
827.96/190.77	c (105,0) c | Decisions     |         4178549 |     541597 |     530700 |     558693 |     517571 |     478470 |     536304 |     492615 |     522599 |
827.96/190.77	c (105,0) c | Propagations  |      1175691133 |  147704433 |  147299200 |  147525814 |  148541840 |  145747942 |  148274654 |  144799842 |  145797408 |
827.96/190.77	c (105,0) c | ReduceDBs     |              64 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |
827.96/190.77	c (105,0) c | SimpDBs       |             103 |         13 |         13 |         13 |         13 |         13 |         13 |         12 |         13 |
827.96/190.77	c (105,0) c | Restarts      |            2942 |        397 |        360 |        379 |        381 |        377 |        352 |        336 |        360 |
827.96/190.77	c (105,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
827.96/190.77	c (105,0) c | PropBinClauses|       870850796 |  110718519 |  109213099 |  109872624 |  109981988 |  106041440 |  110338852 |  106257020 |  108427254 |
827.96/190.77	c (105,0) c | PropPreBlocker|     19090444798 | 2356545544 | 2396787151 | 2367027939 | 2419579204 | 2396794137 | 2365816494 | 2407550243 | 2380344086 |
827.96/190.77	c (105,0) c | PropNotBlocker|      5002859596 |  637426613 |  624187042 |  625674716 |  623953415 |  627618049 |  631833524 |  615558435 |  616607802 |
827.96/190.77	c (105,0) c | LitFullScans  |     32096067884 | 4011048712 | 4012027354 | 4012752149 | 4010717056 | 4012037545 | 4010307006 | 4011041256 | 4016136806 |
827.96/190.77	c (105,0) c | LitScanFracts |        26981738 |    3042065 |    3980207 |    4749115 |    2712086 |    3958696 |    2246396 |    3033049 |    3260124 |
827.96/190.77	c (105,0) c | DecisionLevel0|            3154 |        432 |        389 |        404 |        410 |        409 |        381 |        358 |        371 |
827.96/190.77	c (105,0) c | Periods       |            5344 |        668 |        668 |        668 |        668 |        668 |        668 |        668 |        668 |
827.96/190.77	c (105,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
827.96/190.77	c (105,0) c | Avg_Trail     |                 |      10461 |      11254 |      10903 |      11504 |      12235 |      10623 |      12335 |      11342 |
827.96/190.77	c (105,0) c | Avg_DL        |                 |         42 |         42 |         49 |         45 |         43 |         44 |         44 |         48 |
827.96/190.77	c (105,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
827.96/190.77	c (105,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
827.96/190.77	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
827.96/190.77	c (105,0) c | Exported      |          182434 |      22984 |      23056 |      23298 |      22754 |      21933 |      23094 |      22785 |      22530 |
827.96/190.77	c (105,0) c | Imported      |         1245834 |     156135 |     155578 |     154572 |     156342 |     156648 |     156027 |     155556 |     154976 |
827.96/190.77	c (105,0) c | Good          |           24939 |       3090 |       3139 |       3077 |       3100 |       3166 |       3056 |       3149 |       3162 |
827.96/190.77	c (105,0) c | Purge         |         1220895 |     153045 |     152439 |     151495 |     153242 |     153482 |     152971 |     152407 |     151814 |
827.96/190.77	c (105,0) c | Promoted      |           94848 |      12521 |      12293 |      12301 |      11992 |      10478 |      12671 |      10761 |      11831 |
827.96/190.78	c (105,0) c | Remove_Imp    |          663030 |      79437 |      82793 |      80655 |      84175 |      89644 |      76499 |      84388 |      85439 |
827.96/190.78	c (105,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
827.96/190.78	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
827.96/190.78	c (105,0) c | Unaries       |                 |         35 |         29 |         25 |         29 |         32 |         29 |         22 |         11 |
827.96/190.78	c (105,0) c | Binaries      |                 |        508 |        440 |        483 |        477 |        407 |        533 |        427 |        385 |
827.96/190.78	c (105,0) c | Glues         |                 |       6774 |       6745 |       6587 |       6468 |       6016 |       6863 |       6234 |       6336 |
827.96/190.78	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
827.96/190.78	c (105,0) c | Orig_Seen     |            12 % |     424235 |     441160 |     390528 |     452757 |     426965 |     386928 |     453329 |     408097 |
827.96/190.78	c (105,0) c | Diff Orig seen|                 |      16138 |      33063 | -    17569 |      44660 |      18868 | -    21169 |      45232 |      X     |
827.96/190.78	c (105,0) c | Hamming       |            20 % |      16859 |      18173 |      17745 |      16620 |      16625 |      16898 |      16777 |      X     |
827.96/190.78	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
827.96/190.78	c (105,0) c | RunningTime   |                 |   88.7 100%|   89.8 100%|   86.0  98%|   87.2  99%|   86.7  98%|   85.9  97%|   87.2  99%|   85.8  97%|
827.96/190.78	c (105,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    1.9   2%|    0.9   1%|    1.3   1%|    2.1   2%|    0.9   1%|    2.1   2%|
827.96/190.78	c (105,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
827.96/190.78	c (105,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%|
827.96/190.78	c (105,0) c | SolvingTime   |                 |   88.8     |   89.8     |   88.0     |   88.2     |   88.1     |   88.1     |   88.2     |   88.0     |
827.96/190.78	c (105,0) c | PropagationTim|                 |   72.2  81%|   73.6  82%|   71.6  81%|   72.3  82%|   71.2  81%|   70.9  80%|   71.6  81%|   70.9  81%|
827.96/190.78	c (105,0) c | AnalysisTime  |                 |   11.7  13%|   11.3  13%|   11.3  13%|   10.9  12%|   11.7  13%|   11.9  14%|   11.4  13%|   11.9  14%|
827.96/190.78	c (105,0) c | ReductionTime |                 |    0.5   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.6   1%|    0.6   1%|
827.96/190.78	c (105,0) c | SimplifyTime  |                 |    1.2   1%|    1.2   1%|    1.4   2%|    1.3   1%|    1.3   2%|    1.6   2%|    1.4   2%|    1.5   2%|
827.96/190.78	c (105,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%|
827.96/190.78	c (105,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%|
827.96/190.78	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
827.96/190.78	c (105,0) c
827.96/190.78	c (105,0) c
827.96/190.78	c (105,0) c Threads : 8
827.96/190.78	c (105,0) c Winner : 7
827.96/190.78	c (105,0) c Conflicts_0 : 122217
827.96/190.78	c (105,0) c Conflicts_1 : 118262
827.96/190.78	c (105,0) c Conflicts_2 : 119951
827.96/190.78	c (105,0) c Conflicts_3 : 118776
827.96/190.78	c (105,0) c Conflicts_4 : 113008
827.96/190.78	c (105,0) c Conflicts_5 : 120633
827.96/190.78	c (105,0) c Conflicts_6 : 115338
827.96/190.78	c (105,0) c Conflicts_7 : 118250
827.96/190.78	c (105,0) c Conflicts_total : 946435
827.96/190.78	c (105,0) c Conflicts_winner : 118250
827.96/190.78	c (105,0) c Decisions_0 : 541597
827.96/190.78	c (105,0) c Decisions_1 : 530700
827.96/190.78	c (105,0) c Decisions_2 : 558693
827.96/190.78	c (105,0) c Decisions_3 : 517571
827.96/190.78	c (105,0) c Decisions_4 : 478470
827.96/190.78	c (105,0) c Decisions_5 : 536304
827.96/190.78	c (105,0) c Decisions_6 : 492615
827.96/190.78	c (105,0) c Decisions_7 : 522599
827.96/190.78	c (105,0) c Decisions_total : 4178549
827.96/190.78	c (105,0) c Decisions_winner : 522599
827.96/190.78	c (105,0) c Propagations_0 : 147704433
827.96/190.78	c (105,0) c Propagations_1 : 147299200
827.96/190.78	c (105,0) c Propagations_2 : 147525814
827.96/190.78	c (105,0) c Propagations_3 : 148541840
827.96/190.78	c (105,0) c Propagations_4 : 145747942
827.96/190.78	c (105,0) c Propagations_5 : 148274654
827.96/190.78	c (105,0) c Propagations_6 : 144799842
827.96/190.78	c (105,0) c Propagations_7 : 145797408
827.96/190.78	c (105,0) c Propagations_total : 1175691133
827.96/190.78	c (105,0) c Propagations_winner : 145797408
827.96/190.78	c (105,0) c ReduceDBs_0 : 8
827.96/190.78	c (105,0) c ReduceDBs_1 : 8
827.96/190.78	c (105,0) c ReduceDBs_2 : 8
827.96/190.78	c (105,0) c ReduceDBs_3 : 8
827.96/190.78	c (105,0) c ReduceDBs_4 : 8
827.96/190.78	c (105,0) c ReduceDBs_5 : 8
827.96/190.78	c (105,0) c ReduceDBs_6 : 8
827.96/190.78	c (105,0) c ReduceDBs_7 : 8
827.96/190.78	c (105,0) c ReduceDBs_total : 64
827.96/190.78	c (105,0) c ReduceDBs_winner : 8
827.96/190.78	c (105,0) c SimpDBs_0 : 13
827.96/190.78	c (105,0) c SimpDBs_1 : 13
827.96/190.78	c (105,0) c SimpDBs_2 : 13
827.96/190.78	c (105,0) c SimpDBs_3 : 13
827.96/190.78	c (105,0) c SimpDBs_4 : 13
827.96/190.78	c (105,0) c SimpDBs_5 : 13
827.96/190.78	c (105,0) c SimpDBs_6 : 12
827.96/190.78	c (105,0) c SimpDBs_7 : 13
827.96/190.78	c (105,0) c SimpDBs_total : 103
827.96/190.78	c (105,0) c SimpDBs_winner : 13
827.96/190.78	c (105,0) c Restarts_0 : 397
827.96/190.78	c (105,0) c Restarts_1 : 360
827.96/190.78	c (105,0) c Restarts_2 : 379
827.96/190.78	c (105,0) c Restarts_3 : 381
827.96/190.78	c (105,0) c Restarts_4 : 377
827.96/190.78	c (105,0) c Restarts_5 : 352
827.96/190.78	c (105,0) c Restarts_6 : 336
827.96/190.78	c (105,0) c Restarts_7 : 360
827.96/190.78	c (105,0) c Restarts_total : 2942
827.96/190.78	c (105,0) c Restarts_winner : 360
827.96/190.78	c (105,0) c ForcedImports_0 : 0
827.96/190.78	c (105,0) c ForcedImports_1 : 0
827.96/190.78	c (105,0) c ForcedImports_2 : 0
827.96/190.78	c (105,0) c ForcedImports_3 : 0
827.96/190.78	c (105,0) c ForcedImports_4 : 0
827.96/190.78	c (105,0) c ForcedImports_5 : 0
827.96/190.78	c (105,0) c ForcedImports_6 : 0
827.96/190.78	c (105,0) c ForcedImports_7 : 0
827.96/190.78	c (105,0) c ForcedImports_total : 0
827.96/190.78	c (105,0) c ForcedImports_winner : 0
827.96/190.78	c (105,0) c PropsBinClauses_0 : 110718519
827.96/190.78	c (105,0) c PropsBinClauses_1 : 109213099
827.96/190.78	c (105,0) c PropsBinClauses_2 : 109872624
827.96/190.78	c (105,0) c PropsBinClauses_3 : 109981988
827.96/190.78	c (105,0) c PropsBinClauses_4 : 106041440
827.96/190.78	c (105,0) c PropsBinClauses_5 : 110338852
827.96/190.78	c (105,0) c PropsBinClauses_6 : 106257020
827.96/190.78	c (105,0) c PropsBinClauses_7 : 108427254
827.96/190.78	c (105,0) c PropsBinClauses_total : 870850796
827.96/190.78	c (105,0) c PropsBinClauses_winner : 108427254
827.96/190.78	c (105,0) c PropsPreBlocker_0 : 2356545544
827.96/190.78	c (105,0) c PropsPreBlocker_1 : 2396787151
827.96/190.78	c (105,0) c PropsPreBlocker_2 : 2367027939
827.96/190.78	c (105,0) c PropsPreBlocker_3 : 2419579204
827.96/190.78	c (105,0) c PropsPreBlocker_4 : 2396794137
827.96/190.78	c (105,0) c PropsPreBlocker_5 : 2365816494
827.96/190.78	c (105,0) c PropsPreBlocker_6 : 2407550243
827.96/190.78	c (105,0) c PropsPreBlocker_7 : 2380344086
827.96/190.78	c (105,0) c PropsPreBlocker_total : 19090444798
827.96/190.78	c (105,0) c PropsPreBlocker_winner : 2380344086
827.96/190.78	c (105,0) c PropsNotBlocker_0 : 637426613
827.96/190.78	c (105,0) c PropsNotBlocker_1 : 624187042
827.96/190.78	c (105,0) c PropsNotBlocker_2 : 625674716
827.96/190.78	c (105,0) c PropsNotBlocker_3 : 623953415
827.96/190.78	c (105,0) c PropsNotBlocker_4 : 627618049
827.96/190.78	c (105,0) c PropsNotBlocker_5 : 631833524
827.96/190.78	c (105,0) c PropsNotBlocker_6 : 615558435
827.96/190.78	c (105,0) c PropsNotBlocker_7 : 616607802
827.96/190.78	c (105,0) c PropsNotBlocker_total : 5002859596
827.96/190.78	c (105,0) c PropsNotBlocker_winner : 616607802
827.96/190.78	c (105,0) c PropsLitFullScans_0 : 4011048712
827.96/190.78	c (105,0) c PropsLitFullScans_1 : 4012027354
827.96/190.78	c (105,0) c PropsLitFullScans_2 : 4012752149
827.96/190.78	c (105,0) c PropsLitFullScans_3 : 4010717056
827.96/190.78	c (105,0) c PropsLitFullScans_4 : 4012037545
827.96/190.78	c (105,0) c PropsLitFullScans_5 : 4010307006
827.96/190.78	c (105,0) c PropsLitFullScans_6 : 4011041256
827.96/190.78	c (105,0) c PropsLitFullScans_7 : 4016136806
827.96/190.78	c (105,0) c PropsLitFullScans_total : 32096067884
827.96/190.78	c (105,0) c PropsLitFullScans_winner : 4016136806
827.96/190.78	c (105,0) c LitScanFractions_0 : 3042065
827.96/190.78	c (105,0) c LitScanFractions_1 : 3980207
827.96/190.78	c (105,0) c LitScanFractions_2 : 4749115
827.96/190.78	c (105,0) c LitScanFractions_3 : 2712086
827.96/190.78	c (105,0) c LitScanFractions_4 : 3958696
827.96/190.78	c (105,0) c LitScanFractions_5 : 2246396
827.96/190.78	c (105,0) c LitScanFractions_6 : 3033049
827.96/190.78	c (105,0) c LitScanFractions_7 : 3260124
827.96/190.78	c (105,0) c LitScanFractions_total : 26981738
827.96/190.78	c (105,0) c LitScanFractions_winner : 3260124
827.96/190.78	c (105,0) c DecisionLevel0_0 : 432
827.96/190.78	c (105,0) c DecisionLevel0_1 : 389
827.96/190.78	c (105,0) c DecisionLevel0_2 : 404
827.96/190.78	c (105,0) c DecisionLevel0_3 : 410
827.96/190.78	c (105,0) c DecisionLevel0_4 : 409
827.96/190.78	c (105,0) c DecisionLevel0_5 : 381
827.96/190.78	c (105,0) c DecisionLevel0_6 : 358
827.96/190.78	c (105,0) c DecisionLevel0_7 : 371
827.96/190.78	c (105,0) c DecisionLevel0_total : 3154
827.96/190.78	c (105,0) c DecisionLevel0_winner : 371
827.96/190.78	c (105,0) c Periods_0 : 668
827.96/190.78	c (105,0) c Periods_1 : 668
827.96/190.78	c (105,0) c Periods_2 : 668
827.96/190.78	c (105,0) c Periods_3 : 668
827.96/190.78	c (105,0) c Periods_4 : 668
827.96/190.78	c (105,0) c Periods_5 : 668
827.96/190.78	c (105,0) c Periods_6 : 668
827.96/190.78	c (105,0) c Periods_7 : 668
827.96/190.78	c (105,0) c Periods_total : 5344
827.96/190.78	c (105,0) c Periods_winner : 668
827.96/190.78	c (105,0) c Margin_0 : 20
827.96/190.78	c (105,0) c Margin_1 : 20
827.96/190.78	c (105,0) c Margin_2 : 20
827.96/190.78	c (105,0) c Margin_3 : 20
827.96/190.78	c (105,0) c Margin_4 : 20
827.96/190.78	c (105,0) c Margin_5 : 20
827.96/190.78	c (105,0) c Margin_6 : 20
827.96/190.78	c (105,0) c Margin_7 : 20
827.96/190.78	c (105,0) c Margin_total : 160
827.96/190.78	c (105,0) c Margin_winner : 20
827.96/190.78	c (105,0) c Exported_0 : 22984
827.96/190.78	c (105,0) c Exported_1 : 23056
827.96/190.78	c (105,0) c Exported_2 : 23298
827.96/190.78	c (105,0) c Exported_3 : 22754
827.96/190.78	c (105,0) c Exported_4 : 21933
827.96/190.78	c (105,0) c Exported_5 : 23094
827.96/190.78	c (105,0) c Exported_6 : 22785
827.96/190.78	c (105,0) c Exported_7 : 22530
827.96/190.78	c (105,0) c Exported_total : 182434
827.96/190.78	c (105,0) c Exported_winner : 22530
827.96/190.78	c (105,0) c Imported_0 : 156135
827.96/190.78	c (105,0) c Imported_1 : 155578
827.96/190.78	c (105,0) c Imported_2 : 154572
827.96/190.78	c (105,0) c Imported_3 : 156342
827.96/190.78	c (105,0) c Imported_4 : 156648
827.96/190.78	c (105,0) c Imported_5 : 156027
827.96/190.78	c (105,0) c Imported_6 : 155556
827.96/190.78	c (105,0) c Imported_7 : 154976
827.96/190.78	c (105,0) c Imported_total : 1245834
827.96/190.78	c (105,0) c Imported_winner : 154976
827.96/190.78	c (105,0) c Good_0 : 3090
827.96/190.78	c (105,0) c Good_1 : 3139
827.96/190.78	c (105,0) c Good_2 : 3077
827.96/190.78	c (105,0) c Good_3 : 3100
827.96/190.78	c (105,0) c Good_4 : 3166
827.96/190.78	c (105,0) c Good_5 : 3056
827.96/190.78	c (105,0) c Good_6 : 3149
827.96/190.78	c (105,0) c Good_7 : 3162
827.96/190.78	c (105,0) c Good_total : 24939
827.96/190.78	c (105,0) c Good_winner : 3162
827.96/190.78	c (105,0) c Purge_0 : 153045
827.96/190.78	c (105,0) c Purge_1 : 152439
827.96/190.78	c (105,0) c Purge_2 : 151495
827.96/190.78	c (105,0) c Purge_3 : 153242
827.96/190.78	c (105,0) c Purge_4 : 153482
827.96/190.78	c (105,0) c Purge_5 : 152971
827.96/190.78	c (105,0) c Purge_6 : 152407
827.96/190.78	c (105,0) c Purge_7 : 151814
827.96/190.78	c (105,0) c Purge_total : 1220895
827.96/190.78	c (105,0) c Purge_winner : 151814
827.96/190.78	c (105,0) c Promoted_0 : 12521
827.96/190.78	c (105,0) c Promoted_1 : 12293
827.96/190.78	c (105,0) c Promoted_2 : 12301
827.96/190.78	c (105,0) c Promoted_3 : 11992
827.96/190.78	c (105,0) c Promoted_4 : 10478
827.96/190.78	c (105,0) c Promoted_5 : 12671
827.96/190.78	c (105,0) c Promoted_6 : 10761
827.96/190.78	c (105,0) c Promoted_7 : 11831
827.96/190.78	c (105,0) c Promoted_total : 94848
827.96/190.78	c (105,0) c Promoted_winner : 11831
827.96/190.78	c (105,0) c Remove_Imp_0 : 79437
827.96/190.78	c (105,0) c Remove_Imp_1 : 82793
827.96/190.78	c (105,0) c Remove_Imp_2 : 80655
827.96/190.78	c (105,0) c Remove_Imp_3 : 84175
827.96/190.78	c (105,0) c Remove_Imp_4 : 89644
827.96/190.78	c (105,0) c Remove_Imp_5 : 76499
827.96/190.78	c (105,0) c Remove_Imp_6 : 84388
827.96/190.78	c (105,0) c Remove_Imp_7 : 85439
827.96/190.78	c (105,0) c Remove_Imp_total : 663030
827.96/190.78	c (105,0) c Remove_Imp_winner : 85439
827.96/190.78	c (105,0) c Blocked_Reuse_0 : 0
827.96/190.78	c (105,0) c Blocked_Reuse_1 : 0
827.96/190.78	c (105,0) c Blocked_Reuse_2 : 0
827.96/190.78	c (105,0) c Blocked_Reuse_3 : 0
827.96/190.78	c (105,0) c Blocked_Reuse_4 : 0
827.96/190.78	c (105,0) c Blocked_Reuse_5 : 0
827.96/190.78	c (105,0) c Blocked_Reuse_6 : 0
827.96/190.78	c (105,0) c Blocked_Reuse_7 : 0
827.96/190.78	c (105,0) c Blocked_Reuse_total : 0
827.96/190.78	c (105,0) c Blocked_Reuse_winner : 0
827.96/190.78	c (105,0) c Unaries_0 : 35
827.96/190.78	c (105,0) c Unaries_1 : 29
827.96/190.78	c (105,0) c Unaries_2 : 25
827.96/190.78	c (105,0) c Unaries_3 : 29
827.96/190.78	c (105,0) c Unaries_4 : 32
827.96/190.78	c (105,0) c Unaries_5 : 29
827.96/190.78	c (105,0) c Unaries_6 : 22
827.96/190.78	c (105,0) c Unaries_7 : 11
827.96/190.78	c (105,0) c Unaries_total : 212
827.96/190.78	c (105,0) c Unaries_winner : 11
827.96/190.78	c (105,0) c Binaries_0 : 508
827.96/190.78	c (105,0) c Binaries_1 : 440
827.96/190.78	c (105,0) c Binaries_2 : 483
827.96/190.78	c (105,0) c Binaries_3 : 477
827.96/190.78	c (105,0) c Binaries_4 : 407
827.96/190.78	c (105,0) c Binaries_5 : 533
827.96/190.78	c (105,0) c Binaries_6 : 427
827.96/190.78	c (105,0) c Binaries_7 : 385
827.96/190.78	c (105,0) c Binaries_total : 3660
827.96/190.78	c (105,0) c Binaries_winner : 385
827.96/190.78	c (105,0) c Glues_0 : 6774
827.96/190.78	c (105,0) c Glues_1 : 6745
827.96/190.79	c (105,0) c Glues_2 : 6587
827.96/190.79	c (105,0) c Glues_3 : 6468
827.96/190.79	c (105,0) c Glues_4 : 6016
827.96/190.79	c (105,0) c Glues_5 : 6863
827.96/190.79	c (105,0) c Glues_6 : 6234
827.96/190.79	c (105,0) c Glues_7 : 6336
827.96/190.79	c (105,0) c Glues_total : 52023
827.96/190.79	c (105,0) c Glues_winner : 6336
827.96/190.79	c (105,0) c RunningTime_0 : 88.717361
827.96/190.79	c (105,0) c RunningTime_1 : 89.750887
827.96/190.79	c (105,0) c RunningTime_2 : 86.001351
827.96/190.79	c (105,0) c RunningTime_3 : 87.237176
827.96/190.79	c (105,0) c RunningTime_4 : 86.739337
827.96/190.79	c (105,0) c RunningTime_5 : 85.853731
827.96/190.79	c (105,0) c RunningTime_6 : 87.164958
827.96/190.79	c (105,0) c RunningTime_7 : 85.805278
827.96/190.79	c (105,0) c RunningTime_total : 697.270079
827.96/190.79	c (105,0) c RunningTime_winner : 85.805278
827.96/190.79	c (105,0) c WaitingTime_0 : 0.001123
827.96/190.79	c (105,0) c WaitingTime_1 : 0.000849
827.96/190.79	c (105,0) c WaitingTime_2 : 1.947808
827.96/190.79	c (105,0) c WaitingTime_3 : 0.900509
827.96/190.79	c (105,0) c WaitingTime_4 : 1.279034
827.96/190.79	c (105,0) c WaitingTime_5 : 2.147239
827.96/190.79	c (105,0) c WaitingTime_6 : 0.918297
827.96/190.79	c (105,0) c WaitingTime_7 : 2.106936
827.96/190.79	c (105,0) c WaitingTime_total : 9.301793
827.96/190.79	c (105,0) c WaitingTime_winner : 2.106936
827.96/190.79	c (105,0) c ExchangingTime_0 : 0.087643
827.96/190.79	c (105,0) c ExchangingTime_1 : 0.087850
827.96/190.79	c (105,0) c ExchangingTime_2 : 0.089320
827.96/190.79	c (105,0) c ExchangingTime_3 : 0.086481
827.96/190.79	c (105,0) c ExchangingTime_4 : 0.086094
827.96/190.79	c (105,0) c ExchangingTime_5 : 0.085350
827.96/190.79	c (105,0) c ExchangingTime_6 : 0.085344
827.96/190.79	c (105,0) c ExchangingTime_7 : 0.087000
827.96/190.79	c (105,0) c ExchangingTime_total : 0.695082
827.96/190.79	c (105,0) c ExchangingTime_winner : 0.087000
827.96/190.79	c (105,0) c PeriodProcTime_0 : 0.006878
827.96/190.79	c (105,0) c PeriodProcTime_1 : 0.008368
827.96/190.79	c (105,0) c PeriodProcTime_2 : 0.006940
827.96/190.79	c (105,0) c PeriodProcTime_3 : 0.005614
827.96/190.79	c (105,0) c PeriodProcTime_4 : 0.005939
827.96/190.79	c (105,0) c PeriodProcTime_5 : 0.008684
827.96/190.79	c (105,0) c PeriodProcTime_6 : 0.005597
827.96/190.79	c (105,0) c PeriodProcTime_7 : 0.006785
827.96/190.79	c (105,0) c PeriodProcTime_total : 0.054805
827.96/190.79	c (105,0) c PeriodProcTime_winner : 0.006785
827.96/190.79	c (105,0) c SolvingTime_0 : 88.813006
827.96/190.79	c (105,0) c SolvingTime_1 : 89.847954
827.96/190.79	c (105,0) c SolvingTime_2 : 88.045419
827.96/190.79	c (105,0) c SolvingTime_3 : 88.229781
827.96/190.79	c (105,0) c SolvingTime_4 : 88.110404
827.96/190.79	c (105,0) c SolvingTime_5 : 88.095003
827.96/190.79	c (105,0) c SolvingTime_6 : 88.174195
827.96/190.79	c (105,0) c SolvingTime_7 : 88.005998
827.96/190.79	c (105,0) c SolvingTime_total : 707.321759
827.96/190.79	c (105,0) c SolvingTime_winner : 88.005998
827.96/190.79	c (105,0) c PropagationTime_0 : 72.188251
827.96/190.79	c (105,0) c PropagationTime_1 : 73.646346
827.96/190.79	c (105,0) c PropagationTime_2 : 71.646713
827.96/190.79	c (105,0) c PropagationTime_3 : 72.328492
827.96/190.79	c (105,0) c PropagationTime_4 : 71.199374
827.96/190.79	c (105,0) c PropagationTime_5 : 70.851355
827.96/190.79	c (105,0) c PropagationTime_6 : 71.598301
827.96/190.79	c (105,0) c PropagationTime_7 : 70.883916
827.96/190.79	c (105,0) c PropagationTime_total : 574.342748
827.96/190.79	c (105,0) c PropagationTime_winner : 70.883916
827.96/190.79	c (105,0) c AnalysisTime_0 : 11.688624
827.96/190.79	c (105,0) c AnalysisTime_1 : 11.254206
827.96/190.79	c (105,0) c AnalysisTime_2 : 11.294561
827.96/190.79	c (105,0) c AnalysisTime_3 : 10.889324
827.96/190.79	c (105,0) c AnalysisTime_4 : 11.731365
827.96/190.79	c (105,0) c AnalysisTime_5 : 11.929842
827.96/190.79	c (105,0) c AnalysisTime_6 : 11.417235
827.96/190.79	c (105,0) c AnalysisTime_7 : 11.940915
827.96/190.79	c (105,0) c AnalysisTime_total : 92.146071
827.96/190.79	c (105,0) c AnalysisTime_winner : 11.940915
827.96/190.79	c (105,0) c ReductionTime_0 : 0.530151
827.96/190.79	c (105,0) c ReductionTime_1 : 0.524152
827.96/190.79	c (105,0) c ReductionTime_2 : 0.537502
827.96/190.79	c (105,0) c ReductionTime_3 : 0.545933
827.96/190.79	c (105,0) c ReductionTime_4 : 0.545860
827.96/190.79	c (105,0) c ReductionTime_5 : 0.542633
827.96/190.79	c (105,0) c ReductionTime_6 : 0.558245
827.96/190.79	c (105,0) c ReductionTime_7 : 0.571203
827.96/190.79	c (105,0) c ReductionTime_total : 4.355679
827.96/190.79	c (105,0) c ReductionTime_winner : 0.571203
827.96/190.79	c (105,0) c SimplifyTime_0 : 1.197534
827.96/190.79	c (105,0) c SimplifyTime_1 : 1.192816
827.96/190.79	c (105,0) c SimplifyTime_2 : 1.410162
827.96/190.79	c (105,0) c SimplifyTime_3 : 1.281271
827.96/190.79	c (105,0) c SimplifyTime_4 : 1.347329
827.96/190.79	c (105,0) c SimplifyTime_5 : 1.555008
827.96/190.79	c (105,0) c SimplifyTime_6 : 1.425155
827.96/190.79	c (105,0) c SimplifyTime_7 : 1.489181
827.96/190.79	c (105,0) c SimplifyTime_total : 10.898456
827.96/190.79	c (105,0) c SimplifyTime_winner : 1.489181
827.96/190.79	c (105,0) c UsedRateTime_0 : 0.000000
827.96/190.79	c (105,0) c UsedRateTime_1 : 0.000000
827.96/190.79	c (105,0) c UsedRateTime_2 : 0.000000
827.96/190.79	c (105,0) c UsedRateTime_3 : 0.000000
827.96/190.79	c (105,0) c UsedRateTime_4 : 0.000000
827.96/190.79	c (105,0) c UsedRateTime_5 : 0.000000
827.96/190.79	c (105,0) c UsedRateTime_6 : 0.000000
827.96/190.79	c (105,0) c UsedRateTime_7 : 0.000000
827.96/190.79	c (105,0) c UsedRateTime_total : 0.000000
827.96/190.79	c (105,0) c UsedRateTime_winner : 0.000000
827.96/190.79	c (105,0) c OverlapRateTime_0 : 0.000000
827.96/190.79	c (105,0) c OverlapRateTime_1 : 0.000000
827.96/190.79	c (105,0) c OverlapRateTime_2 : 0.000000
827.96/190.79	c (105,0) c OverlapRateTime_3 : 0.000000
827.96/190.79	c (105,0) c OverlapRateTime_4 : 0.000000
827.96/190.79	c (105,0) c OverlapRateTime_5 : 0.000000
827.96/190.79	c (105,0) c OverlapRateTime_6 : 0.000000
827.96/190.79	c (105,0) c OverlapRateTime_7 : 0.000000
827.96/190.79	c (105,0) c OverlapRateTime_total : 0.000000
827.96/190.79	c (105,0) c OverlapRateTime_winner : 0.000000
827.96/190.79	c (105,0) c
827.96/190.79	c (105,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
827.96/190.79	c (105,0) c
827.96/190.79	c (105,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
827.96/190.79	c (105,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
827.96/190.79	c (105,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
827.96/190.79	c (105,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
827.96/190.79	c (105,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
827.96/190.79	c (105,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
827.96/190.79	c (105,0) c | Initial random_seed   | 1676810150 |  667132057 | 1612827587 |  965599956 | 1345692515 | 1218799992 |  729598820 | 1877392234 |
827.96/190.79	c (105,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
827.96/190.79	c (105,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
827.96/190.79	c (105,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
827.96/190.79	c (105,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
827.96/190.79	c (105,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
827.96/190.79	c (105,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
827.96/190.79	c (105,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
827.96/190.79	c (105,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
827.96/190.79	c (105,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
827.96/190.79	c (105,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
827.96/190.79	c (105,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
827.96/190.79	c (105,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
827.96/190.79	c (105,0) 
827.96/190.79	c (105,0) s SATISFIABLE
118.00/190.91	c (105,0) SatSolver.solve End
118.00/190.91	c (105,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
118.00/190.91	c (105,0) Show results Begin
828.65/191.03	c (105,0) x[0] = 367
828.65/191.03	c (105,0) x[1] = 15
828.65/191.03	c (105,0) x[2] = 181
828.65/191.03	c (105,0) x[3] = 310
828.65/191.03	c (105,0) x[4] = 197
828.65/191.03	c (105,0) x[5] = 87
828.65/191.03	c (105,0) x[6] = 27
828.65/191.03	c (105,0) x[7] = 94
828.65/191.03	c (105,0) x[8] = 24
828.65/191.03	c (105,0) x[9] = 88
828.65/191.03	c (105,0) x[10] = 379
828.65/191.03	c (105,0) x[11] = 316
828.65/191.03	c (105,0) x[12] = 7
828.65/191.03	c (105,0) x[13] = 315
828.65/191.03	c (105,0) x[14] = 307
828.65/191.03	c (105,0) x[15] = 282
828.65/191.03	c (105,0) x[16] = 279
828.65/191.03	c (105,0) x[17] = 275
828.65/191.03	c (105,0) x[18] = 53
828.65/191.03	c (105,0) x[19] = 311
828.65/191.03	c (105,0) x[20] = 55
828.65/191.03	c (105,0) x[21] = 175
828.65/191.03	c (105,0) x[22] = 20
828.65/191.03	c (105,0) x[23] = 99
828.65/191.03	c (105,0) x[24] = 228
828.65/191.03	c (105,0) x[25] = 297
828.65/191.03	c (105,0) x[26] = 43
828.65/191.03	c (105,0) x[27] = 240
828.65/191.03	c (105,0) x[28] = 314
828.65/191.03	c (105,0) x[29] = 67
828.65/191.03	c (105,0) x[30] = 110
828.65/191.03	c (105,0) x[31] = 166
828.65/191.03	c (105,0) x[32] = 32
828.65/191.03	c (105,0) x[33] = 40
828.65/191.03	c (105,0) x[34] = 337
828.65/191.03	c (105,0) x[35] = 280
828.65/191.03	c (105,0) x[36] = 131
828.65/191.03	c (105,0) x[37] = 261
828.65/191.03	c (105,0) x[38] = 319
828.65/191.03	c (105,0) x[39] = 16
828.65/191.03	c (105,0) x[40] = 225
828.65/191.03	c (105,0) x[41] = 347
828.65/191.03	c (105,0) x[42] = 259
828.65/191.03	c (105,0) x[43] = 186
828.65/191.03	c (105,0) x[44] = 338
828.65/191.03	c (105,0) x[45] = 339
828.65/191.03	c (105,0) x[46] = 82
828.65/191.03	c (105,0) x[47] = 145
828.65/191.03	c (105,0) x[48] = 49
828.65/191.03	c (105,0) x[49] = 374
828.65/191.03	c (105,0) x[50] = 355
828.65/191.03	c (105,0) x[51] = 370
828.65/191.03	c (105,0) x[52] = 210
828.65/191.03	c (105,0) x[53] = 111
828.65/191.03	c (105,0) x[54] = 13
828.65/191.03	c (105,0) x[55] = 381
828.65/191.04	c (105,0) x[56] = 143
828.65/191.04	c (105,0) x[57] = 180
828.65/191.04	c (105,0) x[58] = 21
828.65/191.04	c (105,0) x[59] = 323
828.65/191.04	c (105,0) x[60] = 285
828.65/191.04	c (105,0) x[61] = 396
828.65/191.04	c (105,0) x[62] = 371
828.65/191.04	c (105,0) x[63] = 378
828.65/191.04	c (105,0) x[64] = 29
828.65/191.04	c (105,0) x[65] = 201
828.65/191.04	c (105,0) x[66] = 95
828.65/191.04	c (105,0) x[67] = 160
828.65/191.04	c (105,0) x[68] = 146
828.65/191.04	c (105,0) x[69] = 340
828.65/191.04	c (105,0) x[70] = 71
828.65/191.04	c (105,0) x[71] = 173
828.65/191.04	c (105,0) x[72] = 231
828.65/191.04	c (105,0) x[73] = 182
828.65/191.04	c (105,0) x[74] = 127
828.65/191.04	c (105,0) x[75] = 126
828.65/191.04	c (105,0) x[76] = 18
828.65/191.04	c (105,0) x[77] = 273
828.65/191.04	c (105,0) x[78] = 144
828.65/191.04	c (105,0) x[79] = 308
828.65/191.04	s SATISFIABLE
828.65/191.04	v <instantiation>
828.65/191.04	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79]</list>
828.65/191.04	v     <values>367 15 181 310 197 87 27 94 24 88 379 316 7 315 307 282 279 275 53 311 55 175 20 99 228 297 43 240 314 67 110 166 32 40 337 280 131 261 319 16 225 347 259 186 338 339 82 145 49 374 355 370 210 111 13 381 143 180 21 323 285 396 371 378 29 201 95 160 146 340 71 173 231 182 127 126 18 273 144 308</values>
828.65/191.04	v </instantiation>
828.65/191.04	c (105,0) Show results End
828.65/191.04	c (105,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
828.65/191.04	c (105,0) 105,105,STOP-AFTER(ALL)
828.65/191.04	c END-Prog: Tue Sep 24 17:26:13 CEST 2019

Verifier Data 

OK

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 (12755 MiB free)
  memory of node 1: 16384 MiB (10070 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405156-1569338622/watcher-4405156-1569338622 -o /tmp/evaluation-result-4405156-1569338622/solver-4405156-1569338622 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --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-4405156-1569338622.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=10075, runsolver pid=10072
Current StackSize limit: 8192 KiB


[startup+0.100105 s]*
/proc/loadavg: 6.20 3.44 1.95 3/213 10097
/proc/meminfo: memFree=23281712/32770624 swapFree=66956484/67108860
[pid=10075] ppid=10072 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10075/stat : 10075 (scop.sh) S 10072 10075 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510133556 115843072 349 33554432000 4194304 5098028 140731935576400 140731935573656 140398319436412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11554816 140731935580965 140731935581292 140731935581292 140731935584205 0
/proc/10075/statm: 28282 349 296 221 0 87 0
[pid=10078] ppid=10075 vsize=27314120 memory=105416 CPUtime=0.1 cores=0-7
/proc/10078/stat : 10078 (java) S 10075 10075 8819 0 -1 1077944320 6956 0 0 0 8 2 0 0 20 0 20 0 510133556 27969658880 26354 33554432000 4194304 4196468 140722003133504 140722003116048 139946816024311 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
/proc/10078/statm: 6828530 26354 2797 1 0 6790935 0
[pid=10078/tid=10079] ppid=10075 vsize=27314120 memory=7679933072689504670 CPUtime=0.09 cores=0-7
/proc/10078/task/10079/stat : 10079 (java) R 10075 10075 8819 0 -1 4202560 5044 0 0 0 7 2 0 0 20 0 20 0 510133556 27969658880 26354 33554432000 4194304 4196468 140722003133504 139946787845632 139946800104798 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10080] ppid=10075 vsize=27314120 memory=732369959650110437 CPUtime=0 cores=0-7
/proc/10078/task/10080/stat : 10080 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 26354 33554432000 4194304 4196468 140722003133504 139946820266384 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10081] ppid=10075 vsize=27314120 memory=139821312657024 CPUtime=0 cores=0-7
/proc/10078/task/10081/stat : 10081 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 26354 33554432000 4194304 4196468 140722003133504 139946634422544 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10082] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10082/stat : 10082 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 26354 33554432000 4194304 4196468 140722003133504 139946633370256 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10083] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10083/stat : 10083 (java) S 10075 10075 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 26354 33554432000 4194304 4196468 140722003133504 139946632317456 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10084] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10084/stat : 10084 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 26354 33554432000 4194304 4196468 140722003133504 139946631265168 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10085] ppid=10075 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10078/task/10085/stat : 10085 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 26354 33554432000 4194304 4196468 140722003133504 139946630212368 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10086] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10086/stat : 10086 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 26354 33554432000 4194304 4196468 140722003133504 139946629160080 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10087] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10087/stat : 10087 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 26354 33554432000 4194304 4196468 140722003133504 139946628107280 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10088] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10088/stat : 10088 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133560 27969658880 26354 33554432000 4194304 4196468 140722003133504 139945807104112 139946816035458 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10089] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10089/stat : 10089 (java) S 10075 10075 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510133561 27969658880 26354 33554432000 4194304 4196468 140722003133504 139944731337504 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10090] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10090/stat : 10090 (java) S 10075 10075 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510133561 27969658880 26354 33554432000 4194304 4196468 140722003133504 139944597116016 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10091] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10091/stat : 10091 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133563 27969658880 26354 33554432000 4194304 4196468 140722003133504 139944222611536 139946816042907 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10092] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10092/stat : 10092 (java) S 10075 10075 8819 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 510133563 27969658880 26354 33554432000 4194304 4196468 140722003133504 139944462895728 139946816035458 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10093] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10093/stat : 10093 (java) S 10075 10075 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510133563 27969658880 26354 33554432000 4194304 4196468 140722003133504 139944461842928 139946816035458 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10094] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10094/stat : 10094 (java) S 10075 10075 8819 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510133563 27969658880 26354 33554432000 4194304 4196468 140722003133504 139944460790640 139946816035458 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10095] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10095/stat : 10095 (java) S 10075 10075 8819 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 20 0 510133563 27969658880 26354 33554432000 4194304 4196468 140722003133504 139944459737840 139946816035458 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10096] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10096/stat : 10096 (java) S 10075 10075 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510133564 27969658880 26354 33554432000 4194304 4196468 140722003133504 139943724706144 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10097] ppid=10075 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10078/task/10097/stat : 10097 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133564 27969658880 26354 33554432000 4194304 4196468 140722003133504 139944458684720 139946816035458 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106812 KiB

[startup+0.210323 s]*
/proc/loadavg: 6.20 3.44 1.95 3/213 10097
/proc/meminfo: memFree=23264280/32770624 swapFree=66956484/67108860
[pid=10075] ppid=10072 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10075/stat : 10075 (scop.sh) S 10072 10075 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510133556 115843072 349 33554432000 4194304 5098028 140731935576400 140731935573656 140398319436412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11554816 140731935580965 140731935581292 140731935581292 140731935584205 0
/proc/10075/statm: 28282 349 296 221 0 87 0
[pid=10078] ppid=10075 vsize=27314120 memory=122264 CPUtime=0.25 cores=0-7
/proc/10078/stat : 10078 (java) S 10075 10075 8819 0 -1 1077944320 11958 0 0 0 21 4 0 0 20 0 20 0 510133556 27969658880 30566 33554432000 4194304 4196468 140722003133504 140722003116048 139946816024311 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
/proc/10078/statm: 6828530 30566 2919 1 0 6790935 0
[pid=10078/tid=10079] ppid=10075 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/10078/task/10079/stat : 10079 (java) R 10075 10075 8819 0 -1 4202560 9651 0 0 0 16 3 0 0 20 0 20 0 510133556 27969658880 30566 33554432000 4194304 4196468 140722003133504 139946787837744 139946797587863 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10080] ppid=10075 vsize=27314120 memory=732369959650110437 CPUtime=0 cores=0-7
/proc/10078/task/10080/stat : 10080 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 30566 33554432000 4194304 4196468 140722003133504 139946820266384 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10081] ppid=10075 vsize=27314120 memory=139821312657024 CPUtime=0 cores=0-7
/proc/10078/task/10081/stat : 10081 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 30566 33554432000 4194304 4196468 140722003133504 139946634422544 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10082] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10082/stat : 10082 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 30566 33554432000 4194304 4196468 140722003133504 139946633370256 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10083] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10083/stat : 10083 (java) S 10075 10075 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 30566 33554432000 4194304 4196468 140722003133504 139946632317456 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10084] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10084/stat : 10084 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 30566 33554432000 4194304 4196468 140722003133504 139946631265168 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10085] ppid=10075 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10078/task/10085/stat : 10085 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 30566 33554432000 4194304 4196468 140722003133504 139946630212368 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10086] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10086/stat : 10086 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 30566 33554432000 4194304 4196468 140722003133504 139946629160080 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10087] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10087/stat : 10087 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 30566 33554432000 4194304 4196468 140722003133504 139946628107280 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10088] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10088/stat : 10088 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133560 27969658880 30566 33554432000 4194304 4196468 140722003133504 139945807104112 139946816035458 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10089] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10089/stat : 10089 (java) S 10075 10075 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510133561 27969658880 30566 33554432000 4194304 4196468 140722003133504 139944731337504 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10090] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10090/stat : 10090 (java) S 10075 10075 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510133561 27969658880 30566 33554432000 4194304 4196468 140722003133504 139944597116016 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10091] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10091/stat : 10091 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133563 27969658880 30566 33554432000 4194304 4196468 140722003133504 139944222611536 139946816042907 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10092] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10092/stat : 10092 (java) S 10075 10075 8819 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 510133563 27969658880 30566 33554432000 4194304 4196468 140722003133504 139944462895728 139946816035458 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10093] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10093/stat : 10093 (java) S 10075 10075 8819 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 510133563 27969658880 30566 33554432000 4194304 4196468 140722003133504 139944461842928 139946816035458 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10094] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10094/stat : 10094 (java) S 10075 10075 8819 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510133563 27969658880 30566 33554432000 4194304 4196468 140722003133504 139944460790640 139946816035458 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10095] ppid=10075 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/10078/task/10095/stat : 10095 (java) S 10075 10075 8819 0 -1 1077944384 468 0 0 0 2 0 0 0 20 0 20 0 510133563 27969658880 30566 33554432000 4194304 4196468 140722003133504 139944459737840 139946816035458 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10096] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10096/stat : 10096 (java) S 10075 10075 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510133564 27969658880 30566 33554432000 4194304 4196468 140722003133504 139943724706144 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10097] ppid=10075 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10078/task/10097/stat : 10097 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133564 27969658880 30566 33554432000 4194304 4196468 140722003133504 139944458684720 139946816035458 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123660 KiB

[startup+0.309759 s]*
/proc/loadavg: 6.20 3.44 1.95 2/213 10097
/proc/meminfo: memFree=23261116/32770624 swapFree=66956484/67108860
[pid=10075] ppid=10072 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10075/stat : 10075 (scop.sh) S 10072 10075 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510133556 115843072 349 33554432000 4194304 5098028 140731935576400 140731935573656 140398319436412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11554816 140731935580965 140731935581292 140731935581292 140731935584205 0
/proc/10075/statm: 28282 349 296 221 0 87 0
[pid=10078] ppid=10075 vsize=27314120 memory=125932 CPUtime=0.42 cores=0-7
/proc/10078/stat : 10078 (java) S 10075 10075 8819 0 -1 1077944320 12895 0 0 0 38 4 0 0 20 0 20 0 510133556 27969658880 31483 33554432000 4194304 4196468 140722003133504 140722003116048 139946816024311 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
/proc/10078/statm: 6828530 31483 3028 1 0 6790935 0
[pid=10078/tid=10079] ppid=10075 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/10078/task/10079/stat : 10079 (java) R 10075 10075 8819 0 -1 4202560 10416 0 0 0 26 4 0 0 20 0 20 0 510133556 27969658880 31483 33554432000 4194304 4196468 140722003133504 139946787837024 139946800104798 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10080] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10080/stat : 10080 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 31483 33554432000 4194304 4196468 140722003133504 139946820266384 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10081] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10081/stat : 10081 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 31483 33554432000 4194304 4196468 140722003133504 139946634422544 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10082] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10082/stat : 10082 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 31483 33554432000 4194304 4196468 140722003133504 139946633370256 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10083] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10083/stat : 10083 (java) S 10075 10075 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 31483 33554432000 4194304 4196468 140722003133504 139946632317456 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10084] ppid=10075 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/10078/task/10084/stat : 10084 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 31483 33554432000 4194304 4196468 140722003133504 139946631265168 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10085] ppid=10075 vsize=27314120 memory=139821184021423 CPUtime=0 cores=0-7
/proc/10078/task/10085/stat : 10085 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 31483 33554432000 4194304 4196468 140722003133504 139946630212368 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10086] ppid=10075 vsize=27314120 memory=139821184023728 CPUtime=0 cores=0-7
/proc/10078/task/10086/stat : 10086 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 31483 33554432000 4194304 4196468 140722003133504 139946629160080 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10087] ppid=10075 vsize=27314120 memory=139821184026032 CPUtime=0 cores=0-7
/proc/10078/task/10087/stat : 10087 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133559 27969658880 31483 33554432000 4194304 4196468 140722003133504 139946628107280 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10088] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10088/stat : 10088 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133560 27969658880 31483 33554432000 4194304 4196468 140722003133504 139945807104112 139946816035458 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10089] ppid=10075 vsize=27314120 memory=279642368059024 CPUtime=0 cores=0-7
/proc/10078/task/10089/stat : 10089 (java) S 10075 10075 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510133561 27969658880 31483 33554432000 4194304 4196468 140722003133504 139944731337504 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10090] ppid=10075 vsize=27314120 memory=279642368065936 CPUtime=0 cores=0-7
/proc/10078/task/10090/stat : 10090 (java) S 10075 10075 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510133561 27969658880 31483 33554432000 4194304 4196468 140722003133504 139944597116016 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10091] ppid=10075 vsize=27314120 memory=279642368007216 CPUtime=0 cores=0-7
/proc/10078/task/10091/stat : 10091 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133563 27969658880 31483 33554432000 4194304 4196468 140722003133504 139944222611536 139946816042907 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10092] ppid=10075 vsize=27314120 memory=279642368079760 CPUtime=0.02 cores=0-7
/proc/10078/task/10092/stat : 10092 (java) R 10075 10075 8819 0 -1 4202560 514 0 0 0 2 0 0 0 20 0 20 0 510133563 27969658880 31483 33554432000 4194304 4196468 140722003133504 139944462895728 139946802038641 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10093] ppid=10075 vsize=27314120 memory=279642368086672 CPUtime=0 cores=0-7
/proc/10078/task/10093/stat : 10093 (java) S 10075 10075 8819 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 510133563 27969658880 31483 33554432000 4194304 4196468 140722003133504 139944461842928 139946816035458 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10094] ppid=10075 vsize=27314120 memory=279642368084368 CPUtime=0 cores=0-7
/proc/10078/task/10094/stat : 10094 (java) S 10075 10075 8819 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 510133563 27969658880 31483 33554432000 4194304 4196468 140722003133504 139944460790640 139946816035458 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10095] ppid=10075 vsize=27314120 memory=279642368100528 CPUtime=0.07 cores=0-7
/proc/10078/task/10095/stat : 10095 (java) S 10075 10075 8819 0 -1 1077944384 490 0 0 0 7 0 0 0 20 0 20 0 510133563 27969658880 31483 33554432000 4194304 4196468 140722003133504 139944459737840 139946816035458 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10096] ppid=10075 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10096/stat : 10096 (java) S 10075 10075 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510133564 27969658880 31483 33554432000 4194304 4196468 140722003133504 139943724706144 139946816034517 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10097] ppid=10075 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10078/task/10097/stat : 10097 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133564 27969658880 31483 33554432000 4194304 4196468 140722003133504 139944458684720 139946816035458 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127328 KiB

[startup+0.700992 s]
/proc/loadavg: 6.20 3.44 1.95 2/213 10097
/proc/meminfo: memFree=23237056/32770624 swapFree=66956484/67108860
[pid=10075] ppid=10072 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10075/stat : 10075 (scop.sh) S 10072 10075 8819 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510133556 115843072 349 33554432000 4194304 5098028 140731935576400 140731935573656 140398319436412 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11554816 140731935580965 140731935581292 140731935581292 140731935584205 0
/proc/10075/statm: 28282 349 296 221 0 87 0
[pid=10078] ppid=10075 vsize=27322440 memory=163772 CPUtime=1.01 cores=0-7
/proc/10078/stat : 10078 (java) S 10075 10075 8819 0 -1 1077944320 20589 0 0 0 94 7 0 0 20 0 20 0 510133556 27978178560 40943 33554432000 4194304 4196468 140722003133504 140722003116048 139946816024311 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
/proc/10078/statm: 6830610 40943 3190 1 0 6791959 0
[pid=10078/tid=10079] ppid=10075 vsize=27322440 memory=279642368395456 CPUtime=0.68 cores=0-7
/proc/10078/task/10079/stat : 10079 (java) R 10075 10075 8819 0 -1 4202560 17508 0 0 0 62 6 0 0 20 0 20 0 510133556 27978178560 40943 33554432000 4194304 4196468 140722003133504 139946787856032 139946816046237 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10080] ppid=10075 vsize=27322440 memory=5076651345044 CPUtime=0 cores=0-7
/proc/10078/task/10080/stat : 10080 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27978178560 40943 33554432000 4194304 4196468 140722003133504 139946820266384 139946816034517 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10081] ppid=10075 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10081/stat : 10081 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510133559 27978178560 40943 33554432000 4194304 4196468 140722003133504 139946634422544 139946816034517 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0
[pid=10078/tid=10082] ppid=10075 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/10078/task/10082/stat : 10082 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510133559 27978178560 40943 33554432000 4194304 4196468 140722003133504 139946633370256 139946816034517 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25235456 140722003137259 140722003137686 140722003137686 140722003140559 0

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

/proc/10105/task/10109/stat : 10109 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510142028 8616062976 30297 33554432000 4194304 4196468 140721926380384 139683907713808 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10110] ppid=10075 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/10105/task/10110/stat : 10110 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510142028 8616062976 30297 33554432000 4194304 4196468 140721926380384 139683906661264 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10111] ppid=10075 vsize=8414124 memory=976 CPUtime=0 cores=0-7
/proc/10105/task/10111/stat : 10111 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510142029 8616062976 30297 33554432000 4194304 4196468 140721926380384 139683905608208 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10112] ppid=10075 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/10105/task/10112/stat : 10112 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510142029 8616062976 30297 33554432000 4194304 4196468 140721926380384 139683904555664 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10113] ppid=10075 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10105/task/10113/stat : 10113 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510142029 8616062976 30297 33554432000 4194304 4196468 140721926380384 139683903502608 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10114] ppid=10075 vsize=8414124 memory=121188 CPUtime=0 cores=0-7
/proc/10105/task/10114/stat : 10114 (java) S 10075 10075 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510142029 8616062976 30297 33554432000 4194304 4196468 140721926380384 139683902450064 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10115] ppid=10075 vsize=8414124 memory=2219248 CPUtime=0 cores=0-7
/proc/10105/task/10115/stat : 10115 (java) S 10075 10075 8819 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 510142030 8616062976 30297 33554432000 4194304 4196468 140721926380384 139683197569776 139684104366722 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10116] ppid=10075 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10105/task/10116/stat : 10116 (java) S 10075 10075 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510142030 8616062976 30297 33554432000 4194304 4196468 140721926380384 139682671224480 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10117] ppid=10075 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/10105/task/10117/stat : 10117 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510142031 8616062976 30297 33554432000 4194304 4196468 140721926380384 139682402788592 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10118] ppid=10075 vsize=8414124 memory=51788 CPUtime=0 cores=0-7
/proc/10105/task/10118/stat : 10118 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510142033 8616062976 30297 33554432000 4194304 4196468 140721926380384 139682028280272 139684104374171 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10119] ppid=10075 vsize=8414124 memory=2124 CPUtime=0.06 cores=0-7
/proc/10105/task/10119/stat : 10119 (java) S 10075 10075 8819 0 -1 1077944384 289 0 0 0 6 0 0 0 20 0 24 0 510142034 8616062976 30297 33554432000 4194304 4196468 140721926380384 139683196516592 139684104366722 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10120] ppid=10075 vsize=8414124 memory=21932 CPUtime=0.05 cores=0-7
/proc/10105/task/10120/stat : 10120 (java) S 10075 10075 8819 0 -1 1077944384 229 0 0 0 5 0 0 0 20 0 24 0 510142034 8616062976 30297 33554432000 4194304 4196468 140721926380384 139683195464048 139684104366722 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10121] ppid=10075 vsize=8414124 memory=504 CPUtime=0.06 cores=0-7
/proc/10105/task/10121/stat : 10121 (java) S 10075 10075 8819 0 -1 1077944384 653 0 0 0 6 0 0 0 20 0 24 0 510142034 8616062976 30297 33554432000 4194304 4196468 140721926380384 139683194410992 139684104366722 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10122] ppid=10075 vsize=8414124 memory=1564 CPUtime=0.21 cores=0-7
/proc/10105/task/10122/stat : 10122 (java) S 10075 10075 8819 0 -1 1077944384 805 0 0 0 21 0 0 0 20 0 24 0 510142034 8616062976 30297 33554432000 4194304 4196468 140721926380384 139683193358448 139684104366722 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10123] ppid=10075 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/10105/task/10123/stat : 10123 (java) S 10075 10075 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510142034 8616062976 30297 33554432000 4194304 4196468 140721926380384 139681530375136 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10124] ppid=10075 vsize=8414124 memory=1420 CPUtime=0.06 cores=0-7
/proc/10105/task/10124/stat : 10124 (java) S 10075 10075 8819 0 -1 1077944384 33 0 0 0 3 3 0 0 20 0 24 0 510142034 8616062976 30297 33554432000 4194304 4196468 140721926380384 139683192306864 139684104366722 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10126] ppid=10075 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/10105/task/10126/stat : 10126 (java) S 10075 10075 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510142116 8616062976 30297 33554432000 4194304 4196468 140721926380384 139683543950784 139684104380185 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10128] ppid=10075 vsize=8414124 memory=2532 CPUtime=0 cores=0-7
/proc/10105/task/10128/stat : 10128 (java) S 10075 10075 8819 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 24 0 510142116 8616062976 30297 33554432000 4194304 4196468 140721926380384 139681127710224 139684104377501 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10129] ppid=10075 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/10105/task/10129/stat : 10129 (java) S 10075 10075 8819 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 510142116 8616062976 30297 33554432000 4194304 4196468 140721926380384 139680859274896 139684104377501 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10130] ppid=10075 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/10105/task/10130/stat : 10130 (java) S 10075 10075 8819 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510142118 8616062976 30297 33554432000 4194304 4196468 140721926380384 139680590846896 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
Current children cumulated CPU time: 827.66 s
Current children cumulated vsize: 11204696 KiB
Current children cumulated memory: 2341948 KiB

[startup+190.801 s]
/proc/loadavg: 6.47 4.10 2.42 2/218 10146
/proc/meminfo: memFree=20976348/32770624 swapFree=66956484/67108860
[pid=10075] ppid=10072 vsize=113128 memory=1476 CPUtime=116.49 cores=0-7
/proc/10075/stat : 10075 (scop.sh) S 10072 10075 8819 0 -1 4202496 582 70948 0 0 0 0 11053 596 20 0 1 0 510133556 115843072 369 33554432000 4194304 5098028 140731935576400 140731935573144 140398319436412 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11554816 140731935580965 140731935581292 140731935581292 140731935584205 0
/proc/10075/statm: 28282 369 311 221 0 87 0
[pid=10105] ppid=10075 vsize=8414124 memory=122608 CPUtime=1.34 cores=0-7
/proc/10105/stat : 10105 (java) S 10075 10075 8819 0 -1 1077944320 21721 0 0 0 125 9 0 0 20 0 24 0 510142026 8616062976 30652 33554432000 4194304 4196468 140721926380384 140721926362928 139684104355575 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
/proc/10105/statm: 2103531 30652 3220 1 0 2064875 0
[pid=10125] ppid=10105 vsize=2644796 memory=2219252 CPUtime=710.29 cores=0-7
/proc/10125/stat : 10125 (manyglucose-4.1) R 10105 10075 8819 0 -1 4202496 3799046 0 0 0 70485 544 0 0 20 0 1 0 510142116 2708271104 554813 33554432000 4194304 4454172 140726645207280 140726645204000 140509775809661 0 4 0 8388610 0 0 0 17 4 0 0 0 0 0 6552832 6554400 29941760 140726645216105 140726645216304 140726645216304 140726645219258 0
/proc/10125/statm: 661199 554813 422 64 0 656867 0
[pid=10105/tid=10106] ppid=10075 vsize=8414124 memory=121188 CPUtime=0.77 cores=0-7
/proc/10105/task/10106/stat : 10106 (java) S 10075 10075 8819 0 -1 1077944384 17925 0 0 0 71 6 0 0 20 0 24 0 510142027 8616062976 30652 33554432000 4194304 4196468 140721926380384 139684076195744 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10107] ppid=10075 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/10105/task/10107/stat : 10107 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510142028 8616062976 30652 33554432000 4194304 4196468 140721926380384 139684108598288 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10108] ppid=10075 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/10105/task/10108/stat : 10108 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510142028 8616062976 30652 33554432000 4194304 4196468 140721926380384 139683908766864 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10109] ppid=10075 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/10105/task/10109/stat : 10109 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510142028 8616062976 30652 33554432000 4194304 4196468 140721926380384 139683907713808 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10110] ppid=10075 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/10105/task/10110/stat : 10110 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510142028 8616062976 30652 33554432000 4194304 4196468 140721926380384 139683906661264 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10111] ppid=10075 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/10105/task/10111/stat : 10111 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510142029 8616062976 30652 33554432000 4194304 4196468 140721926380384 139683905608208 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10112] ppid=10075 vsize=8414124 memory=744 CPUtime=0 cores=0-7
/proc/10105/task/10112/stat : 10112 (java) S 10075 10075 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510142029 8616062976 30652 33554432000 4194304 4196468 140721926380384 139683904555664 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10113] ppid=10075 vsize=8414124 memory=8444 CPUtime=0 cores=0-7
/proc/10105/task/10113/stat : 10113 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510142029 8616062976 30652 33554432000 4194304 4196468 140721926380384 139683903502608 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10114] ppid=10075 vsize=8414124 memory=6172 CPUtime=0 cores=0-7
/proc/10105/task/10114/stat : 10114 (java) S 10075 10075 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510142029 8616062976 30652 33554432000 4194304 4196468 140721926380384 139683902450064 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10115] ppid=10075 vsize=8414124 memory=1124 CPUtime=0 cores=0-7
/proc/10105/task/10115/stat : 10115 (java) S 10075 10075 8819 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 510142030 8616062976 30652 33554432000 4194304 4196468 140721926380384 139683197569776 139684104366722 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10116] ppid=10075 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/10105/task/10116/stat : 10116 (java) S 10075 10075 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510142030 8616062976 30652 33554432000 4194304 4196468 140721926380384 139682671224480 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10117] ppid=10075 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/10105/task/10117/stat : 10117 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510142031 8616062976 30652 33554432000 4194304 4196468 140721926380384 139682402788592 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10118] ppid=10075 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/10105/task/10118/stat : 10118 (java) S 10075 10075 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510142033 8616062976 30652 33554432000 4194304 4196468 140721926380384 139682028280272 139684104374171 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10119] ppid=10075 vsize=8414124 memory=21932 CPUtime=0.07 cores=0-7
/proc/10105/task/10119/stat : 10119 (java) R 10075 10075 8819 0 -1 4202560 461 0 0 0 7 0 0 0 20 0 24 0 510142034 8616062976 30652 33554432000 4194304 4196468 140721926380384 139683196497704 139684096592702 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10120] ppid=10075 vsize=8414124 memory=504 CPUtime=0.06 cores=0-7
/proc/10105/task/10120/stat : 10120 (java) S 10075 10075 8819 0 -1 1077944384 232 0 0 0 6 0 0 0 20 0 24 0 510142034 8616062976 30652 33554432000 4194304 4196468 140721926380384 139683195464048 139684104366722 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10121] ppid=10075 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/10105/task/10121/stat : 10121 (java) S 10075 10075 8819 0 -1 1077944384 659 0 0 0 6 0 0 0 20 0 24 0 510142034 8616062976 31164 33554432000 4194304 4196468 140721926380384 139683194410992 139684104366722 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10122] ppid=10075 vsize=8414124 memory=121188 CPUtime=0.24 cores=0-7
/proc/10105/task/10122/stat : 10122 (java) R 10075 10075 8819 0 -1 4202560 994 0 0 0 24 0 0 0 20 0 24 0 510142034 8616062976 31164 33554432000 4194304 4196468 140721926380384 139683193354616 139684082897044 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10123] ppid=10075 vsize=8414124 memory=2219284 CPUtime=0 cores=0-7
/proc/10105/task/10123/stat : 10123 (java) S 10075 10075 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510142034 8616062976 31164 33554432000 4194304 4196468 140721926380384 139681530375136 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10124] ppid=10075 vsize=8414124 memory=121188 CPUtime=0.06 cores=0-7
/proc/10105/task/10124/stat : 10124 (java) S 10075 10075 8819 0 -1 1077944384 33 0 0 0 3 3 0 0 20 0 24 0 510142034 8616062976 31164 33554432000 4194304 4196468 140721926380384 139683192306864 139684104366722 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10126] ppid=10075 vsize=8414124 memory=2208336 CPUtime=0 cores=0-7
/proc/10105/task/10126/stat : 10126 (java) S 10075 10075 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510142116 8616062976 31164 33554432000 4194304 4196468 140721926380384 139683543950784 139684104380185 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10128] ppid=10075 vsize=8414124 memory=1056 CPUtime=0.03 cores=0-7
/proc/10105/task/10128/stat : 10128 (java) R 10075 10075 8819 0 -1 4202560 43 0 0 0 3 0 0 0 20 0 24 0 510142116 8616062976 31164 33554432000 4194304 4196468 140721926380384 139681127716672 139683562131795 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10129] ppid=10075 vsize=8414124 memory=744 CPUtime=0 cores=0-7
/proc/10105/task/10129/stat : 10129 (java) S 10075 10075 8819 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 510142116 8616062976 31164 33554432000 4194304 4196468 140721926380384 139680859274896 139684104377501 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10130] ppid=10075 vsize=8414124 memory=8444 CPUtime=0 cores=0-7
/proc/10105/task/10130/stat : 10130 (java) S 10075 10075 8819 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510142118 8616062976 31164 33554432000 4194304 4196468 140721926380384 139680590846896 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
Current children cumulated CPU time: 828.12 s
Current children cumulated vsize: 11172048 KiB
Current children cumulated memory: 2343336 KiB

[startup+191.001 s]*
/proc/loadavg: 6.47 4.10 2.42 3/214 10146
/proc/meminfo: memFree=23174312/32770624 swapFree=66956484/67108860
[pid=10075] ppid=10072 vsize=113128 memory=1476 CPUtime=116.49 cores=0-7
/proc/10075/stat : 10075 (scop.sh) S 10072 10075 8819 0 -1 4202496 582 70948 0 0 0 0 11053 596 20 0 1 0 510133556 115843072 369 33554432000 4194304 5098028 140731935576400 140731935573144 140398319436412 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11554816 140731935580965 140731935581292 140731935581292 140731935584205 0
/proc/10075/statm: 28282 369 311 221 0 87 0
[pid=10105] ppid=10075 vsize=8283048 memory=145572 CPUtime=712.16 cores=0-7
/proc/10105/stat : 10105 (java) S 10075 10075 8819 0 -1 1077944320 22340 3799052 0 0 165 10 70486 555 20 0 22 0 510142026 8481841152 36393 33554432000 4194304 4196468 140721926380384 140721926362928 139684104355575 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
/proc/10105/statm: 2070762 36393 3232 1 0 2032106 0
[pid=10105/tid=10106] ppid=10075 vsize=8283048 memory=6791534058613427641 CPUtime=711.27 cores=0-7
/proc/10105/task/10106/stat : 10106 (java) R 10075 10075 8819 0 -1 4202560 18163 3799052 0 0 80 6 70486 555 20 0 22 0 510142027 8481841152 36393 33554432000 4194304 4196468 140721926380384 139684076193120 139684104367510 0 4 2 25189581 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10107] ppid=10075 vsize=8283048 memory=-7003737579269690708 CPUtime=710.41 cores=0-7
/proc/10105/task/10107/stat : 10107 (java) S 10075 10075 8819 0 -1 1077944384 2 3799052 0 0 0 0 70486 555 20 0 22 0 510142028 8481841152 36393 33554432000 4194304 4196468 140721926380384 139684108598288 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10108] ppid=10075 vsize=8283048 memory=6944656575208382560 CPUtime=710.41 cores=0-7
/proc/10105/task/10108/stat : 10108 (java) S 10075 10075 8819 0 -1 1077944384 2 3799052 0 0 0 0 70486 555 20 0 22 0 510142028 8481841152 36393 33554432000 4194304 4196468 140721926380384 139683908766864 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10109] ppid=10075 vsize=8283048 memory=6943526294502006880 CPUtime=710.41 cores=0-7
/proc/10105/task/10109/stat : 10109 (java) S 10075 10075 8819 0 -1 1077944384 2 3799052 0 0 0 0 70486 555 20 0 22 0 510142028 8481841152 36393 33554432000 4194304 4196468 140721926380384 139683907713808 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10110] ppid=10075 vsize=8283048 memory=6944656575208382560 CPUtime=710.41 cores=0-7
/proc/10105/task/10110/stat : 10110 (java) S 10075 10075 8819 0 -1 1077944384 1 3799052 0 0 0 0 70486 555 20 0 22 0 510142028 8481841152 36393 33554432000 4194304 4196468 140721926380384 139683906661264 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10111] ppid=10075 vsize=8283048 memory=121188 CPUtime=710.41 cores=0-7
/proc/10105/task/10111/stat : 10111 (java) S 10075 10075 8819 0 -1 1077944384 2 3799052 0 0 0 0 70486 555 20 0 22 0 510142029 8481841152 36393 33554432000 4194304 4196468 140721926380384 139683905608208 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10112] ppid=10075 vsize=8283048 memory=6958448866314184762 CPUtime=710.41 cores=0-7
/proc/10105/task/10112/stat : 10112 (java) S 10075 10075 8819 0 -1 1077944384 2 3799052 0 0 0 0 70486 555 20 0 22 0 510142029 8481841152 36393 33554432000 4194304 4196468 140721926380384 139683904555664 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10113] ppid=10075 vsize=8283048 memory=4209357772117481859 CPUtime=710.41 cores=0-7
/proc/10105/task/10113/stat : 10113 (java) S 10075 10075 8819 0 -1 1077944384 1 3799052 0 0 0 0 70486 555 20 0 22 0 510142029 8481841152 36393 33554432000 4194304 4196468 140721926380384 139683903502608 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10114] ppid=10075 vsize=8283048 memory=7232886968738802340 CPUtime=710.41 cores=0-7
/proc/10105/task/10114/stat : 10114 (java) S 10075 10075 8819 0 -1 1077944384 3 3799052 0 0 0 0 70486 555 20 0 22 0 510142029 8481841152 36393 33554432000 4194304 4196468 140721926380384 139683902450064 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10115] ppid=10075 vsize=8283048 memory=4783210246294233184 CPUtime=710.41 cores=0-7
/proc/10105/task/10115/stat : 10115 (java) S 10075 10075 8819 0 -1 1077944384 6 3799052 0 0 0 0 70486 555 20 0 22 0 510142030 8481841152 36393 33554432000 4194304 4196468 140721926380384 139683197569776 139684104366722 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10116] ppid=10075 vsize=8283048 memory=7234576917979478634 CPUtime=710.41 cores=0-7
/proc/10105/task/10116/stat : 10116 (java) S 10075 10075 8819 0 -1 1077944384 13 3799052 0 0 0 0 70486 555 20 0 22 0 510142030 8481841152 36393 33554432000 4194304 4196468 140721926380384 139682671224480 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10117] ppid=10075 vsize=8283048 memory=-9001733975035308135 CPUtime=710.41 cores=0-7
/proc/10105/task/10117/stat : 10117 (java) S 10075 10075 8819 0 -1 1077944384 1 3799052 0 0 0 0 70486 555 20 0 22 0 510142031 8481841152 36393 33554432000 4194304 4196468 140721926380384 139682402788592 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10118] ppid=10075 vsize=8283048 memory=8305311027921445216 CPUtime=710.41 cores=0-7
/proc/10105/task/10118/stat : 10118 (java) S 10075 10075 8819 0 -1 1077944384 1 3799052 0 0 0 0 70486 555 20 0 22 0 510142033 8481841152 36393 33554432000 4194304 4196468 140721926380384 139682028280272 139684104374171 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10119] ppid=10075 vsize=8283048 memory=-6804530832991035292 CPUtime=710.55 cores=0-7
/proc/10105/task/10119/stat : 10119 (java) S 10075 10075 8819 0 -1 1077944384 618 3799052 0 0 14 0 70486 555 20 0 22 0 510142034 8481841152 36393 33554432000 4194304 4196468 140721926380384 139683196516592 139684104366722 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10120] ppid=10075 vsize=8283048 memory=4209357772117481859 CPUtime=710.53 cores=0-7
/proc/10105/task/10120/stat : 10120 (java) S 10075 10075 8819 0 -1 1077944384 254 3799052 0 0 12 0 70486 555 20 0 22 0 510142034 8481841152 36393 33554432000 4194304 4196468 140721926380384 139683195464048 139684104366722 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10121] ppid=10075 vsize=8283048 memory=7377292432179358372 CPUtime=710.53 cores=0-7
/proc/10105/task/10121/stat : 10121 (java) S 10075 10075 8819 0 -1 1077944384 689 3799052 0 0 12 0 70486 555 20 0 22 0 510142034 8481841152 36393 33554432000 4194304 4196468 140721926380384 139683194410992 139684104366722 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10122] ppid=10075 vsize=8283048 memory=4206468019014099040 CPUtime=710.7 cores=0-7
/proc/10105/task/10122/stat : 10122 (java) R 10075 10075 8819 0 -1 4202560 1115 3799052 0 0 29 0 70486 555 20 0 22 0 510142034 8481841152 36393 33554432000 4194304 4196468 140721926380384 139683193358448 139684089496544 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10123] ppid=10075 vsize=8283048 memory=8329294824090543255 CPUtime=710.41 cores=0-7
/proc/10105/task/10123/stat : 10123 (java) S 10075 10075 8819 0 -1 1077944384 3 3799052 0 0 0 0 70486 555 20 0 22 0 510142034 8481841152 36393 33554432000 4194304 4196468 140721926380384 139681530375136 139684104365781 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10124] ppid=10075 vsize=8283048 memory=7684433391216329786 CPUtime=710.47 cores=0-7
/proc/10105/task/10124/stat : 10124 (java) S 10075 10075 8819 0 -1 1077944384 33 3799052 0 0 3 3 70486 555 20 0 22 0 510142034 8481841152 36393 33554432000 4194304 4196468 140721926380384 139683192306864 139684104366722 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10126] ppid=10075 vsize=8283048 memory=7686721470317368979 CPUtime=710.41 cores=0-7
/proc/10105/task/10126/stat : 10126 (java) S 10075 10075 8819 0 -1 1077944384 24 3799052 0 0 0 0 70486 555 20 0 22 0 510142116 8481841152 36393 33554432000 4194304 4196468 140721926380384 139683543949968 139684104366722 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
[pid=10105/tid=10130] ppid=10075 vsize=8283048 memory=6944657691966988345 CPUtime=710.41 cores=0-7
/proc/10105/task/10130/stat : 10130 (java) S 10075 10075 8819 0 -1 1077944384 13 3799052 0 0 0 0 70486 555 20 0 22 0 510142118 8481841152 36393 33554432000 4194304 4196468 140721926380384 139680590848688 139684104366722 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16961536 140721926382583 140721926382742 140721926382742 140721926385615 0
Current children cumulated CPU time: 828.65 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 147048 KiB

Child status: 0
Real time (s): 191.071
CPU time (s): 828.776
CPU user time (s): 817.118
CPU system time (s): 11.6578
CPU usage (%): 433.754
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7641188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 817.118
system time used= 11.6578
maximum resident set size= 7640800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3894071
page faults= 0
swaps= 0
block input operations= 0
block output operations= 140960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51673
involuntary context switches= 7867


# summary of solver processes directly reported to runsolver:
#   pid: 10075
#   total CPU time (s): 828.776
#   total CPU user time (s): 817.118
#   total CPU system time (s): 11.6578

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.53128 second user time and 2.3199 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 17:23:02
IDJOB=4405156
IDBENCH=131036
IDSOLVER=2867
FILE ID=node151/4405156-1569338622
RUNJOBID= node151-1569335938-8846
PBS_JOBID= 21705046
Free space on /tmp= 12412 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-rand/Subisomorphism-si2-r001-m400-05.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405156-1569338622/watcher-4405156-1569338622 -o /tmp/evaluation-result-4405156-1569338622/solver-4405156-1569338622 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --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-4405156-1569338622.xml

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

MD5SUM BENCH= 5f006248f7b4f652f1c0eb398f87a4da
RANDOM SEED=2009945970

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23374620 kB
MemAvailable:   31794220 kB
Buffers:           88844 kB
Cached:          8490756 kB
SwapCached:        50756 kB
Active:          2728500 kB
Inactive:        5907860 kB
Active(anon):       3492 kB
Inactive(anon):   107572 kB
Active(file):    2725008 kB
Inactive(file):  5800288 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66956484 kB
Dirty:             20792 kB
Writeback:             0 kB
AnonPages:        132392 kB
Mapped:            54472 kB
Shmem:             45948 kB
Slab:             351832 kB
SReclaimable:     322764 kB
SUnreclaim:        29068 kB
KernelStack:        3744 kB
PageTables:         6096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12392 MiB
End job on node151 at 2019-09-24 17:26:13