Trace number 4392596

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 830.974 193.203

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-1886-serial-file.bin HOME/instance-4392596-1568431616.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 05:26:15 CEST 2019
0.66/0.56	c PID: 1889
0.66/0.56	c IP: 172.20.3.145
0.66/0.56	c HOST: node145.alineos.net
0.66/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-4392596-1568431616.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.42/8.44	c (7,7) translated 18 (10%) constraints
22.10/14.88	c (14,14) translated 35 (20%) constraints
30.47/21.40	c (20,20) translated 52 (30%) constraints
36.51/27.46	c (26,26) translated 69 (40%) constraints
45.97/33.92	c (33,32) translated 86 (50%) constraints
52.39/40.36	c (39,38) translated 104 (60%) constraints
55.61/43.58	c (43,42) translated 121 (70%) constraints
55.61/43.59	c (43,42) translated 138 (80%) constraints
55.85/43.62	c (43,42) translated 155 (90%) constraints
55.85/43.63	c (43,42) translated 172 (100%) constraints
55.85/43.63	c (43,42) ===========================================
56.60/43.88	c (43,42) Hybrid: #OE=44480, #LE=0
56.60/43.88	c (43,42) Hybrid
56.60/43.88	c (43,42) ===========================================
60.10/45.60	c (45,44) translated 80623 (10%) constraints
61.65/47.19	c (46,45) translated 161246 (20%) constraints
63.24/48.78	c (48,47) translated 241869 (30%) constraints
64.84/50.38	c (49,48) translated 322491 (40%) constraints
70.57/52.49	c (51,50) translated 403114 (50%) constraints
72.17/54.07	c (53,52) translated 483737 (60%) constraints
73.76/55.65	c (55,53) translated 564359 (70%) constraints
75.37/57.24	c (56,55) translated 644982 (80%) constraints
76.97/58.83	c (58,56) translated 725605 (90%) constraints
78.61/60.42	c (59,58) translated 806227 (100%) constraints
78.61/60.42	c (59,58) CSP to CSPinCNF End
78.61/60.44	c (59,58) CSP: 80 int (0 aux), 44400 bool (44400 aux), 806227 ctr, max domain size 400
78.61/60.44	c (59,58) Heap : 2995 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
78.61/60.44	c (59,58) CSPinCNF Propagation Begin
88.57/66.25	c (65,63) 0 values, 111 unsatisfiable literals, and 1 valid clauses are removed
88.57/66.25	c (65,63) CSPinCNF Propagation End
88.57/66.26	c (65,63) CSP: 80 int (0 aux), 44400 bool (44400 aux), 806226 ctr, max domain size 400
88.57/66.26	c (65,63) Heap : 2624 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
88.93/66.56	c (66,64) Hybrid: #OE=44480, #LE=0
88.93/66.56	c (66,64) Simplify CSPinCNF Begin
91.14/68.02	c (67,65) Simplify CSPinCNF End
91.14/68.04	c (67,65) CSP: 80 int (0 aux), 50720 bool (50720 aux), 812546 ctr, max domain size 400
91.14/68.04	c (67,65) Heap : 3514 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
91.14/68.04	c (67,65) Calculate Precise Domain Begin
91.14/68.04	c (67,65) 0 values are removed by re-calculation
91.14/68.04	c (67,65) Calculate Precise Domain End
91.14/68.05	c (67,65) CSP: 80 int (0 aux), 50720 bool (50720 aux), 812546 ctr, max domain size 400
91.14/68.05	c (67,65) Heap : 3514 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
91.14/68.05	c (67,65) CSPinCNF to SatSolver Begin
107.91/79.08	c (78,75) 81255 (10 %) CSP clauses are encoded (0 SAT variables, 2634774 SAT clauses)
108.75/79.83	c (79,76) 162510 (20 %) CSP clauses are encoded (0 SAT variables, 2716029 SAT clauses)
109.45/80.57	c (80,77) 243764 (30 %) CSP clauses are encoded (0 SAT variables, 2797283 SAT clauses)
110.25/81.36	c (80,78) 325019 (40 %) CSP clauses are encoded (0 SAT variables, 2878538 SAT clauses)
111.01/82.35	c (81,79) 406273 (50 %) CSP clauses are encoded (0 SAT variables, 2959792 SAT clauses)
111.72/83.10	c (82,79) 487528 (60 %) CSP clauses are encoded (0 SAT variables, 3041047 SAT clauses)
112.51/83.86	c (83,80) 568783 (70 %) CSP clauses are encoded (0 SAT variables, 3122302 SAT clauses)
113.21/84.59	c (84,81) 650037 (80 %) CSP clauses are encoded (0 SAT variables, 3203556 SAT clauses)
117.41/85.78	c (85,81) 731292 (90 %) CSP clauses are encoded (0 SAT variables, 3284811 SAT clauses)
118.21/86.51	c (85,82) 812546 (100 %) CSP clauses are encoded (0 SAT variables, 3366065 SAT clauses)
118.21/86.57	c (85,82) CSPinCNF to SatSolver End
118.21/86.57	c (85,82) Heap : 1561 MiB used (max 21575 MiB), NonHeap : 31 MiB used (max 0 MiB)
118.21/86.57	c (85,82) 82640 bool, 3366066 clause
118.21/86.57	c (85,82) Export Begin
118.38/86.61	c (86,82) Export to HOME/scop-1886-serial-file.bin
118.38/86.61	c (86,82) Export End
118.38/86.61	c (86,82) Export File Size: 0.02 MB
118.38/86.61	c (86,82) 0,0,59,65,67,67,85,STOP-AFTER(DIMACS)
118.38/86.61	c END-Prog: Sat Sep 14 05:27:41 CEST 2019
118.38/86.67	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1886-serial-file.bin
118.99/87.14	c (0,0) Read Serial File Begin
118.99/87.14	c (0,0) HOME/scop-1886-serial-file.bin
119.28/87.36	c (0,0) Read Serial File End
119.28/87.37	
119.28/87.37	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
119.28/87.37	(Solving Process)
119.28/87.37	
119.28/87.39	c BEGIN-Prog: Sat Sep 14 05:27:42 CEST 2019
119.28/87.39	c PID: 1916
119.28/87.39	c IP: 172.20.3.145
119.28/87.39	c HOST: node145.alineos.net
119.42/87.40	c (0,0) SatSolver.solve Begin
119.42/87.40	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392596-1568431616.xml-scop-1889.cnf
119.42/87.42	c (0,0) c
119.42/87.42	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)
119.42/87.42	c (0,0) c
119.42/87.42	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
119.42/87.42	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
119.42/87.42	c (0,0) c ========================================[ Problem Statistics ]===========================================
119.42/87.42	c (0,0) c |                                                                                                       |
120.70/88.54	c (1,0) c |  Number of variables:         82640                                                                   |
120.70/88.54	c (1,0) c |  Number of clauses:         3366066                                                                   |
120.70/88.54	c (1,0) c |  Parse time:                   1.03 s                                                                 |
120.70/88.54	c (1,0) c |                                                                                                       |
134.10/101.93	c (14,0) c |  Simplification time:         13.27 s                                                                 |
134.10/101.93	c (14,0) c |                                                                                                       |
134.10/101.93	c (14,0) c |  Generating clones                                                                                    |
134.80/102.68	c (15,0) c |  all clones generated. Memory =  2037.37Mb.                                                           |
134.80/102.68	c (15,0) c ========================================================================================================|
134.80/102.68	c (15,0) c
134.80/102.68	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
134.80/102.68	c (15,0) c
134.80/102.68	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
134.80/102.68	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
134.80/102.68	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
134.80/102.68	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
134.80/102.68	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
134.80/102.68	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
134.80/102.68	c (15,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
134.80/102.68	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
134.80/102.68	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
134.80/102.68	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
134.80/102.68	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
134.80/102.68	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
134.80/102.68	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
134.80/102.68	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
134.80/102.68	c (15,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
134.80/102.68	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
134.80/102.68	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
134.80/102.68	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
134.80/102.68	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
367.78/132.13	c (45,0) c
367.78/132.13	c (45,0) c |------------------------------------------------------------------------------------------------------------------------|
367.78/132.13	c (45,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
367.78/132.13	c (45,0) c |------------------------------------------------------------------------------------------------------------------------|
367.78/132.13	c (45,0) c |  0 |    133 |     173830 |      45381 |   275411 |    19284 |     8888 |    55645 |     3296 |      208 |  20 |  0.050 |
367.78/132.13	c (45,0) c |  1 |    103 |     177181 |      47163 |   284912 |    20934 |     9928 |    61057 |     3468 |      225 |  20 |  0.054 |
367.78/132.13	c (45,0) c |  2 |    131 |     195687 |      47542 |   255781 |    21396 |    10012 |    57460 |     3668 |      217 |  20 |  0.053 |
367.78/132.13	c (45,0) c |  3 |    166 |     184279 |      47291 |   275277 |    21093 |     9715 |    59064 |     3274 |      220 |  20 |  0.054 |
367.78/132.13	c (45,0) c |  4 |    147 |     167734 |      45878 |   263582 |    19689 |     8891 |    62990 |     2853 |      228 |  20 |  0.054 |
367.78/132.13	c (45,0) c |  5 |    143 |     193002 |      49037 |   236594 |    22866 |    10149 |    61874 |     3838 |      228 |  20 |  0.054 |
367.78/132.13	c (45,0) c |  6 |    105 |     157978 |      45249 |   300053 |    19113 |     8554 |    61225 |     2778 |      221 |  20 |  0.056 |
367.78/132.13	c (45,0) c |  7 |    129 |     184189 |      48111 |   245611 |    21762 |     9791 |    61485 |     3952 |      225 |  20 |  0.054 |
367.78/132.13	c (45,0) c 
367.78/132.13	c (45,0) c synthesis      375654 conflicts   429645323 propagations     1532 conflicts/sec  1752638 propagations/sec
367.78/132.13	c (45,0) c real: 44.704 s, cpu: 245.142 s, memory: 2613.92 Mb
592.51/161.13	c (74,0) c
592.51/161.13	c (74,0) c |------------------------------------------------------------------------------------------------------------------------|
592.51/161.13	c (74,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
592.51/161.13	c (74,0) c |------------------------------------------------------------------------------------------------------------------------|
592.51/161.13	c (74,0) c |  0 |    290 |     375948 |      84737 |   349437 |    27618 |    16132 |   108047 |     8059 |      418 |  20 |  0.116 |
592.51/161.13	c (74,0) c |  1 |    245 |     363609 |      84652 |   370468 |    30591 |    17043 |   111085 |     7789 |      434 |  20 |  0.125 |
592.51/161.13	c (74,0) c |  2 |    249 |     380162 |      84127 |   336734 |    26979 |    16802 |   109108 |     7738 |      424 |  20 |  0.116 |
592.51/161.13	c (74,0) c |  3 |    264 |     348220 |      85496 |   381643 |    28381 |    16460 |   112702 |     7294 |      438 |  20 |  0.125 |
592.51/161.13	c (74,0) c |  4 |    282 |     325300 |      81140 |   365592 |    27515 |    15469 |   113925 |     6303 |      437 |  20 |  0.125 |
592.51/161.13	c (74,0) c |  5 |    243 |     378817 |      87909 |   321851 |    34054 |    17523 |   111731 |     8281 |      438 |  20 |  0.117 |
592.51/161.13	c (74,0) c |  6 |    227 |     331450 |      82477 |   400175 |    28663 |    16618 |   112286 |     6539 |      437 |  20 |  0.119 |
592.51/161.13	c (74,0) c |  7 |    272 |     374127 |      86358 |   327342 |    29252 |    16911 |   110701 |     8312 |      438 |  20 |  0.121 |
592.51/161.13	c (74,0) c 
592.51/161.13	c (74,0) c synthesis      676896 conflicts   801827124 propagations     1444 conflicts/sec  1710449 propagations/sec
592.51/161.13	c (74,0) c real: 73.704 s, cpu: 468.782 s, memory: 2614.18 Mb
819.47/190.13	c (103,0) c
819.47/190.13	c (103,0) c |------------------------------------------------------------------------------------------------------------------------|
819.47/190.13	c (103,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
819.47/190.13	c (103,0) c |------------------------------------------------------------------------------------------------------------------------|
819.47/190.13	c (103,0) c |  0 |    386 |     523184 |     118244 |   418829 |    40390 |    22288 |   151348 |    11855 |      641 |  20 |  0.248 |
819.47/190.13	c (103,0) c |  1 |    354 |     524486 |     116804 |   438851 |    40910 |    22820 |   154241 |    12044 |      656 |  20 |  0.264 |
819.47/190.13	c (103,0) c |  2 |    377 |     552398 |     118412 |   387781 |    40586 |    23020 |   154171 |    12039 |      658 |  20 |  0.266 |
819.47/190.13	c (103,0) c |  3 |    374 |     511025 |     117527 |   451048 |    40167 |    22582 |   154303 |    11783 |      658 |  20 |  0.264 |
819.47/190.13	c (103,0) c |  4 |    375 |     474275 |     112034 |   423953 |    36173 |    21713 |   155358 |    10380 |      659 |  20 |  0.264 |
819.47/190.13	c (103,0) c |  5 |    348 |     532875 |     119727 |   385518 |    43543 |    22950 |   154800 |    12530 |      660 |  20 |  0.270 |
819.47/190.13	c (103,0) c |  6 |    334 |     488976 |     114328 |   452265 |    42666 |    22635 |   154177 |    10556 |      659 |  20 |  0.261 |
819.47/190.13	c (103,0) c |  7 |    360 |     519530 |     117469 |   403336 |    39749 |    22449 |   154976 |    11759 |      660 |  20 |  0.264 |
819.47/190.13	c (103,0) c 
819.47/190.13	c (103,0) c synthesis      934545 conflicts  1158055396 propagations     1344 conflicts/sec  1665938 propagations/sec
819.47/190.13	c (103,0) c real: 102.707 s, cpu: 695.137 s, memory: 2614.69 Mb
830.22/192.93	c (105,0) c
830.22/192.93	c (105,0) c real time : 105.505 s
830.22/192.93	c (105,0) c cpu time  : 705.729 s
830.22/192.93	c (105,0) c
830.22/192.93	c (105,0) c
830.22/192.93	c (105,0) c
830.22/192.93	c (105,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
830.22/192.93	c (105,0) c
830.22/192.93	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
830.22/192.93	c (105,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
830.22/192.93	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
830.22/192.93	c (105,0) c | Conflicts     |          946435 |     122217 |     118262 |     119951 |     118776 |     113008 |     120633 |     115338 |     118250 |
830.22/192.93	c (105,0) c | Decisions     |         4178549 |     541597 |     530700 |     558693 |     517571 |     478470 |     536304 |     492615 |     522599 |
830.22/192.93	c (105,0) c | Propagations  |      1175691133 |  147704433 |  147299200 |  147525814 |  148541840 |  145747942 |  148274654 |  144799842 |  145797408 |
830.22/192.93	c (105,0) c | ReduceDBs     |              64 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |
830.22/192.93	c (105,0) c | SimpDBs       |             103 |         13 |         13 |         13 |         13 |         13 |         13 |         12 |         13 |
830.22/192.93	c (105,0) c | Restarts      |            2942 |        397 |        360 |        379 |        381 |        377 |        352 |        336 |        360 |
830.22/192.93	c (105,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
830.22/192.93	c (105,0) c | PropBinClauses|       870850796 |  110718519 |  109213099 |  109872624 |  109981988 |  106041440 |  110338852 |  106257020 |  108427254 |
830.22/192.93	c (105,0) c | PropPreBlocker|     19090444798 | 2356545544 | 2396787151 | 2367027939 | 2419579204 | 2396794137 | 2365816494 | 2407550243 | 2380344086 |
830.22/192.93	c (105,0) c | PropNotBlocker|      5002859596 |  637426613 |  624187042 |  625674716 |  623953415 |  627618049 |  631833524 |  615558435 |  616607802 |
830.22/192.93	c (105,0) c | LitFullScans  |     32096067884 | 4011048712 | 4012027354 | 4012752149 | 4010717056 | 4012037545 | 4010307006 | 4011041256 | 4016136806 |
830.22/192.93	c (105,0) c | LitScanFracts |        26981738 |    3042065 |    3980207 |    4749115 |    2712086 |    3958696 |    2246396 |    3033049 |    3260124 |
830.22/192.93	c (105,0) c | DecisionLevel0|            3154 |        432 |        389 |        404 |        410 |        409 |        381 |        358 |        371 |
830.22/192.93	c (105,0) c | Periods       |            5344 |        668 |        668 |        668 |        668 |        668 |        668 |        668 |        668 |
830.22/192.93	c (105,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
830.22/192.93	c (105,0) c | Avg_Trail     |                 |      10461 |      11254 |      10903 |      11504 |      12235 |      10623 |      12335 |      11342 |
830.22/192.93	c (105,0) c | Avg_DL        |                 |         42 |         42 |         49 |         45 |         43 |         44 |         44 |         48 |
830.22/192.93	c (105,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
830.22/192.93	c (105,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
830.22/192.93	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
830.22/192.93	c (105,0) c | Exported      |          182434 |      22984 |      23056 |      23298 |      22754 |      21933 |      23094 |      22785 |      22530 |
830.22/192.93	c (105,0) c | Imported      |         1245834 |     156135 |     155578 |     154572 |     156342 |     156648 |     156027 |     155556 |     154976 |
830.22/192.93	c (105,0) c | Good          |           24939 |       3090 |       3139 |       3077 |       3100 |       3166 |       3056 |       3149 |       3162 |
830.22/192.93	c (105,0) c | Purge         |         1220895 |     153045 |     152439 |     151495 |     153242 |     153482 |     152971 |     152407 |     151814 |
830.22/192.93	c (105,0) c | Promoted      |           94848 |      12521 |      12293 |      12301 |      11992 |      10478 |      12671 |      10761 |      11831 |
830.22/192.93	c (105,0) c | Remove_Imp    |          663030 |      79437 |      82793 |      80655 |      84175 |      89644 |      76499 |      84388 |      85439 |
830.22/192.93	c (105,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
830.22/192.93	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
830.22/192.93	c (105,0) c | Unaries       |                 |         35 |         29 |         25 |         29 |         32 |         29 |         22 |         11 |
830.22/192.93	c (105,0) c | Binaries      |                 |        508 |        440 |        483 |        477 |        407 |        533 |        427 |        385 |
830.22/192.93	c (105,0) c | Glues         |                 |       6774 |       6745 |       6587 |       6468 |       6016 |       6863 |       6234 |       6336 |
830.22/192.93	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
830.22/192.93	c (105,0) c | Orig_Seen     |            12 % |     424235 |     441160 |     390528 |     452757 |     426965 |     386928 |     453329 |     408097 |
830.22/192.93	c (105,0) c | Diff Orig seen|                 |      16138 |      33063 | -    17569 |      44660 |      18868 | -    21169 |      45232 |      X     |
830.22/192.93	c (105,0) c | Hamming       |            20 % |      16859 |      18173 |      17745 |      16620 |      16625 |      16898 |      16777 |      X     |
830.22/192.93	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
830.22/192.93	c (105,0) c | RunningTime   |                 |   90.1 100%|   87.9  99%|   88.6 100%|   86.8  98%|   85.5  96%|   84.9  96%|   87.3  99%|   86.7  98%|
830.22/192.93	c (105,0) c | WaitingTime   |                 |    0.0   0%|    0.8   1%|    0.0   0%|    1.8   2%|    3.0   3%|    3.4   4%|    1.1   1%|    1.6   2%|
830.22/192.93	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%|
830.22/192.93	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%|
830.22/192.93	c (105,0) c | SolvingTime   |                 |   90.2     |   88.8     |   88.7     |   88.6     |   88.6     |   88.4     |   88.5     |   88.4     |
830.22/192.93	c (105,0) c | PropagationTim|                 |   73.6  82%|   72.3  81%|   72.4  82%|   72.4  82%|   71.3  80%|   70.9  80%|   72.1  81%|   71.1  80%|
830.22/192.93	c (105,0) c | AnalysisTime  |                 |   11.7  13%|   11.4  13%|   11.3  13%|   11.0  12%|   11.8  13%|   11.8  13%|   11.4  13%|   12.0  14%|
830.22/192.93	c (105,0) c | ReductionTime |                 |    0.5   1%|    0.6   1%|    0.6   1%|    0.6   1%|    0.6   1%|    0.6   1%|    0.6   1%|    0.6   1%|
830.22/192.93	c (105,0) c | SimplifyTime  |                 |    1.2   1%|    1.3   2%|    1.2   1%|    1.5   2%|    1.7   2%|    1.9   2%|    1.3   1%|    1.5   2%|
830.22/192.93	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%|
830.22/192.93	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%|
830.22/192.93	c (105,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
830.22/192.93	c (105,0) c
830.22/192.93	c (105,0) c
830.22/192.93	c (105,0) c Threads : 8
830.22/192.93	c (105,0) c Winner : 7
830.22/192.93	c (105,0) c Conflicts_0 : 122217
830.22/192.93	c (105,0) c Conflicts_1 : 118262
830.22/192.93	c (105,0) c Conflicts_2 : 119951
830.22/192.93	c (105,0) c Conflicts_3 : 118776
830.22/192.93	c (105,0) c Conflicts_4 : 113008
830.22/192.93	c (105,0) c Conflicts_5 : 120633
830.22/192.93	c (105,0) c Conflicts_6 : 115338
830.22/192.93	c (105,0) c Conflicts_7 : 118250
830.22/192.93	c (105,0) c Conflicts_total : 946435
830.22/192.93	c (105,0) c Conflicts_winner : 118250
830.22/192.93	c (105,0) c Decisions_0 : 541597
830.22/192.93	c (105,0) c Decisions_1 : 530700
830.22/192.93	c (105,0) c Decisions_2 : 558693
830.22/192.93	c (105,0) c Decisions_3 : 517571
830.22/192.93	c (105,0) c Decisions_4 : 478470
830.22/192.93	c (105,0) c Decisions_5 : 536304
830.22/192.93	c (105,0) c Decisions_6 : 492615
830.22/192.93	c (105,0) c Decisions_7 : 522599
830.22/192.93	c (105,0) c Decisions_total : 4178549
830.22/192.93	c (105,0) c Decisions_winner : 522599
830.22/192.93	c (105,0) c Propagations_0 : 147704433
830.22/192.93	c (105,0) c Propagations_1 : 147299200
830.22/192.93	c (105,0) c Propagations_2 : 147525814
830.22/192.93	c (105,0) c Propagations_3 : 148541840
830.22/192.93	c (105,0) c Propagations_4 : 145747942
830.22/192.93	c (105,0) c Propagations_5 : 148274654
830.22/192.93	c (105,0) c Propagations_6 : 144799842
830.22/192.93	c (105,0) c Propagations_7 : 145797408
830.22/192.93	c (105,0) c Propagations_total : 1175691133
830.22/192.93	c (105,0) c Propagations_winner : 145797408
830.22/192.93	c (105,0) c ReduceDBs_0 : 8
830.22/192.93	c (105,0) c ReduceDBs_1 : 8
830.22/192.93	c (105,0) c ReduceDBs_2 : 8
830.22/192.93	c (105,0) c ReduceDBs_3 : 8
830.22/192.93	c (105,0) c ReduceDBs_4 : 8
830.22/192.93	c (105,0) c ReduceDBs_5 : 8
830.22/192.93	c (105,0) c ReduceDBs_6 : 8
830.22/192.93	c (105,0) c ReduceDBs_7 : 8
830.22/192.93	c (105,0) c ReduceDBs_total : 64
830.22/192.93	c (105,0) c ReduceDBs_winner : 8
830.22/192.93	c (105,0) c SimpDBs_0 : 13
830.22/192.93	c (105,0) c SimpDBs_1 : 13
830.22/192.93	c (105,0) c SimpDBs_2 : 13
830.22/192.93	c (105,0) c SimpDBs_3 : 13
830.22/192.93	c (105,0) c SimpDBs_4 : 13
830.22/192.93	c (105,0) c SimpDBs_5 : 13
830.22/192.93	c (105,0) c SimpDBs_6 : 12
830.22/192.93	c (105,0) c SimpDBs_7 : 13
830.22/192.93	c (105,0) c SimpDBs_total : 103
830.22/192.93	c (105,0) c SimpDBs_winner : 13
830.22/192.93	c (105,0) c Restarts_0 : 397
830.22/192.93	c (105,0) c Restarts_1 : 360
830.22/192.93	c (105,0) c Restarts_2 : 379
830.22/192.93	c (105,0) c Restarts_3 : 381
830.22/192.93	c (105,0) c Restarts_4 : 377
830.22/192.93	c (105,0) c Restarts_5 : 352
830.22/192.93	c (105,0) c Restarts_6 : 336
830.22/192.93	c (105,0) c Restarts_7 : 360
830.22/192.93	c (105,0) c Restarts_total : 2942
830.22/192.93	c (105,0) c Restarts_winner : 360
830.22/192.93	c (105,0) c ForcedImports_0 : 0
830.22/192.93	c (105,0) c ForcedImports_1 : 0
830.22/192.93	c (105,0) c ForcedImports_2 : 0
830.22/192.93	c (105,0) c ForcedImports_3 : 0
830.22/192.93	c (105,0) c ForcedImports_4 : 0
830.22/192.93	c (105,0) c ForcedImports_5 : 0
830.22/192.93	c (105,0) c ForcedImports_6 : 0
830.22/192.93	c (105,0) c ForcedImports_7 : 0
830.22/192.93	c (105,0) c ForcedImports_total : 0
830.22/192.93	c (105,0) c ForcedImports_winner : 0
830.22/192.93	c (105,0) c PropsBinClauses_0 : 110718519
830.22/192.93	c (105,0) c PropsBinClauses_1 : 109213099
830.22/192.93	c (105,0) c PropsBinClauses_2 : 109872624
830.22/192.93	c (105,0) c PropsBinClauses_3 : 109981988
830.22/192.93	c (105,0) c PropsBinClauses_4 : 106041440
830.22/192.93	c (105,0) c PropsBinClauses_5 : 110338852
830.22/192.93	c (105,0) c PropsBinClauses_6 : 106257020
830.22/192.93	c (105,0) c PropsBinClauses_7 : 108427254
830.22/192.93	c (105,0) c PropsBinClauses_total : 870850796
830.22/192.93	c (105,0) c PropsBinClauses_winner : 108427254
830.22/192.93	c (105,0) c PropsPreBlocker_0 : 2356545544
830.22/192.93	c (105,0) c PropsPreBlocker_1 : 2396787151
830.22/192.93	c (105,0) c PropsPreBlocker_2 : 2367027939
830.22/192.93	c (105,0) c PropsPreBlocker_3 : 2419579204
830.22/192.93	c (105,0) c PropsPreBlocker_4 : 2396794137
830.22/192.93	c (105,0) c PropsPreBlocker_5 : 2365816494
830.22/192.93	c (105,0) c PropsPreBlocker_6 : 2407550243
830.22/192.93	c (105,0) c PropsPreBlocker_7 : 2380344086
830.22/192.93	c (105,0) c PropsPreBlocker_total : 19090444798
830.22/192.93	c (105,0) c PropsPreBlocker_winner : 2380344086
830.22/192.93	c (105,0) c PropsNotBlocker_0 : 637426613
830.22/192.93	c (105,0) c PropsNotBlocker_1 : 624187042
830.22/192.93	c (105,0) c PropsNotBlocker_2 : 625674716
830.22/192.93	c (105,0) c PropsNotBlocker_3 : 623953415
830.22/192.93	c (105,0) c PropsNotBlocker_4 : 627618049
830.22/192.93	c (105,0) c PropsNotBlocker_5 : 631833524
830.22/192.93	c (105,0) c PropsNotBlocker_6 : 615558435
830.22/192.93	c (105,0) c PropsNotBlocker_7 : 616607802
830.22/192.93	c (105,0) c PropsNotBlocker_total : 5002859596
830.22/192.93	c (105,0) c PropsNotBlocker_winner : 616607802
830.22/192.93	c (105,0) c PropsLitFullScans_0 : 4011048712
830.22/192.93	c (105,0) c PropsLitFullScans_1 : 4012027354
830.22/192.93	c (105,0) c PropsLitFullScans_2 : 4012752149
830.22/192.93	c (105,0) c PropsLitFullScans_3 : 4010717056
830.22/192.93	c (105,0) c PropsLitFullScans_4 : 4012037545
830.22/192.93	c (105,0) c PropsLitFullScans_5 : 4010307006
830.22/192.93	c (105,0) c PropsLitFullScans_6 : 4011041256
830.22/192.93	c (105,0) c PropsLitFullScans_7 : 4016136806
830.22/192.93	c (105,0) c PropsLitFullScans_total : 32096067884
830.22/192.93	c (105,0) c PropsLitFullScans_winner : 4016136806
830.22/192.93	c (105,0) c LitScanFractions_0 : 3042065
830.22/192.93	c (105,0) c LitScanFractions_1 : 3980207
830.22/192.93	c (105,0) c LitScanFractions_2 : 4749115
830.22/192.93	c (105,0) c LitScanFractions_3 : 2712086
830.22/192.93	c (105,0) c LitScanFractions_4 : 3958696
830.22/192.93	c (105,0) c LitScanFractions_5 : 2246396
830.22/192.93	c (105,0) c LitScanFractions_6 : 3033049
830.22/192.93	c (105,0) c LitScanFractions_7 : 3260124
830.22/192.93	c (105,0) c LitScanFractions_total : 26981738
830.22/192.93	c (105,0) c LitScanFractions_winner : 3260124
830.22/192.93	c (105,0) c DecisionLevel0_0 : 432
830.22/192.93	c (105,0) c DecisionLevel0_1 : 389
830.22/192.93	c (105,0) c DecisionLevel0_2 : 404
830.22/192.93	c (105,0) c DecisionLevel0_3 : 410
830.22/192.93	c (105,0) c DecisionLevel0_4 : 409
830.22/192.93	c (105,0) c DecisionLevel0_5 : 381
830.22/192.93	c (105,0) c DecisionLevel0_6 : 358
830.22/192.93	c (105,0) c DecisionLevel0_7 : 371
830.22/192.93	c (105,0) c DecisionLevel0_total : 3154
830.22/192.93	c (105,0) c DecisionLevel0_winner : 371
830.22/192.93	c (105,0) c Periods_0 : 668
830.22/192.93	c (105,0) c Periods_1 : 668
830.22/192.93	c (105,0) c Periods_2 : 668
830.22/192.93	c (105,0) c Periods_3 : 668
830.22/192.93	c (105,0) c Periods_4 : 668
830.22/192.93	c (105,0) c Periods_5 : 668
830.22/192.93	c (105,0) c Periods_6 : 668
830.22/192.93	c (105,0) c Periods_7 : 668
830.22/192.93	c (105,0) c Periods_total : 5344
830.22/192.93	c (105,0) c Periods_winner : 668
830.22/192.93	c (105,0) c Margin_0 : 20
830.22/192.93	c (105,0) c Margin_1 : 20
830.22/192.93	c (105,0) c Margin_2 : 20
830.22/192.93	c (105,0) c Margin_3 : 20
830.22/192.93	c (105,0) c Margin_4 : 20
830.22/192.93	c (105,0) c Margin_5 : 20
830.22/192.93	c (105,0) c Margin_6 : 20
830.22/192.93	c (105,0) c Margin_7 : 20
830.22/192.93	c (105,0) c Margin_total : 160
830.22/192.93	c (105,0) c Margin_winner : 20
830.22/192.93	c (105,0) c Exported_0 : 22984
830.22/192.93	c (105,0) c Exported_1 : 23056
830.22/192.93	c (105,0) c Exported_2 : 23298
830.22/192.93	c (105,0) c Exported_3 : 22754
830.22/192.93	c (105,0) c Exported_4 : 21933
830.22/192.93	c (105,0) c Exported_5 : 23094
830.22/192.93	c (105,0) c Exported_6 : 22785
830.22/192.93	c (105,0) c Exported_7 : 22530
830.22/192.93	c (105,0) c Exported_total : 182434
830.22/192.93	c (105,0) c Exported_winner : 22530
830.22/192.93	c (105,0) c Imported_0 : 156135
830.22/192.93	c (105,0) c Imported_1 : 155578
830.22/192.93	c (105,0) c Imported_2 : 154572
830.22/192.93	c (105,0) c Imported_3 : 156342
830.22/192.93	c (105,0) c Imported_4 : 156648
830.22/192.94	c (105,0) c Imported_5 : 156027
830.22/192.94	c (105,0) c Imported_6 : 155556
830.22/192.94	c (105,0) c Imported_7 : 154976
830.22/192.94	c (105,0) c Imported_total : 1245834
830.22/192.94	c (105,0) c Imported_winner : 154976
830.22/192.94	c (105,0) c Good_0 : 3090
830.22/192.94	c (105,0) c Good_1 : 3139
830.22/192.94	c (105,0) c Good_2 : 3077
830.22/192.94	c (105,0) c Good_3 : 3100
830.22/192.94	c (105,0) c Good_4 : 3166
830.22/192.94	c (105,0) c Good_5 : 3056
830.22/192.94	c (105,0) c Good_6 : 3149
830.22/192.94	c (105,0) c Good_7 : 3162
830.22/192.94	c (105,0) c Good_total : 24939
830.22/192.94	c (105,0) c Good_winner : 3162
830.22/192.94	c (105,0) c Purge_0 : 153045
830.22/192.94	c (105,0) c Purge_1 : 152439
830.22/192.94	c (105,0) c Purge_2 : 151495
830.22/192.94	c (105,0) c Purge_3 : 153242
830.22/192.94	c (105,0) c Purge_4 : 153482
830.22/192.94	c (105,0) c Purge_5 : 152971
830.22/192.94	c (105,0) c Purge_6 : 152407
830.22/192.94	c (105,0) c Purge_7 : 151814
830.22/192.94	c (105,0) c Purge_total : 1220895
830.22/192.94	c (105,0) c Purge_winner : 151814
830.22/192.94	c (105,0) c Promoted_0 : 12521
830.22/192.94	c (105,0) c Promoted_1 : 12293
830.22/192.94	c (105,0) c Promoted_2 : 12301
830.22/192.94	c (105,0) c Promoted_3 : 11992
830.22/192.94	c (105,0) c Promoted_4 : 10478
830.22/192.94	c (105,0) c Promoted_5 : 12671
830.22/192.94	c (105,0) c Promoted_6 : 10761
830.22/192.94	c (105,0) c Promoted_7 : 11831
830.22/192.94	c (105,0) c Promoted_total : 94848
830.22/192.94	c (105,0) c Promoted_winner : 11831
830.22/192.94	c (105,0) c Remove_Imp_0 : 79437
830.22/192.94	c (105,0) c Remove_Imp_1 : 82793
830.22/192.94	c (105,0) c Remove_Imp_2 : 80655
830.22/192.94	c (105,0) c Remove_Imp_3 : 84175
830.22/192.94	c (105,0) c Remove_Imp_4 : 89644
830.22/192.94	c (105,0) c Remove_Imp_5 : 76499
830.22/192.94	c (105,0) c Remove_Imp_6 : 84388
830.22/192.94	c (105,0) c Remove_Imp_7 : 85439
830.22/192.94	c (105,0) c Remove_Imp_total : 663030
830.22/192.94	c (105,0) c Remove_Imp_winner : 85439
830.22/192.94	c (105,0) c Blocked_Reuse_0 : 0
830.22/192.94	c (105,0) c Blocked_Reuse_1 : 0
830.22/192.94	c (105,0) c Blocked_Reuse_2 : 0
830.22/192.94	c (105,0) c Blocked_Reuse_3 : 0
830.22/192.94	c (105,0) c Blocked_Reuse_4 : 0
830.22/192.94	c (105,0) c Blocked_Reuse_5 : 0
830.22/192.94	c (105,0) c Blocked_Reuse_6 : 0
830.22/192.94	c (105,0) c Blocked_Reuse_7 : 0
830.22/192.94	c (105,0) c Blocked_Reuse_total : 0
830.22/192.94	c (105,0) c Blocked_Reuse_winner : 0
830.22/192.94	c (105,0) c Unaries_0 : 35
830.22/192.94	c (105,0) c Unaries_1 : 29
830.22/192.94	c (105,0) c Unaries_2 : 25
830.22/192.94	c (105,0) c Unaries_3 : 29
830.22/192.94	c (105,0) c Unaries_4 : 32
830.22/192.94	c (105,0) c Unaries_5 : 29
830.22/192.94	c (105,0) c Unaries_6 : 22
830.22/192.94	c (105,0) c Unaries_7 : 11
830.22/192.94	c (105,0) c Unaries_total : 212
830.22/192.94	c (105,0) c Unaries_winner : 11
830.22/192.94	c (105,0) c Binaries_0 : 508
830.22/192.94	c (105,0) c Binaries_1 : 440
830.22/192.94	c (105,0) c Binaries_2 : 483
830.22/192.94	c (105,0) c Binaries_3 : 477
830.22/192.94	c (105,0) c Binaries_4 : 407
830.22/192.94	c (105,0) c Binaries_5 : 533
830.22/192.94	c (105,0) c Binaries_6 : 427
830.22/192.94	c (105,0) c Binaries_7 : 385
830.22/192.94	c (105,0) c Binaries_total : 3660
830.22/192.94	c (105,0) c Binaries_winner : 385
830.22/192.94	c (105,0) c Glues_0 : 6774
830.22/192.94	c (105,0) c Glues_1 : 6745
830.22/192.94	c (105,0) c Glues_2 : 6587
830.22/192.94	c (105,0) c Glues_3 : 6468
830.22/192.94	c (105,0) c Glues_4 : 6016
830.22/192.94	c (105,0) c Glues_5 : 6863
830.22/192.94	c (105,0) c Glues_6 : 6234
830.22/192.94	c (105,0) c Glues_7 : 6336
830.22/192.94	c (105,0) c Glues_total : 52023
830.22/192.94	c (105,0) c Glues_winner : 6336
830.22/192.94	c (105,0) c RunningTime_0 : 90.133816
830.22/192.94	c (105,0) c RunningTime_1 : 87.876686
830.22/192.94	c (105,0) c RunningTime_2 : 88.568815
830.22/192.94	c (105,0) c RunningTime_3 : 86.753101
830.22/192.94	c (105,0) c RunningTime_4 : 85.467550
830.22/192.94	c (105,0) c RunningTime_5 : 84.919048
830.22/192.94	c (105,0) c RunningTime_6 : 87.336125
830.22/192.94	c (105,0) c RunningTime_7 : 86.682268
830.22/192.94	c (105,0) c RunningTime_total : 697.737411
830.22/192.94	c (105,0) c RunningTime_winner : 86.682268
830.22/192.94	c (105,0) c WaitingTime_0 : 0.000797
830.22/192.94	c (105,0) c WaitingTime_1 : 0.844272
830.22/192.94	c (105,0) c WaitingTime_2 : 0.001044
830.22/192.94	c (105,0) c WaitingTime_3 : 1.753874
830.22/192.94	c (105,0) c WaitingTime_4 : 3.023006
830.22/192.94	c (105,0) c WaitingTime_5 : 3.377681
830.22/192.94	c (105,0) c WaitingTime_6 : 1.092432
830.22/192.94	c (105,0) c WaitingTime_7 : 1.587388
830.22/192.94	c (105,0) c WaitingTime_total : 11.680495
830.22/192.94	c (105,0) c WaitingTime_winner : 1.587388
830.22/192.94	c (105,0) c ExchangingTime_0 : 0.088346
830.22/192.94	c (105,0) c ExchangingTime_1 : 0.087162
830.22/192.94	c (105,0) c ExchangingTime_2 : 0.089800
830.22/192.94	c (105,0) c ExchangingTime_3 : 0.086650
830.22/192.94	c (105,0) c ExchangingTime_4 : 0.086781
830.22/192.94	c (105,0) c ExchangingTime_5 : 0.084288
830.22/192.94	c (105,0) c ExchangingTime_6 : 0.084600
830.22/192.94	c (105,0) c ExchangingTime_7 : 0.088733
830.22/192.94	c (105,0) c ExchangingTime_total : 0.696359
830.22/192.94	c (105,0) c ExchangingTime_winner : 0.088733
830.22/192.94	c (105,0) c PeriodProcTime_0 : 0.007930
830.22/192.94	c (105,0) c PeriodProcTime_1 : 0.005759
830.22/192.94	c (105,0) c PeriodProcTime_2 : 0.006558
830.22/192.94	c (105,0) c PeriodProcTime_3 : 0.006385
830.22/192.94	c (105,0) c PeriodProcTime_4 : 0.006267
830.22/192.94	c (105,0) c PeriodProcTime_5 : 0.009110
830.22/192.94	c (105,0) c PeriodProcTime_6 : 0.005866
830.22/192.94	c (105,0) c PeriodProcTime_7 : 0.006486
830.22/192.94	c (105,0) c PeriodProcTime_total : 0.054360
830.22/192.94	c (105,0) c PeriodProcTime_winner : 0.006486
830.22/192.94	c (105,0) c SolvingTime_0 : 90.230890
830.22/192.94	c (105,0) c SolvingTime_1 : 88.813879
830.22/192.94	c (105,0) c SolvingTime_2 : 88.666217
830.22/192.94	c (105,0) c SolvingTime_3 : 88.600010
830.22/192.94	c (105,0) c SolvingTime_4 : 88.583604
830.22/192.94	c (105,0) c SolvingTime_5 : 88.390127
830.22/192.94	c (105,0) c SolvingTime_6 : 88.519023
830.22/192.94	c (105,0) c SolvingTime_7 : 88.364876
830.22/192.94	c (105,0) c SolvingTime_total : 710.168625
830.22/192.94	c (105,0) c SolvingTime_winner : 88.364876
830.22/192.94	c (105,0) c PropagationTime_0 : 73.604499
830.22/192.94	c (105,0) c PropagationTime_1 : 72.313689
830.22/192.94	c (105,0) c PropagationTime_2 : 72.401387
830.22/192.94	c (105,0) c PropagationTime_3 : 72.408375
830.22/192.94	c (105,0) c PropagationTime_4 : 71.302660
830.22/192.94	c (105,0) c PropagationTime_5 : 70.910660
830.22/192.94	c (105,0) c PropagationTime_6 : 72.120049
830.22/192.94	c (105,0) c PropagationTime_7 : 71.058239
830.22/192.94	c (105,0) c PropagationTime_total : 576.119558
830.22/192.94	c (105,0) c PropagationTime_winner : 71.058239
830.22/192.94	c (105,0) c AnalysisTime_0 : 11.716916
830.22/192.94	c (105,0) c AnalysisTime_1 : 11.431420
830.22/192.94	c (105,0) c AnalysisTime_2 : 11.271324
830.22/192.94	c (105,0) c AnalysisTime_3 : 10.980473
830.22/192.94	c (105,0) c AnalysisTime_4 : 11.800409
830.22/192.94	c (105,0) c AnalysisTime_5 : 11.849690
830.22/192.94	c (105,0) c AnalysisTime_6 : 11.396591
830.22/192.94	c (105,0) c AnalysisTime_7 : 12.049802
830.22/192.94	c (105,0) c AnalysisTime_total : 92.496624
830.22/192.94	c (105,0) c AnalysisTime_winner : 12.049802
830.22/192.94	c (105,0) c ReductionTime_0 : 0.523049
830.22/192.94	c (105,0) c ReductionTime_1 : 0.562781
830.22/192.94	c (105,0) c ReductionTime_2 : 0.553714
830.22/192.94	c (105,0) c ReductionTime_3 : 0.563081
830.22/192.94	c (105,0) c ReductionTime_4 : 0.554750
830.22/192.94	c (105,0) c ReductionTime_5 : 0.551257
830.22/192.94	c (105,0) c ReductionTime_6 : 0.564859
830.22/192.94	c (105,0) c ReductionTime_7 : 0.556894
830.22/192.94	c (105,0) c ReductionTime_total : 4.430384
830.22/192.94	c (105,0) c ReductionTime_winner : 0.556894
830.22/192.94	c (105,0) c SimplifyTime_0 : 1.202665
830.22/192.94	c (105,0) c SimplifyTime_1 : 1.334187
830.22/192.94	c (105,0) c SimplifyTime_2 : 1.213782
830.22/192.94	c (105,0) c SimplifyTime_3 : 1.468725
830.22/192.94	c (105,0) c SimplifyTime_4 : 1.712121
830.22/192.94	c (105,0) c SimplifyTime_5 : 1.894754
830.22/192.94	c (105,0) c SimplifyTime_6 : 1.309968
830.22/192.94	c (105,0) c SimplifyTime_7 : 1.539546
830.22/192.94	c (105,0) c SimplifyTime_total : 11.675748
830.22/192.94	c (105,0) c SimplifyTime_winner : 1.539546
830.22/192.94	c (105,0) c UsedRateTime_0 : 0.000000
830.22/192.94	c (105,0) c UsedRateTime_1 : 0.000000
830.22/192.94	c (105,0) c UsedRateTime_2 : 0.000000
830.22/192.94	c (105,0) c UsedRateTime_3 : 0.000000
830.22/192.94	c (105,0) c UsedRateTime_4 : 0.000000
830.22/192.94	c (105,0) c UsedRateTime_5 : 0.000000
830.22/192.94	c (105,0) c UsedRateTime_6 : 0.000000
830.22/192.94	c (105,0) c UsedRateTime_7 : 0.000000
830.22/192.94	c (105,0) c UsedRateTime_total : 0.000000
830.22/192.94	c (105,0) c UsedRateTime_winner : 0.000000
830.22/192.94	c (105,0) c OverlapRateTime_0 : 0.000000
830.22/192.94	c (105,0) c OverlapRateTime_1 : 0.000000
830.22/192.94	c (105,0) c OverlapRateTime_2 : 0.000000
830.22/192.94	c (105,0) c OverlapRateTime_3 : 0.000000
830.22/192.94	c (105,0) c OverlapRateTime_4 : 0.000000
830.22/192.94	c (105,0) c OverlapRateTime_5 : 0.000000
830.22/192.94	c (105,0) c OverlapRateTime_6 : 0.000000
830.22/192.94	c (105,0) c OverlapRateTime_7 : 0.000000
830.22/192.94	c (105,0) c OverlapRateTime_total : 0.000000
830.22/192.94	c (105,0) c OverlapRateTime_winner : 0.000000
830.22/192.94	c (105,0) c
830.22/192.94	c (105,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
830.22/192.94	c (105,0) c
830.22/192.94	c (105,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
830.22/192.94	c (105,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
830.22/192.94	c (105,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
830.22/192.94	c (105,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
830.22/192.94	c (105,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
830.22/192.94	c (105,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
830.22/192.94	c (105,0) c | Initial random_seed   | 1676810150 |  667132057 | 1612827587 |  965599956 | 1345692515 | 1218799992 |  729598820 | 1877392234 |
830.22/192.94	c (105,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
830.22/192.94	c (105,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
830.22/192.94	c (105,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
830.22/192.94	c (105,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
830.22/192.94	c (105,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
830.22/192.94	c (105,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
830.22/192.94	c (105,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
830.22/192.94	c (105,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
830.22/192.94	c (105,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
830.22/192.94	c (105,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
830.22/192.94	c (105,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
830.22/192.94	c (105,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
830.22/192.94	c (105,0) 
830.22/192.94	c (105,0) s SATISFIABLE
119.89/193.05	c (105,0) SatSolver.solve End
119.89/193.05	c (105,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
119.89/193.05	c (105,0) Show results Begin
830.73/193.16	c (106,0) x[0] = 367
830.73/193.16	c (106,0) x[1] = 15
830.73/193.16	c (106,0) x[2] = 181
830.73/193.16	c (106,0) x[3] = 310
830.73/193.16	c (106,0) x[4] = 197
830.73/193.16	c (106,0) x[5] = 87
830.73/193.16	c (106,0) x[6] = 27
830.73/193.16	c (106,0) x[7] = 94
830.73/193.16	c (106,0) x[8] = 24
830.73/193.16	c (106,0) x[9] = 88
830.73/193.16	c (106,0) x[10] = 379
830.73/193.16	c (106,0) x[11] = 316
830.73/193.16	c (106,0) x[12] = 7
830.73/193.16	c (106,0) x[13] = 315
830.73/193.16	c (106,0) x[14] = 307
830.73/193.16	c (106,0) x[15] = 282
830.73/193.16	c (106,0) x[16] = 279
830.73/193.16	c (106,0) x[17] = 275
830.73/193.16	c (106,0) x[18] = 53
830.73/193.16	c (106,0) x[19] = 311
830.73/193.16	c (106,0) x[20] = 55
830.73/193.16	c (106,0) x[21] = 175
830.73/193.16	c (106,0) x[22] = 20
830.73/193.16	c (106,0) x[23] = 99
830.73/193.16	c (106,0) x[24] = 228
830.73/193.16	c (106,0) x[25] = 297
830.73/193.16	c (106,0) x[26] = 43
830.73/193.16	c (106,0) x[27] = 240
830.73/193.16	c (106,0) x[28] = 314
830.73/193.16	c (106,0) x[29] = 67
830.73/193.16	c (106,0) x[30] = 110
830.73/193.16	c (106,0) x[31] = 166
830.73/193.16	c (106,0) x[32] = 32
830.73/193.16	c (106,0) x[33] = 40
830.73/193.16	c (106,0) x[34] = 337
830.73/193.16	c (106,0) x[35] = 280
830.73/193.16	c (106,0) x[36] = 131
830.73/193.16	c (106,0) x[37] = 261
830.73/193.16	c (106,0) x[38] = 319
830.73/193.16	c (106,0) x[39] = 16
830.73/193.16	c (106,0) x[40] = 225
830.73/193.17	c (106,0) x[41] = 347
830.73/193.17	c (106,0) x[42] = 259
830.73/193.17	c (106,0) x[43] = 186
830.73/193.17	c (106,0) x[44] = 338
830.73/193.17	c (106,0) x[45] = 339
830.73/193.17	c (106,0) x[46] = 82
830.73/193.17	c (106,0) x[47] = 145
830.73/193.17	c (106,0) x[48] = 49
830.73/193.17	c (106,0) x[49] = 374
830.73/193.17	c (106,0) x[50] = 355
830.73/193.17	c (106,0) x[51] = 370
830.73/193.17	c (106,0) x[52] = 210
830.73/193.17	c (106,0) x[53] = 111
830.73/193.17	c (106,0) x[54] = 13
830.73/193.17	c (106,0) x[55] = 381
830.73/193.17	c (106,0) x[56] = 143
830.73/193.17	c (106,0) x[57] = 180
830.73/193.17	c (106,0) x[58] = 21
830.73/193.17	c (106,0) x[59] = 323
830.73/193.17	c (106,0) x[60] = 285
830.73/193.17	c (106,0) x[61] = 396
830.73/193.17	c (106,0) x[62] = 371
830.73/193.17	c (106,0) x[63] = 378
830.73/193.17	c (106,0) x[64] = 29
830.73/193.17	c (106,0) x[65] = 201
830.73/193.17	c (106,0) x[66] = 95
830.73/193.17	c (106,0) x[67] = 160
830.73/193.17	c (106,0) x[68] = 146
830.73/193.17	c (106,0) x[69] = 340
830.73/193.17	c (106,0) x[70] = 71
830.73/193.17	c (106,0) x[71] = 173
830.73/193.17	c (106,0) x[72] = 231
830.73/193.17	c (106,0) x[73] = 182
830.73/193.17	c (106,0) x[74] = 127
830.73/193.17	c (106,0) x[75] = 126
830.73/193.17	c (106,0) x[76] = 18
830.73/193.17	c (106,0) x[77] = 273
830.73/193.17	c (106,0) x[78] = 144
830.73/193.17	c (106,0) x[79] = 308
830.73/193.17	s SATISFIABLE
830.73/193.18	v <instantiation>
830.73/193.18	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>
830.73/193.18	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>
830.73/193.18	v </instantiation>
830.73/193.18	c (106,0) Show results End
830.73/193.18	c (106,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
830.73/193.18	c (106,0) 105,106,STOP-AFTER(ALL)
830.73/193.18	c END-Prog: Sat Sep 14 05:29:28 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 (15419 MiB free)
  memory of node 1: 16384 MiB (13465 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.105561 s]*
/proc/loadavg: 2.67 6.30 7.51 2/211 1910
/proc/meminfo: memFree=29481508/32770624 swapFree=66958236/67108860
[pid=1886] ppid=1883 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1886/stat : 1886 (scop.sh) S 1883 1886 1012 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419098102 115843072 349 33554432000 4194304 5098028 140720876820736 140720876817992 140351286878844 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12480512 140720876823332 140720876823660 140720876823660 140720876826573 0
/proc/1886/statm: 28282 349 296 221 0 87 0
[pid=1889] ppid=1886 vsize=27314120 memory=110140 CPUtime=0.11 cores=0-7
/proc/1889/stat : 1889 (java) S 1886 1886 1012 0 -1 1077944320 6610 0 0 0 9 2 0 0 20 0 20 0 419098102 27969658880 27535 33554432000 4194304 4196468 140725695604592 140725695587136 139752165154551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
/proc/1889/statm: 6828530 27535 2816 1 0 6790935 0
[pid=1889/tid=1890] ppid=1886 vsize=27314120 memory=-7024592270288534718 CPUtime=0.09 cores=0-7
/proc/1889/task/1890/stat : 1890 (java) R 1886 1886 1012 0 -1 4202560 4717 0 0 0 7 2 0 0 20 0 20 0 419098103 27969658880 27732 33554432000 4194304 4196468 140725695604592 139752136966536 139752165176477 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1891] ppid=1886 vsize=27314120 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/1889/task/1891/stat : 1891 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 27732 33554432000 4194304 4196468 140725695604592 139752169397264 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1892] ppid=1886 vsize=27314120 memory=140268234344064 CPUtime=0 cores=0-7
/proc/1889/task/1892/stat : 1892 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 27732 33554432000 4194304 4196468 140725695604592 139751996214416 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1893] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1893/stat : 1893 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 27732 33554432000 4194304 4196468 140725695604592 139751586351888 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1894] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1894/stat : 1894 (java) S 1886 1886 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 27732 33554432000 4194304 4196468 140725695604592 139751585299344 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1895] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1895/stat : 1895 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 27732 33554432000 4194304 4196468 140725695604592 139751584246288 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1896] ppid=1886 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1889/task/1896/stat : 1896 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 27732 33554432000 4194304 4196468 140725695604592 139751583193744 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1897] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1897/stat : 1897 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 27732 33554432000 4194304 4196468 140725695604592 139751582140688 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1898] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1898/stat : 1898 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 27732 33554432000 4194304 4196468 140725695604592 139751581088144 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1899] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1899/stat : 1899 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419098107 27969658880 27732 33554432000 4194304 4196468 140725695604592 139751290723056 139752165165698 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1900] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1900/stat : 1900 (java) S 1886 1886 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419098107 27969658880 27732 33554432000 4194304 4196468 140725695604592 139750048523936 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1901] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1901/stat : 1901 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098107 27969658880 27732 33554432000 4194304 4196468 140725695604592 139749780088048 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1902] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1902/stat : 1902 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098110 27969658880 27732 33554432000 4194304 4196468 140725695604592 139749405579728 139752165173147 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1903] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1903/stat : 1903 (java) S 1886 1886 1012 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 419098110 27969658880 27732 33554432000 4194304 4196468 140725695604592 139751289669872 139752165165698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1904] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1904/stat : 1904 (java) S 1886 1886 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419098110 27969658880 27732 33554432000 4194304 4196468 140725695604592 139751288617328 139752165165698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1905] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1905/stat : 1905 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098110 27969658880 27732 33554432000 4194304 4196468 140725695604592 139751287564272 139752165165698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1906] ppid=1886 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/1889/task/1906/stat : 1906 (java) R 1886 1886 1012 0 -1 4202560 441 0 0 0 1 0 0 0 20 0 20 0 419098110 27969658880 27732 33554432000 4194304 4196468 140725695604592 139751286507672 139752145497093 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1909] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1909/stat : 1909 (java) S 1886 1886 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419098110 27969658880 27732 33554432000 4194304 4196468 140725695604592 139748907674592 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1910] ppid=1886 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1889/task/1910/stat : 1910 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098110 27969658880 27732 33554432000 4194304 4196468 140725695604592 139751285460144 139752165165698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 111536 KiB

[startup+0.210575 s]*
/proc/loadavg: 2.67 6.30 7.51 2/211 1910
/proc/meminfo: memFree=29463428/32770624 swapFree=66958236/67108860
[pid=1886] ppid=1883 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1886/stat : 1886 (scop.sh) S 1883 1886 1012 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419098102 115843072 349 33554432000 4194304 5098028 140720876820736 140720876817992 140351286878844 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12480512 140720876823332 140720876823660 140720876823660 140720876826573 0
/proc/1886/statm: 28282 349 296 221 0 87 0
[pid=1889] ppid=1886 vsize=27314120 memory=124420 CPUtime=0.24 cores=0-7
/proc/1889/stat : 1889 (java) S 1886 1886 1012 0 -1 1077944320 11522 0 0 0 20 4 0 0 20 0 20 0 419098102 27969658880 31105 33554432000 4194304 4196468 140725695604592 140725695587136 139752165154551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
/proc/1889/statm: 6828530 31105 2914 1 0 6790935 0
[pid=1889/tid=1890] ppid=1886 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/1889/task/1890/stat : 1890 (java) R 1886 1886 1012 0 -1 4202560 9235 0 0 0 16 3 0 0 20 0 20 0 419098103 27969658880 31105 33554432000 4194304 4196468 140725695604592 139752136953936 139752150320190 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1891] ppid=1886 vsize=27314120 memory=288230596118052887 CPUtime=0 cores=0-7
/proc/1889/task/1891/stat : 1891 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 31105 33554432000 4194304 4196468 140725695604592 139752169397264 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1892] ppid=1886 vsize=27314120 memory=140268237374368 CPUtime=0 cores=0-7
/proc/1889/task/1892/stat : 1892 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 31105 33554432000 4194304 4196468 140725695604592 139751996214416 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1893] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1893/stat : 1893 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 31105 33554432000 4194304 4196468 140725695604592 139751586351888 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1894] ppid=1886 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1889/task/1894/stat : 1894 (java) S 1886 1886 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 31105 33554432000 4194304 4196468 140725695604592 139751585299344 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1895] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1895/stat : 1895 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 31105 33554432000 4194304 4196468 140725695604592 139751584246288 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1896] ppid=1886 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1889/task/1896/stat : 1896 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 31105 33554432000 4194304 4196468 140725695604592 139751583193744 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1897] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1897/stat : 1897 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 31105 33554432000 4194304 4196468 140725695604592 139751582140688 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1898] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1898/stat : 1898 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 31105 33554432000 4194304 4196468 140725695604592 139751581088144 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1899] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1899/stat : 1899 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419098107 27969658880 31105 33554432000 4194304 4196468 140725695604592 139751290723056 139752165165698 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1900] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1900/stat : 1900 (java) S 1886 1886 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419098107 27969658880 31105 33554432000 4194304 4196468 140725695604592 139750048523936 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1901] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1901/stat : 1901 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098107 27969658880 31105 33554432000 4194304 4196468 140725695604592 139749780088048 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1902] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1902/stat : 1902 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098110 27969658880 31105 33554432000 4194304 4196468 140725695604592 139749405579728 139752165173147 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1903] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1903/stat : 1903 (java) S 1886 1886 1012 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 419098110 27969658880 31105 33554432000 4194304 4196468 140725695604592 139751289669872 139752165165698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1904] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1904/stat : 1904 (java) S 1886 1886 1012 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 419098110 27969658880 31105 33554432000 4194304 4196468 140725695604592 139751288617328 139752165165698 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1905] ppid=1886 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1889/task/1905/stat : 1905 (java) S 1886 1886 1012 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 419098110 27969658880 31105 33554432000 4194304 4196468 140725695604592 139751287564272 139752165165698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1906] ppid=1886 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/1889/task/1906/stat : 1906 (java) S 1886 1886 1012 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 419098110 27969658880 31105 33554432000 4194304 4196468 140725695604592 139751286511728 139752165165698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1909] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1909/stat : 1909 (java) S 1886 1886 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419098110 27969658880 31105 33554432000 4194304 4196468 140725695604592 139748907674592 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1910] ppid=1886 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1889/task/1910/stat : 1910 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098110 27969658880 31105 33554432000 4194304 4196468 140725695604592 139751285460144 139752165165698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125816 KiB

[startup+0.310289 s]*
/proc/loadavg: 2.67 6.30 7.51 2/211 1910
/proc/meminfo: memFree=29460140/32770624 swapFree=66958236/67108860
[pid=1886] ppid=1883 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1886/stat : 1886 (scop.sh) S 1883 1886 1012 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419098102 115843072 349 33554432000 4194304 5098028 140720876820736 140720876817992 140351286878844 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12480512 140720876823332 140720876823660 140720876823660 140720876826573 0
/proc/1886/statm: 28282 349 296 221 0 87 0
[pid=1889] ppid=1886 vsize=27314120 memory=128360 CPUtime=0.42 cores=0-7
/proc/1889/stat : 1889 (java) S 1886 1886 1012 0 -1 1077944320 11975 0 0 0 38 4 0 0 20 0 20 0 419098102 27969658880 32090 33554432000 4194304 4196468 140725695604592 140725695587136 139752165154551 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
/proc/1889/statm: 6828530 32090 3004 1 0 6790935 0
[pid=1889/tid=1890] ppid=1886 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/1889/task/1890/stat : 1890 (java) R 1886 1886 1012 0 -1 4202560 9506 0 0 0 26 3 0 0 20 0 20 0 419098103 27969658880 32155 33554432000 4194304 4196468 140725695604592 139752136968416 139752146707856 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1891] ppid=1886 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1889/task/1891/stat : 1891 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 32155 33554432000 4194304 4196468 140725695604592 139752169397264 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1892] ppid=1886 vsize=27314120 memory=8000 CPUtime=0 cores=0-7
/proc/1889/task/1892/stat : 1892 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 32155 33554432000 4194304 4196468 140725695604592 139751996214416 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1893] ppid=1886 vsize=27314120 memory=10428 CPUtime=0 cores=0-7
/proc/1889/task/1893/stat : 1893 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 32155 33554432000 4194304 4196468 140725695604592 139751586351888 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1894] ppid=1886 vsize=27314120 memory=14012 CPUtime=0 cores=0-7
/proc/1889/task/1894/stat : 1894 (java) S 1886 1886 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 32155 33554432000 4194304 4196468 140725695604592 139751585299344 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1895] ppid=1886 vsize=27314120 memory=4108 CPUtime=0 cores=0-7
/proc/1889/task/1895/stat : 1895 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 32155 33554432000 4194304 4196468 140725695604592 139751584246288 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1896] ppid=1886 vsize=27314120 memory=14080 CPUtime=0 cores=0-7
/proc/1889/task/1896/stat : 1896 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 32155 33554432000 4194304 4196468 140725695604592 139751583193744 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1897] ppid=1886 vsize=27314120 memory=21944 CPUtime=0 cores=0-7
/proc/1889/task/1897/stat : 1897 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 32155 33554432000 4194304 4196468 140725695604592 139751582140688 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1898] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1898/stat : 1898 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098105 27969658880 32155 33554432000 4194304 4196468 140725695604592 139751581088144 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1899] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1899/stat : 1899 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419098107 27969658880 32155 33554432000 4194304 4196468 140725695604592 139751290723056 139752165165698 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1900] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1900/stat : 1900 (java) S 1886 1886 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419098107 27969658880 32155 33554432000 4194304 4196468 140725695604592 139750048523936 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1901] ppid=1886 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1901/stat : 1901 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098107 27969658880 32155 33554432000 4194304 4196468 140725695604592 139749780088048 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1902] ppid=1886 vsize=27314120 memory=140268129060303 CPUtime=0 cores=0-7
/proc/1889/task/1902/stat : 1902 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098110 27969658880 32155 33554432000 4194304 4196468 140725695604592 139749405579728 139752165173147 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1903] ppid=1886 vsize=27314120 memory=67 CPUtime=0.01 cores=0-7
/proc/1889/task/1903/stat : 1903 (java) S 1886 1886 1012 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 20 0 419098110 27969658880 32155 33554432000 4194304 4196468 140725695604592 139751289669872 139752165165698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1904] ppid=1886 vsize=27314120 memory=51172 CPUtime=0.02 cores=0-7
/proc/1889/task/1904/stat : 1904 (java) S 1886 1886 1012 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 20 0 419098110 27969658880 32155 33554432000 4194304 4196468 140725695604592 139751288617328 139752165165698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1905] ppid=1886 vsize=27314120 memory=53476 CPUtime=0.01 cores=0-7
/proc/1889/task/1905/stat : 1905 (java) R 1886 1886 1012 0 -1 4202560 79 0 0 0 1 0 0 0 20 0 20 0 419098110 27969658880 32155 33554432000 4194304 4196468 140725695604592 139751287564272 139752142749712 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1906] ppid=1886 vsize=27314120 memory=55780 CPUtime=0.07 cores=0-7
/proc/1889/task/1906/stat : 1906 (java) S 1886 1886 1012 0 -1 1077944384 483 0 0 0 7 0 0 0 20 0 20 0 419098110 27969658880 32155 33554432000 4194304 4196468 140725695604592 139751286511728 139752165165698 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1909] ppid=1886 vsize=27314120 memory=110297088 CPUtime=0 cores=0-7
/proc/1889/task/1909/stat : 1909 (java) S 1886 1886 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419098110 27969658880 32155 33554432000 4194304 4196468 140725695604592 139748907674592 139752165164757 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1910] ppid=1886 vsize=27314120 memory=115843071 CPUtime=0 cores=0-7
/proc/1889/task/1910/stat : 1910 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098110 27969658880 32155 33554432000 4194304 4196468 140725695604592 139751285460144 139752165165698 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129756 KiB

[startup+0.700843 s]
/proc/loadavg: 2.67 6.30 7.51 2/211 1910
/proc/meminfo: memFree=29436692/32770624 swapFree=66958236/67108860
[pid=1886] ppid=1883 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/1886/stat : 1886 (scop.sh) S 1883 1886 1012 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 419098102 115843072 349 33554432000 4194304 5098028 140720876820736 140720876817992 140351286878844 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12480512 140720876823332 140720876823660 140720876823660 140720876826573 0
/proc/1886/statm: 28282 349 296 221 0 87 0
[pid=1889] ppid=1886 vsize=27322440 memory=165972 CPUtime=1.01 cores=0-7
/proc/1889/stat : 1889 (java) S 1886 1886 1012 0 -1 1077944320 20050 0 0 0 94 7 0 0 20 0 20 0 419098102 27978178560 41493 33554432000 4194304 4196468 140725695604592 140725695587136 139752165154551 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
/proc/1889/statm: 6830610 41493 3187 1 0 6791959 0
[pid=1889/tid=1890] ppid=1886 vsize=27322440 memory=4580 CPUtime=0.68 cores=0-7
/proc/1889/task/1890/stat : 1890 (java) R 1886 1886 1012 0 -1 4202560 17031 0 0 0 62 6 0 0 20 0 20 0 419098103 27978178560 41493 33554432000 4194304 4196468 140725695604592 139752136991200 139752149235038 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1891] ppid=1886 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1891/stat : 1891 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419098105 27978178560 41493 33554432000 4194304 4196468 140725695604592 139752169397264 139752165164757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1892] ppid=1886 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/1889/task/1892/stat : 1892 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419098105 27978178560 41493 33554432000 4194304 4196468 140725695604592 139751996214416 139752165164757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0
[pid=1889/tid=1893] ppid=1886 vsize=27322440 memory=2020 CPUtime=0 cores=0-7
/proc/1889/task/1893/stat : 1893 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419098105 27978178560 41493 33554432000 4194304 4196468 140725695604592 139751586351888 139752165164757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9146368 140725695607531 140725695607958 140725695607958 140725695610831 0

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

[pid=1916/tid=1931] ppid=1886 vsize=8414124 memory=4108 CPUtime=0.06 cores=0-7
/proc/1916/task/1931/stat : 1931 (java) S 1886 1886 1012 0 -1 1077944384 280 0 0 0 6 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690599705328 140691709610626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1932] ppid=1886 vsize=8414124 memory=14080 CPUtime=0.06 cores=0-7
/proc/1916/task/1932/stat : 1932 (java) S 1886 1886 1012 0 -1 1077944384 184 0 0 0 6 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690598652528 140691709610626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1933] ppid=1886 vsize=8414124 memory=8000 CPUtime=0.21 cores=0-7
/proc/1916/task/1933/stat : 1933 (java) S 1886 1886 1012 0 -1 1077944384 774 0 0 0 21 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690597599728 140691709610626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1934] ppid=1886 vsize=8414124 memory=10428 CPUtime=0 cores=0-7
/proc/1916/task/1934/stat : 1934 (java) S 1886 1886 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140689237076576 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1935] ppid=1886 vsize=8414124 memory=14012 CPUtime=0.05 cores=0-7
/proc/1916/task/1935/stat : 1935 (java) S 1886 1886 1012 0 -1 1077944384 9 0 0 0 2 3 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690596547120 140691709610626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1937] ppid=1886 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/1916/task/1937/stat : 1937 (java) S 1886 1886 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419106844 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690588513344 140691709624089 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1939] ppid=1886 vsize=8414124 memory=14080 CPUtime=0 cores=0-7
/proc/1916/task/1939/stat : 1939 (java) S 1886 1886 1012 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 419106845 8616062976 30303 33554432000 4194304 4196468 140737432153888 140688565977232 140691709621405 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1940] ppid=1886 vsize=8414124 memory=21948 CPUtime=0 cores=0-7
/proc/1916/task/1940/stat : 1940 (java) S 1886 1886 1012 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419106845 8616062976 30303 33554432000 4194304 4196468 140737432153888 140688834412560 140691709621405 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1941] ppid=1886 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/1916/task/1941/stat : 1941 (java) S 1886 1886 1012 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419106847 8616062976 30303 33554432000 4194304 4196468 140737432153888 140688297549360 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
Current children cumulated CPU time: 821.79 s
Current children cumulated vsize: 11204692 KiB
Current children cumulated memory: 2337636 KiB

[startup+192.001 s]*
/proc/loadavg: 6.95 5.77 7.00 2/217 1956
/proc/meminfo: memFree=27176292/32770624 swapFree=66958236/67108860
[pid=1886] ppid=1883 vsize=113128 memory=1476 CPUtime=118.44 cores=0-7
/proc/1886/stat : 1886 (scop.sh) S 1883 1886 1012 0 -1 4202496 582 80087 0 0 0 0 11231 613 20 0 1 0 419098102 115843072 369 33554432000 4194304 5098028 140720876820736 140720876817480 140351286878844 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12480512 140720876823332 140720876823660 140720876823660 140720876826573 0
/proc/1886/statm: 28282 369 311 221 0 87 0
[pid=1916] ppid=1886 vsize=8414124 memory=121212 CPUtime=1.26 cores=0-7
/proc/1916/stat : 1916 (java) S 1886 1886 1012 0 -1 1077944320 20303 0 0 0 117 9 0 0 20 0 24 0 419106770 8616062976 30303 33554432000 4194304 4196468 140737432153888 140737432136432 140691709599479 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
/proc/1916/statm: 2103531 30303 3201 1 0 2064875 0
[pid=1936] ppid=1916 vsize=2677440 memory=2221700 CPUtime=709.62 cores=0-7
/proc/1936/stat : 1936 (manyglucose-4.1) S 1916 1886 1012 0 -1 1077944320 3719498 0 0 0 70480 482 0 0 20 0 2 0 419106844 2741698560 555425 33554432000 4194304 4454172 140735965019488 140735965017872 139746778877687 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 16965632 140735965025130 140735965025328 140735965025328 140735965028282 0
/proc/1936/statm: 669360 555425 422 64 0 665028 0
[pid=1936/tid=1943] ppid=1916 vsize=2677440 memory=2094612 CPUtime=89.18 cores=0-7
/proc/1936/task/1943/stat : 1943 (manyglucose-4.1) R 1916 1886 1012 0 -1 4202560 365977 0 0 0 8851 67 0 0 20 0 2 0 419108370 2741698560 555425 33554432000 4194304 4454172 140735965019488 139745511541896 4351286 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 16965632 140735965025130 140735965025328 140735965025328 140735965028282 0
[pid=1916/tid=1917] ppid=1886 vsize=8414124 memory=-4695052241013923951 CPUtime=0.76 cores=0-7
/proc/1916/task/1917/stat : 1917 (java) S 1886 1886 1012 0 -1 1077944384 16942 0 0 0 70 6 0 0 20 0 24 0 419106770 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691681439648 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1918] ppid=1886 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1916/task/1918/stat : 1918 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691713841808 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1919] ppid=1886 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/1916/task/1919/stat : 1919 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691194415632 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1920] ppid=1886 vsize=8414124 memory=14080 CPUtime=0 cores=0-7
/proc/1916/task/1920/stat : 1920 (java) S 1886 1886 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691193362832 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1921] ppid=1886 vsize=8414124 memory=21948 CPUtime=0 cores=0-7
/proc/1916/task/1921/stat : 1921 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691192310032 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1922] ppid=1886 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/1916/task/1922/stat : 1922 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691191258256 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1923] ppid=1886 vsize=8414124 memory=508 CPUtime=0 cores=0-7
/proc/1916/task/1923/stat : 1923 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691190205456 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1924] ppid=1886 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/1916/task/1924/stat : 1924 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691189152656 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1925] ppid=1886 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1916/task/1925/stat : 1925 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691188099856 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1926] ppid=1886 vsize=8414124 memory=121212 CPUtime=0 cores=0-7
/proc/1916/task/1926/stat : 1926 (java) S 1886 1886 1012 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419106773 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690601810288 140691709610626 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1927] ppid=1886 vsize=8414124 memory=2179576 CPUtime=0 cores=0-7
/proc/1916/task/1927/stat : 1927 (java) S 1886 1886 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419106774 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690377925664 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1928] ppid=1886 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/1916/task/1928/stat : 1928 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419106774 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690109490032 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1929] ppid=1886 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/1916/task/1929/stat : 1929 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140689734981456 140691709618075 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1930] ppid=1886 vsize=8414124 memory=1398722017469774279 CPUtime=0.06 cores=0-7
/proc/1916/task/1930/stat : 1930 (java) S 1886 1886 1012 0 -1 1077944384 714 0 0 0 6 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690600758128 140691709610626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1931] ppid=1886 vsize=8414124 memory=4444 CPUtime=0.06 cores=0-7
/proc/1916/task/1931/stat : 1931 (java) S 1886 1886 1012 0 -1 1077944384 280 0 0 0 6 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690599705328 140691709610626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1932] ppid=1886 vsize=8414124 memory=121212 CPUtime=0.06 cores=0-7
/proc/1916/task/1932/stat : 1932 (java) S 1886 1886 1012 0 -1 1077944384 184 0 0 0 6 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690598652528 140691709610626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1933] ppid=1886 vsize=8414124 memory=2125744 CPUtime=0.21 cores=0-7
/proc/1916/task/1933/stat : 1933 (java) S 1886 1886 1012 0 -1 1077944384 774 0 0 0 21 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690597599728 140691709610626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1934] ppid=1886 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/1916/task/1934/stat : 1934 (java) S 1886 1886 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140689237076576 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1935] ppid=1886 vsize=8414124 memory=120440 CPUtime=0.05 cores=0-7
/proc/1916/task/1935/stat : 1935 (java) S 1886 1886 1012 0 -1 1077944384 9 0 0 0 2 3 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690596547120 140691709610626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1937] ppid=1886 vsize=8414124 memory=2278988 CPUtime=0 cores=0-7
/proc/1916/task/1937/stat : 1937 (java) S 1886 1886 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419106844 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690588513344 140691709624089 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1939] ppid=1886 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/1916/task/1939/stat : 1939 (java) S 1886 1886 1012 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 419106845 8616062976 30303 33554432000 4194304 4196468 140737432153888 140688565977232 140691709621405 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1940] ppid=1886 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/1916/task/1940/stat : 1940 (java) S 1886 1886 1012 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419106845 8616062976 30303 33554432000 4194304 4196468 140737432153888 140688834412560 140691709621405 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1941] ppid=1886 vsize=8414124 memory=4000 CPUtime=0 cores=0-7
/proc/1916/task/1941/stat : 1941 (java) S 1886 1886 1012 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419106847 8616062976 30303 33554432000 4194304 4196468 140737432153888 140688297549360 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
Current children cumulated CPU time: 829.32 s
Current children cumulated vsize: 11204692 KiB
Current children cumulated memory: 2344388 KiB

[startup+192.801 s]
/proc/loadavg: 6.95 5.77 7.00 2/217 1956
/proc/meminfo: memFree=27176292/32770624 swapFree=66958236/67108860
[pid=1886] ppid=1883 vsize=113128 memory=1476 CPUtime=118.44 cores=0-7
/proc/1886/stat : 1886 (scop.sh) S 1883 1886 1012 0 -1 4202496 582 80087 0 0 0 0 11231 613 20 0 1 0 419098102 115843072 369 33554432000 4194304 5098028 140720876820736 140720876817480 140351286878844 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12480512 140720876823332 140720876823660 140720876823660 140720876826573 0
/proc/1886/statm: 28282 369 311 221 0 87 0
[pid=1916] ppid=1886 vsize=8414124 memory=121212 CPUtime=1.26 cores=0-7
/proc/1916/stat : 1916 (java) S 1886 1886 1012 0 -1 1077944320 20303 0 0 0 117 9 0 0 20 0 24 0 419106770 8616062976 30303 33554432000 4194304 4196468 140737432153888 140737432136432 140691709599479 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
/proc/1916/statm: 2103531 30303 3201 1 0 2064875 0
[pid=1936] ppid=1916 vsize=2677440 memory=2221700 CPUtime=710.42 cores=0-7
/proc/1936/stat : 1936 (manyglucose-4.1) S 1916 1886 1012 0 -1 1077944320 3719507 0 0 0 70560 482 0 0 20 0 2 0 419106844 2741698560 555425 33554432000 4194304 4454172 140735965019488 140735965017872 139746778877687 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 16965632 140735965025130 140735965025328 140735965025328 140735965028282 0
/proc/1936/statm: 669360 555425 422 64 0 665028 0
[pid=1936/tid=1943] ppid=1916 vsize=2677440 memory=-4075877051373423738 CPUtime=89.97 cores=0-7
/proc/1936/task/1943/stat : 1943 (manyglucose-4.1) R 1916 1886 1012 0 -1 4202560 365986 0 0 0 8930 67 0 0 20 0 2 0 419108370 2741698560 555425 33554432000 4194304 4454172 140735965019488 139745511541896 4350933 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 16965632 140735965025130 140735965025328 140735965025328 140735965028282 0
[pid=1916/tid=1917] ppid=1886 vsize=8414124 memory=121212 CPUtime=0.76 cores=0-7
/proc/1916/task/1917/stat : 1917 (java) S 1886 1886 1012 0 -1 1077944384 16942 0 0 0 70 6 0 0 20 0 24 0 419106770 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691681439648 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1918] ppid=1886 vsize=8414124 memory=2221700 CPUtime=0 cores=0-7
/proc/1916/task/1918/stat : 1918 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691713841808 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1919] ppid=1886 vsize=8414124 memory=712 CPUtime=0 cores=0-7
/proc/1916/task/1919/stat : 1919 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691194415632 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1920] ppid=1886 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/1916/task/1920/stat : 1920 (java) S 1886 1886 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691193362832 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1921] ppid=1886 vsize=8414124 memory=8000 CPUtime=0 cores=0-7
/proc/1916/task/1921/stat : 1921 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691192310032 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1922] ppid=1886 vsize=8414124 memory=10428 CPUtime=0 cores=0-7
/proc/1916/task/1922/stat : 1922 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691191258256 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1923] ppid=1886 vsize=8414124 memory=1044 CPUtime=0 cores=0-7
/proc/1916/task/1923/stat : 1923 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691190205456 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1924] ppid=1886 vsize=8414124 memory=712 CPUtime=0 cores=0-7
/proc/1916/task/1924/stat : 1924 (java) S 1886 1886 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691189152656 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1925] ppid=1886 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/1916/task/1925/stat : 1925 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419106772 8616062976 30303 33554432000 4194304 4196468 140737432153888 140691188099856 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1926] ppid=1886 vsize=8414124 memory=8000 CPUtime=0 cores=0-7
/proc/1916/task/1926/stat : 1926 (java) S 1886 1886 1012 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419106773 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690601810288 140691709610626 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1927] ppid=1886 vsize=8414124 memory=10428 CPUtime=0 cores=0-7
/proc/1916/task/1927/stat : 1927 (java) S 1886 1886 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419106774 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690377925664 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1928] ppid=1886 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/1916/task/1928/stat : 1928 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419106774 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690109490032 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1929] ppid=1886 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/1916/task/1929/stat : 1929 (java) S 1886 1886 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140689734981456 140691709618075 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1930] ppid=1886 vsize=8414124 memory=14080 CPUtime=0.06 cores=0-7
/proc/1916/task/1930/stat : 1930 (java) S 1886 1886 1012 0 -1 1077944384 714 0 0 0 6 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690600758128 140691709610626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1931] ppid=1886 vsize=8414124 memory=21948 CPUtime=0.06 cores=0-7
/proc/1916/task/1931/stat : 1931 (java) S 1886 1886 1012 0 -1 1077944384 280 0 0 0 6 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690599705328 140691709610626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1932] ppid=1886 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/1916/task/1932/stat : 1932 (java) S 1886 1886 1012 0 -1 1077944384 184 0 0 0 6 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690598652528 140691709610626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1933] ppid=1886 vsize=8414124 memory=121212 CPUtime=0.21 cores=0-7
/proc/1916/task/1933/stat : 1933 (java) S 1886 1886 1012 0 -1 1077944384 774 0 0 0 21 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690597599728 140691709610626 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1934] ppid=1886 vsize=8414124 memory=2197900 CPUtime=0 cores=0-7
/proc/1916/task/1934/stat : 1934 (java) S 1886 1886 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140689237076576 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1935] ppid=1886 vsize=8414124 memory=2496 CPUtime=0.05 cores=0-7
/proc/1916/task/1935/stat : 1935 (java) S 1886 1886 1012 0 -1 1077944384 9 0 0 0 2 3 0 0 20 0 24 0 419106777 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690596547120 140691709610626 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1937] ppid=1886 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/1916/task/1937/stat : 1937 (java) S 1886 1886 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419106844 8616062976 30303 33554432000 4194304 4196468 140737432153888 140690588513344 140691709624089 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1939] ppid=1886 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/1916/task/1939/stat : 1939 (java) S 1886 1886 1012 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 419106845 8616062976 30303 33554432000 4194304 4196468 140737432153888 140688565977232 140691709621405 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1940] ppid=1886 vsize=8414124 memory=5787477641288517003 CPUtime=0 cores=0-7
/proc/1916/task/1940/stat : 1940 (java) S 1886 1886 1012 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419106845 8616062976 30303 33554432000 4194304 4196468 140737432153888 140688834412560 140691709621405 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
[pid=1916/tid=1941] ppid=1886 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/1916/task/1941/stat : 1941 (java) S 1886 1886 1012 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419106847 8616062976 30303 33554432000 4194304 4196468 140737432153888 140688297549360 140691709609685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27607040 140737432159224 140737432159382 140737432159382 140737432162255 0
Current children cumulated CPU time: 830.12 s
Current children cumulated vsize: 11204692 KiB
Current children cumulated memory: 2344388 KiB

[startup+193.203 s]
/proc/loadavg: 6.48 5.69 6.97 4/216 1956
/proc/meminfo: memFree=27653364/32770624 swapFree=66958236/67108860
[pid=1886] ppid=1883 vsize=113128 memory=1476 CPUtime=830.96 cores=0-7
/proc/1886/stat : 1886 (scop.sh) R 1883 1886 1012 0 -1 4194304 582 3822181 0 0 0 0 81978 1118 20 0 1 0 419098102 115843072 369 33554432000 4194304 5098028 140720876820736 140720876817480 140351286318208 0 65536 4100 81923 0 0 0 17 6 0 0 0 0 0 7196144 7232144 12480512 140720876823332 140720876823660 140720876823660 140720876826573 0
/proc/1886/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 830.96 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 193.203
CPU time (s): 830.974
CPU user time (s): 819.785
CPU system time (s): 11.1894
CPU usage (%): 430.103
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7606820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 819.785
system time used= 11.1894
maximum resident set size= 7605876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3822775
page faults= 0
swaps= 0
block input operations= 0
block output operations= 140744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50104
involuntary context switches= 7268


# summary of solver processes directly reported to runsolver:
#   pid: 1886
#   total CPU time (s): 830.974
#   total CPU user time (s): 819.785
#   total CPU system time (s): 11.1894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.64022 second user time and 2.28839 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-14 05:26:14
IDJOB=4392596
IDBENCH=131036
IDSOLVER=2839
FILE ID=node145/4392596-1568431616
RUNJOBID= node145-1568426894-1040
PBS_JOBID= 21702291
Free space on /tmp= 59508 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-rand/Subisomorphism-si2-r001-m400-05.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392596-1568431616/watcher-4392596-1568431616 -o /tmp/evaluation-result-4392596-1568431616/solver-4392596-1568431616 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568426894-1040 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392596-1568431616.xml

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

MD5SUM BENCH= 5f006248f7b4f652f1c0eb398f87a4da
RANDOM SEED=649928805

node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29580340 kB
MemAvailable:   31861952 kB
Buffers:          131340 kB
Cached:          2435776 kB
SwapCached:        41016 kB
Active:          1233992 kB
Inactive:        1377192 kB
Active(anon):       6972 kB
Inactive(anon):    78404 kB
Active(file):    1227020 kB
Inactive(file):  1298788 kB
Unevictable:      109424 kB
Mlocked:          109424 kB
SwapTotal:      67108860 kB
SwapFree:       66958236 kB
Dirty:             20656 kB
Writeback:             0 kB
AnonPages:        153908 kB
Mapped:            44652 kB
Shmem:             32364 kB
Slab:             171296 kB
SReclaimable:     143280 kB
SUnreclaim:        28016 kB
KernelStack:        3824 kB
PageTables:         5316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 59484 MiB
End job on node145 at 2019-09-14 05:29:28