Trace number 4392296

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 819.834 190.296

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-si2-rand/
Subisomorphism-si2-r001-m400-05.xml
MD5SUM5f006248f7b4f652f1c0eb398f87a4da
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark9.50125
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints172
Number of domains1
Minimum domain size400
Maximum domain size400
Distribution of domain sizes[{"size":400,"count":80}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":20},{"degree":4,"count":19},{"degree":5,"count":18},{"degree":6,"count":11},{"degree":7,"count":8},{"degree":8,"count":2},{"degree":9,"count":2}]
Minimum constraint arity1
Maximum constraint arity80
Distribution of constraint arities[{"arity":1,"count":60},{"arity":2,"count":111},{"arity":80,"count":1}]
Number of extensional constraints171
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":171},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-8454-serial-file.bin HOME/instance-4392296-1568431550.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 05:25:10 CEST 2019
0.66/0.57	c PID: 8457
0.66/0.57	c IP: 172.20.3.146
0.66/0.57	c HOST: node146.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.57/0.99	c (0,0) Parsing End
1.57/1.00	c (0,0) CSP: 80 int (0 aux), 0 bool (0 aux), 172 ctr, max domain size 400
3.10/1.36	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.10/1.36	c (0,0) Constraint Name Generate Begin
3.10/1.36	c (0,0) Ctr:HOME/instance-4392296-1568431550.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var
3.10/1.36	c (0,0) Constraint Name Generate End
3.10/1.36	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
3.10/1.36	c (0,0) CSP to CSPinCNF Begin
15.43/8.33	c (7,7) translated 18 (10%) constraints
22.09/14.80	c (14,14) translated 35 (20%) constraints
30.40/21.32	c (20,20) translated 52 (30%) constraints
36.54/27.41	c (26,26) translated 69 (40%) constraints
45.79/33.87	c (33,32) translated 86 (50%) constraints
52.32/40.32	c (39,39) translated 104 (60%) constraints
55.52/43.54	c (42,42) translated 121 (70%) constraints
55.52/43.56	c (43,42) translated 138 (80%) constraints
55.52/43.59	c (43,42) translated 155 (90%) constraints
55.52/43.60	c (43,42) translated 172 (100%) constraints
55.88/43.60	c (43,42) ===========================================
55.88/43.61	c (43,42) Order
55.88/43.61	c (43,42) ===========================================
58.65/45.21	c (44,43) translated 80623 (10%) constraints
60.24/46.70	c (46,45) translated 161246 (20%) constraints
61.66/48.19	c (47,46) translated 241869 (30%) constraints
63.16/49.67	c (49,48) translated 322491 (40%) constraints
69.19/51.75	c (51,49) translated 403114 (50%) constraints
70.69/53.23	c (52,51) translated 483737 (60%) constraints
72.19/54.71	c (54,52) translated 564359 (70%) constraints
73.60/56.19	c (55,54) translated 644982 (80%) constraints
75.10/57.67	c (57,55) translated 725605 (90%) constraints
76.66/59.16	c (58,57) translated 806227 (100%) constraints
76.66/59.16	c (58,57) CSP to CSPinCNF End
76.66/59.18	c (58,57) CSP: 80 int (0 aux), 44400 bool (44400 aux), 806227 ctr, max domain size 400
76.66/59.18	c (58,57) Heap : 2678 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
76.66/59.18	c (58,57) CSPinCNF Propagation Begin
86.53/64.94	c (64,62) 0 values, 111 unsatisfiable literals, and 1 valid clauses are removed
86.53/64.94	c (64,62) CSPinCNF Propagation End
86.53/64.96	c (64,62) CSP: 80 int (0 aux), 44400 bool (44400 aux), 806226 ctr, max domain size 400
86.53/64.96	c (64,62) Heap : 2282 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
86.53/64.96	c (64,62) Simplify CSPinCNF Begin
88.75/66.45	c (65,64) Simplify CSPinCNF End
88.75/66.46	c (65,64) CSP: 80 int (0 aux), 50720 bool (50720 aux), 812546 ctr, max domain size 400
88.75/66.46	c (65,64) Heap : 3196 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
88.75/66.46	c (65,64) Calculate Precise Domain Begin
88.75/66.47	c (65,64) 0 values are removed by re-calculation
88.75/66.47	c (65,64) Calculate Precise Domain End
88.75/66.48	c (65,64) CSP: 80 int (0 aux), 50720 bool (50720 aux), 812546 ctr, max domain size 400
88.75/66.48	c (65,64) Heap : 3196 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
88.75/66.48	c (65,64) CSPinCNF to SatSolver Begin
105.54/77.86	c (77,74) 81255 (10 %) CSP clauses are encoded (0 SAT variables, 2634774 SAT clauses)
106.38/78.64	c (78,75) 162510 (20 %) CSP clauses are encoded (0 SAT variables, 2716029 SAT clauses)
107.19/79.42	c (78,76) 243764 (30 %) CSP clauses are encoded (0 SAT variables, 2797283 SAT clauses)
107.99/80.20	c (79,76) 325019 (40 %) CSP clauses are encoded (0 SAT variables, 2878538 SAT clauses)
108.69/80.98	c (80,77) 406273 (50 %) CSP clauses are encoded (0 SAT variables, 2959792 SAT clauses)
109.49/81.76	c (81,78) 487528 (60 %) CSP clauses are encoded (0 SAT variables, 3041047 SAT clauses)
110.29/82.54	c (81,79) 568783 (70 %) CSP clauses are encoded (0 SAT variables, 3122302 SAT clauses)
111.09/83.32	c (82,80) 650037 (80 %) CSP clauses are encoded (0 SAT variables, 3203556 SAT clauses)
115.17/84.51	c (83,80) 731292 (90 %) CSP clauses are encoded (0 SAT variables, 3284811 SAT clauses)
115.91/85.36	c (84,81) 812546 (100 %) CSP clauses are encoded (0 SAT variables, 3366065 SAT clauses)
115.91/85.36	c (84,81) CSPinCNF to SatSolver End
115.91/85.36	c (84,81) Heap : 1558 MiB used (max 21567 MiB), NonHeap : 31 MiB used (max 0 MiB)
115.91/85.36	c (84,81) 82640 bool, 3366066 clause
115.91/85.36	c (84,81) Export Begin
116.02/85.46	c (84,81) Export to HOME/scop-8454-serial-file.bin
116.02/85.46	c (84,81) Export End
116.02/85.46	c (84,81) Export File Size: 0.02 MB
116.02/85.46	c (84,81) 0,0,58,64,65,65,84,STOP-AFTER(DIMACS)
116.02/85.46	c END-Prog: Sat Sep 14 05:26:35 CEST 2019
116.02/85.49	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8454-serial-file.bin
116.19/85.97	c (0,0) Read Serial File Begin
116.19/85.97	c (0,0) HOME/scop-8454-serial-file.bin
116.99/86.18	c (0,0) Read Serial File End
116.99/86.19	
116.99/86.19	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
116.99/86.19	(Solving Process)
116.99/86.19	
117.14/86.22	c BEGIN-Prog: Sat Sep 14 05:26:36 CEST 2019
117.14/86.22	c PID: 8482
117.14/86.22	c IP: 172.20.3.146
117.14/86.22	c HOST: node146.alineos.net
117.14/86.22	c (0,0) SatSolver.solve Begin
117.14/86.22	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392296-1568431550.xml-scop-8457.cnf
117.14/86.25	c (0,0) c
117.14/86.25	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
117.14/86.25	c (0,0) c
117.14/86.25	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
117.14/86.25	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
117.14/86.25	c (0,0) c ========================================[ Problem Statistics ]===========================================
117.14/86.25	c (0,0) c |                                                                                                       |
118.42/87.36	c (1,0) c |  Number of variables:         82640                                                                   |
118.42/87.36	c (1,0) c |  Number of clauses:         3366066                                                                   |
118.42/87.36	c (1,0) c |  Parse time:                   1.02 s                                                                 |
118.42/87.36	c (1,0) c |                                                                                                       |
131.82/100.77	c (14,0) c |  Simplification time:         13.29 s                                                                 |
131.82/100.77	c (14,0) c |                                                                                                       |
131.82/100.77	c (14,0) c |  Generating clones                                                                                    |
132.63/101.52	c (15,0) c |  all clones generated. Memory =  2037.37Mb.                                                           |
132.63/101.52	c (15,0) c ========================================================================================================|
132.63/101.52	c (15,0) c
132.63/101.52	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
132.63/101.52	c (15,0) c
132.63/101.52	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
132.63/101.52	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
132.63/101.52	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
132.63/101.52	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
132.63/101.52	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
132.63/101.52	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
132.63/101.52	c (15,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
132.63/101.52	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
132.63/101.52	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
132.63/101.52	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
132.63/101.52	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
132.63/101.52	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
132.63/101.52	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
132.63/101.52	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
132.63/101.52	c (15,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
132.63/101.52	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
132.63/101.52	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
132.63/101.52	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
132.63/101.52	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
363.97/130.80	c (44,0) c
363.97/130.80	c (44,0) c |------------------------------------------------------------------------------------------------------------------------|
363.97/130.80	c (44,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
363.97/130.80	c (44,0) c |------------------------------------------------------------------------------------------------------------------------|
363.97/130.80	c (44,0) c |  0 |    133 |     177553 |      46226 |   277948 |    20129 |     9088 |    55645 |     3353 |      213 |  20 |  0.050 |
363.97/130.80	c (44,0) c |  1 |     99 |     170996 |      45837 |   279607 |    19633 |     9634 |    59130 |     3360 |      217 |  20 |  0.054 |
363.97/130.80	c (44,0) c |  2 |    132 |     200373 |      48983 |   258359 |    22836 |    10376 |    59410 |     3862 |      224 |  20 |  0.054 |
363.97/130.80	c (44,0) c |  3 |    167 |     188125 |      48129 |   276656 |    21931 |     9870 |    60483 |     3433 |      224 |  20 |  0.054 |
363.97/130.80	c (44,0) c |  4 |    147 |     168177 |      45951 |   263672 |    19762 |     8903 |    62990 |     2867 |      230 |  20 |  0.054 |
363.97/130.80	c (44,0) c |  5 |    144 |     194916 |      49787 |   237132 |    23616 |    10294 |    62492 |     3920 |      232 |  20 |  0.054 |
363.97/130.80	c (44,0) c |  6 |    103 |     156291 |      44827 |   299178 |    18692 |     8465 |    59277 |     2707 |      219 |  20 |  0.053 |
363.97/130.80	c (44,0) c |  7 |    128 |     183510 |      47917 |   245525 |    21568 |     9759 |    60900 |     3923 |      225 |  20 |  0.054 |
363.97/130.80	c (44,0) c 
363.97/130.80	c (44,0) c synthesis      377657 conflicts   432057056 propagations     1547 conflicts/sec  1769662 propagations/sec
363.97/130.80	c (44,0) c real: 44.5496 s, cpu: 244.147 s, memory: 2613.91 Mb
592.37/159.79	c (73,0) c
592.37/159.79	c (73,0) c |------------------------------------------------------------------------------------------------------------------------|
592.37/159.79	c (73,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
592.37/159.79	c (73,0) c |------------------------------------------------------------------------------------------------------------------------|
592.37/159.79	c (73,0) c |  0 |    295 |     383038 |      86378 |   356547 |    29046 |    16419 |   110027 |     8181 |      428 |  20 |  0.116 |
592.37/159.79	c (73,0) c |  1 |    245 |     362976 |      84356 |   369653 |    30294 |    17015 |   111085 |     7771 |      432 |  20 |  0.125 |
592.37/159.79	c (73,0) c |  2 |    265 |     402548 |      88476 |   341822 |    30868 |    17829 |   113965 |     8325 |      447 |  20 |  0.128 |
592.37/159.79	c (73,0) c |  3 |    268 |     354903 |      86909 |   385652 |    29552 |    16758 |   115607 |     7447 |      448 |  20 |  0.127 |
592.37/159.79	c (73,0) c |  4 |    294 |     334980 |      82536 |   367332 |    28727 |    15723 |   116016 |     6455 |      448 |  20 |  0.126 |
592.37/159.80	c (73,0) c |  5 |    247 |     385633 |      89576 |   324744 |    35721 |    17863 |   114137 |     8517 |      447 |  20 |  0.127 |
592.37/159.80	c (73,0) c |  6 |    230 |     335065 |      83028 |   401933 |    29214 |    16770 |   113515 |     6625 |      441 |  20 |  0.120 |
592.37/159.80	c (73,0) c |  7 |    272 |     377240 |      87615 |   330071 |    30508 |    17249 |   110701 |     8365 |      448 |  20 |  0.121 |
592.37/159.80	c (73,0) c 
592.37/159.80	c (73,0) c synthesis      688874 conflicts   816761846 propagations     1459 conflicts/sec  1730422 propagations/sec
592.37/159.80	c (73,0) c real: 73.5496 s, cpu: 472.001 s, memory: 2614.30 Mb
819.10/190.02	c (104,0) c
819.10/190.02	c (104,0) c real time : 103.778 s
819.10/190.02	c (104,0) c cpu time  : 697.579 s
819.10/190.02	c (104,0) c
819.10/190.02	c (104,0) c
819.10/190.02	c (104,0) c
819.10/190.02	c (104,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
819.10/190.02	c (104,0) c
819.10/190.02	c (104,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
819.10/190.02	c (104,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
819.10/190.02	c (104,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
819.10/190.02	c (104,0) c | Conflicts     |          946562 |     122217 |     118262 |     119951 |     118776 |     113135 |     120633 |     115338 |     118250 |
819.10/190.02	c (104,0) c | Decisions     |         4179729 |     541597 |     530700 |     558693 |     517571 |     479650 |     536304 |     492615 |     522599 |
819.10/190.02	c (104,0) c | Propagations  |      1175934769 |  147704433 |  147299200 |  147525814 |  148541840 |  145991578 |  148274654 |  144799842 |  145797408 |
819.10/190.02	c (104,0) c | ReduceDBs     |              64 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |
819.10/190.02	c (104,0) c | SimpDBs       |             103 |         13 |         13 |         13 |         13 |         13 |         13 |         12 |         13 |
819.10/190.02	c (104,0) c | Restarts      |            2942 |        397 |        360 |        379 |        381 |        377 |        352 |        336 |        360 |
819.10/190.02	c (104,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
819.10/190.02	c (104,0) c | PropBinClauses|       871043392 |  110718519 |  109213099 |  109872624 |  109981988 |  106234036 |  110338852 |  106257020 |  108427254 |
819.10/190.02	c (104,0) c | PropPreBlocker|     19094453309 | 2356545544 | 2396787151 | 2367027939 | 2419579204 | 2400802648 | 2365816494 | 2407550243 | 2380344086 |
819.10/190.02	c (104,0) c | PropNotBlocker|      5003614227 |  637426613 |  624187042 |  625674716 |  623953415 |  628372680 |  631833524 |  615558435 |  616607802 |
819.10/190.02	c (104,0) c | LitFullScans  |     32102001111 | 4011048712 | 4012027354 | 4012752149 | 4010717056 | 4017970772 | 4010307006 | 4011041256 | 4016136806 |
819.10/190.02	c (104,0) c | LitScanFracts |        26981784 |    3042065 |    3980207 |    4749115 |    2712086 |    3958742 |    2246396 |    3033049 |    3260124 |
819.10/190.02	c (104,0) c | DecisionLevel0|            3154 |        432 |        389 |        404 |        410 |        409 |        381 |        358 |        371 |
819.10/190.02	c (104,0) c | Periods       |            5345 |        668 |        668 |        668 |        668 |        669 |        668 |        668 |        668 |
819.10/190.02	c (104,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
819.10/190.02	c (104,0) c | Avg_Trail     |                 |      10461 |      11254 |      10903 |      11504 |      12237 |      10623 |      12335 |      11342 |
819.10/190.02	c (104,0) c | Avg_DL        |                 |         42 |         42 |         49 |         45 |         43 |         44 |         44 |         48 |
819.10/190.02	c (104,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
819.10/190.02	c (104,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
819.10/190.02	c (104,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
819.10/190.02	c (104,0) c | Exported      |          182453 |      22984 |      23056 |      23298 |      22754 |      21952 |      23094 |      22785 |      22530 |
819.10/190.02	c (104,0) c | Imported      |         1245834 |     156135 |     155578 |     154572 |     156342 |     156648 |     156027 |     155556 |     154976 |
819.10/190.02	c (104,0) c | Good          |           24939 |       3090 |       3139 |       3077 |       3100 |       3166 |       3056 |       3149 |       3162 |
819.10/190.02	c (104,0) c | Purge         |         1220895 |     153045 |     152439 |     151495 |     153242 |     153482 |     152971 |     152407 |     151814 |
819.10/190.02	c (104,0) c | Promoted      |           94878 |      12521 |      12293 |      12301 |      11992 |      10508 |      12671 |      10761 |      11831 |
819.10/190.02	c (104,0) c | Remove_Imp    |          663030 |      79437 |      82793 |      80655 |      84175 |      89644 |      76499 |      84388 |      85439 |
819.10/190.02	c (104,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
819.10/190.02	c (104,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
819.10/190.02	c (104,0) c | Unaries       |                 |         35 |         29 |         25 |         29 |         32 |         29 |         22 |         11 |
819.10/190.02	c (104,0) c | Binaries      |                 |        508 |        440 |        483 |        477 |        408 |        533 |        427 |        385 |
819.10/190.02	c (104,0) c | Glues         |                 |       6774 |       6745 |       6587 |       6468 |       6020 |       6863 |       6234 |       6336 |
819.10/190.02	c (104,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
819.10/190.02	c (104,0) c | Orig_Seen     |            12 % |     424235 |     441160 |     390528 |     452757 |     427146 |     386928 |     453329 |     408097 |
819.10/190.02	c (104,0) c | Diff Orig seen|                 |      16138 |      33063 | -    17569 |      44660 |      19049 | -    21169 |      45232 |      X     |
819.10/190.02	c (104,0) c | Hamming       |            20 % |      16859 |      18173 |      17745 |      16620 |      16292 |      16898 |      16777 |      X     |
819.10/190.02	c (104,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
819.10/190.02	c (104,0) c | RunningTime   |                 |   88.0 100%|   88.4 100%|   85.4  99%|   85.8  99%|   84.6  98%|   85.1  98%|   86.9 100%|   85.2  98%|
819.10/190.02	c (104,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    1.1   1%|    0.8   1%|    1.9   2%|    1.4   2%|    0.0   0%|    1.3   1%|
819.10/190.02	c (104,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%|
819.10/190.02	c (104,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%|
819.10/190.02	c (104,0) c | SolvingTime   |                 |   88.1     |   88.5     |   86.6     |   86.7     |   86.6     |   86.6     |   87.0     |   86.5     |
819.10/190.02	c (104,0) c | PropagationTim|                 |   71.6  81%|   72.4  82%|   70.3  81%|   70.7  82%|   69.9  81%|   69.8  81%|   70.9  82%|   69.5  80%|
819.10/190.02	c (104,0) c | AnalysisTime  |                 |   11.7  13%|   11.2  13%|   11.2  13%|   11.0  13%|   11.7  14%|   11.6  13%|   11.3  13%|   12.0  14%|
819.10/190.02	c (104,0) c | ReductionTime |                 |    0.5   1%|    0.6   1%|    0.6   1%|    0.6   1%|    0.5   1%|    0.6   1%|    0.6   1%|    0.6   1%|
819.10/190.02	c (104,0) c | SimplifyTime  |                 |    1.2   1%|    1.2   1%|    1.4   2%|    1.3   1%|    1.3   1%|    1.5   2%|    1.1   1%|    1.4   2%|
819.10/190.02	c (104,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%|
819.10/190.02	c (104,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%|
819.10/190.02	c (104,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
819.10/190.02	c (104,0) c
819.10/190.02	c (104,0) c
819.10/190.02	c (104,0) c Threads : 8
819.10/190.02	c (104,0) c Winner : 7
819.10/190.02	c (104,0) c Conflicts_0 : 122217
819.10/190.02	c (104,0) c Conflicts_1 : 118262
819.10/190.02	c (104,0) c Conflicts_2 : 119951
819.10/190.02	c (104,0) c Conflicts_3 : 118776
819.10/190.03	c (104,0) c Conflicts_4 : 113135
819.10/190.03	c (104,0) c Conflicts_5 : 120633
819.10/190.03	c (104,0) c Conflicts_6 : 115338
819.10/190.03	c (104,0) c Conflicts_7 : 118250
819.10/190.03	c (104,0) c Conflicts_total : 946562
819.10/190.03	c (104,0) c Conflicts_winner : 118250
819.10/190.03	c (104,0) c Decisions_0 : 541597
819.10/190.03	c (104,0) c Decisions_1 : 530700
819.10/190.03	c (104,0) c Decisions_2 : 558693
819.10/190.03	c (104,0) c Decisions_3 : 517571
819.10/190.03	c (104,0) c Decisions_4 : 479650
819.10/190.03	c (104,0) c Decisions_5 : 536304
819.10/190.03	c (104,0) c Decisions_6 : 492615
819.10/190.03	c (104,0) c Decisions_7 : 522599
819.10/190.03	c (104,0) c Decisions_total : 4179729
819.10/190.03	c (104,0) c Decisions_winner : 522599
819.10/190.03	c (104,0) c Propagations_0 : 147704433
819.10/190.03	c (104,0) c Propagations_1 : 147299200
819.10/190.03	c (104,0) c Propagations_2 : 147525814
819.10/190.03	c (104,0) c Propagations_3 : 148541840
819.10/190.03	c (104,0) c Propagations_4 : 145991578
819.10/190.03	c (104,0) c Propagations_5 : 148274654
819.10/190.03	c (104,0) c Propagations_6 : 144799842
819.10/190.03	c (104,0) c Propagations_7 : 145797408
819.10/190.03	c (104,0) c Propagations_total : 1175934769
819.10/190.03	c (104,0) c Propagations_winner : 145797408
819.10/190.03	c (104,0) c ReduceDBs_0 : 8
819.10/190.03	c (104,0) c ReduceDBs_1 : 8
819.10/190.03	c (104,0) c ReduceDBs_2 : 8
819.10/190.03	c (104,0) c ReduceDBs_3 : 8
819.10/190.03	c (104,0) c ReduceDBs_4 : 8
819.10/190.03	c (104,0) c ReduceDBs_5 : 8
819.10/190.03	c (104,0) c ReduceDBs_6 : 8
819.10/190.03	c (104,0) c ReduceDBs_7 : 8
819.10/190.03	c (104,0) c ReduceDBs_total : 64
819.10/190.03	c (104,0) c ReduceDBs_winner : 8
819.10/190.03	c (104,0) c SimpDBs_0 : 13
819.10/190.03	c (104,0) c SimpDBs_1 : 13
819.10/190.03	c (104,0) c SimpDBs_2 : 13
819.10/190.03	c (104,0) c SimpDBs_3 : 13
819.10/190.03	c (104,0) c SimpDBs_4 : 13
819.10/190.03	c (104,0) c SimpDBs_5 : 13
819.10/190.03	c (104,0) c SimpDBs_6 : 12
819.10/190.03	c (104,0) c SimpDBs_7 : 13
819.10/190.03	c (104,0) c SimpDBs_total : 103
819.10/190.03	c (104,0) c SimpDBs_winner : 13
819.10/190.03	c (104,0) c Restarts_0 : 397
819.10/190.03	c (104,0) c Restarts_1 : 360
819.10/190.03	c (104,0) c Restarts_2 : 379
819.10/190.03	c (104,0) c Restarts_3 : 381
819.10/190.03	c (104,0) c Restarts_4 : 377
819.10/190.03	c (104,0) c Restarts_5 : 352
819.10/190.03	c (104,0) c Restarts_6 : 336
819.10/190.03	c (104,0) c Restarts_7 : 360
819.10/190.03	c (104,0) c Restarts_total : 2942
819.10/190.03	c (104,0) c Restarts_winner : 360
819.10/190.03	c (104,0) c ForcedImports_0 : 0
819.10/190.03	c (104,0) c ForcedImports_1 : 0
819.10/190.03	c (104,0) c ForcedImports_2 : 0
819.10/190.03	c (104,0) c ForcedImports_3 : 0
819.10/190.03	c (104,0) c ForcedImports_4 : 0
819.10/190.03	c (104,0) c ForcedImports_5 : 0
819.10/190.03	c (104,0) c ForcedImports_6 : 0
819.10/190.03	c (104,0) c ForcedImports_7 : 0
819.10/190.03	c (104,0) c ForcedImports_total : 0
819.10/190.03	c (104,0) c ForcedImports_winner : 0
819.10/190.03	c (104,0) c PropsBinClauses_0 : 110718519
819.10/190.03	c (104,0) c PropsBinClauses_1 : 109213099
819.10/190.03	c (104,0) c PropsBinClauses_2 : 109872624
819.10/190.03	c (104,0) c PropsBinClauses_3 : 109981988
819.10/190.03	c (104,0) c PropsBinClauses_4 : 106234036
819.10/190.03	c (104,0) c PropsBinClauses_5 : 110338852
819.10/190.03	c (104,0) c PropsBinClauses_6 : 106257020
819.10/190.03	c (104,0) c PropsBinClauses_7 : 108427254
819.10/190.03	c (104,0) c PropsBinClauses_total : 871043392
819.10/190.03	c (104,0) c PropsBinClauses_winner : 108427254
819.10/190.03	c (104,0) c PropsPreBlocker_0 : 2356545544
819.10/190.03	c (104,0) c PropsPreBlocker_1 : 2396787151
819.10/190.03	c (104,0) c PropsPreBlocker_2 : 2367027939
819.10/190.03	c (104,0) c PropsPreBlocker_3 : 2419579204
819.10/190.03	c (104,0) c PropsPreBlocker_4 : 2400802648
819.10/190.03	c (104,0) c PropsPreBlocker_5 : 2365816494
819.10/190.03	c (104,0) c PropsPreBlocker_6 : 2407550243
819.10/190.03	c (104,0) c PropsPreBlocker_7 : 2380344086
819.10/190.03	c (104,0) c PropsPreBlocker_total : 19094453309
819.10/190.03	c (104,0) c PropsPreBlocker_winner : 2380344086
819.10/190.03	c (104,0) c PropsNotBlocker_0 : 637426613
819.10/190.03	c (104,0) c PropsNotBlocker_1 : 624187042
819.10/190.03	c (104,0) c PropsNotBlocker_2 : 625674716
819.10/190.03	c (104,0) c PropsNotBlocker_3 : 623953415
819.10/190.03	c (104,0) c PropsNotBlocker_4 : 628372680
819.10/190.03	c (104,0) c PropsNotBlocker_5 : 631833524
819.10/190.03	c (104,0) c PropsNotBlocker_6 : 615558435
819.10/190.03	c (104,0) c PropsNotBlocker_7 : 616607802
819.10/190.03	c (104,0) c PropsNotBlocker_total : 5003614227
819.10/190.03	c (104,0) c PropsNotBlocker_winner : 616607802
819.10/190.03	c (104,0) c PropsLitFullScans_0 : 4011048712
819.10/190.03	c (104,0) c PropsLitFullScans_1 : 4012027354
819.10/190.03	c (104,0) c PropsLitFullScans_2 : 4012752149
819.10/190.03	c (104,0) c PropsLitFullScans_3 : 4010717056
819.10/190.03	c (104,0) c PropsLitFullScans_4 : 4017970772
819.10/190.03	c (104,0) c PropsLitFullScans_5 : 4010307006
819.10/190.03	c (104,0) c PropsLitFullScans_6 : 4011041256
819.10/190.03	c (104,0) c PropsLitFullScans_7 : 4016136806
819.10/190.03	c (104,0) c PropsLitFullScans_total : 32102001111
819.10/190.03	c (104,0) c PropsLitFullScans_winner : 4016136806
819.10/190.03	c (104,0) c LitScanFractions_0 : 3042065
819.10/190.03	c (104,0) c LitScanFractions_1 : 3980207
819.10/190.03	c (104,0) c LitScanFractions_2 : 4749115
819.10/190.03	c (104,0) c LitScanFractions_3 : 2712086
819.10/190.03	c (104,0) c LitScanFractions_4 : 3958742
819.10/190.03	c (104,0) c LitScanFractions_5 : 2246396
819.10/190.03	c (104,0) c LitScanFractions_6 : 3033049
819.10/190.03	c (104,0) c LitScanFractions_7 : 3260124
819.10/190.03	c (104,0) c LitScanFractions_total : 26981784
819.10/190.03	c (104,0) c LitScanFractions_winner : 3260124
819.10/190.03	c (104,0) c DecisionLevel0_0 : 432
819.10/190.03	c (104,0) c DecisionLevel0_1 : 389
819.10/190.03	c (104,0) c DecisionLevel0_2 : 404
819.10/190.03	c (104,0) c DecisionLevel0_3 : 410
819.10/190.03	c (104,0) c DecisionLevel0_4 : 409
819.10/190.03	c (104,0) c DecisionLevel0_5 : 381
819.10/190.03	c (104,0) c DecisionLevel0_6 : 358
819.10/190.03	c (104,0) c DecisionLevel0_7 : 371
819.10/190.03	c (104,0) c DecisionLevel0_total : 3154
819.10/190.03	c (104,0) c DecisionLevel0_winner : 371
819.10/190.03	c (104,0) c Periods_0 : 668
819.10/190.03	c (104,0) c Periods_1 : 668
819.10/190.03	c (104,0) c Periods_2 : 668
819.10/190.03	c (104,0) c Periods_3 : 668
819.10/190.03	c (104,0) c Periods_4 : 669
819.10/190.03	c (104,0) c Periods_5 : 668
819.10/190.03	c (104,0) c Periods_6 : 668
819.10/190.03	c (104,0) c Periods_7 : 668
819.10/190.03	c (104,0) c Periods_total : 5345
819.10/190.03	c (104,0) c Periods_winner : 668
819.10/190.03	c (104,0) c Margin_0 : 20
819.10/190.03	c (104,0) c Margin_1 : 20
819.10/190.03	c (104,0) c Margin_2 : 20
819.10/190.03	c (104,0) c Margin_3 : 20
819.10/190.03	c (104,0) c Margin_4 : 20
819.10/190.03	c (104,0) c Margin_5 : 20
819.10/190.03	c (104,0) c Margin_6 : 20
819.10/190.03	c (104,0) c Margin_7 : 20
819.10/190.03	c (104,0) c Margin_total : 160
819.10/190.03	c (104,0) c Margin_winner : 20
819.10/190.03	c (104,0) c Exported_0 : 22984
819.10/190.03	c (104,0) c Exported_1 : 23056
819.10/190.03	c (104,0) c Exported_2 : 23298
819.10/190.03	c (104,0) c Exported_3 : 22754
819.10/190.03	c (104,0) c Exported_4 : 21952
819.10/190.03	c (104,0) c Exported_5 : 23094
819.10/190.03	c (104,0) c Exported_6 : 22785
819.10/190.03	c (104,0) c Exported_7 : 22530
819.10/190.03	c (104,0) c Exported_total : 182453
819.10/190.03	c (104,0) c Exported_winner : 22530
819.10/190.03	c (104,0) c Imported_0 : 156135
819.10/190.03	c (104,0) c Imported_1 : 155578
819.10/190.03	c (104,0) c Imported_2 : 154572
819.10/190.03	c (104,0) c Imported_3 : 156342
819.10/190.03	c (104,0) c Imported_4 : 156648
819.10/190.03	c (104,0) c Imported_5 : 156027
819.10/190.03	c (104,0) c Imported_6 : 155556
819.10/190.03	c (104,0) c Imported_7 : 154976
819.10/190.03	c (104,0) c Imported_total : 1245834
819.10/190.03	c (104,0) c Imported_winner : 154976
819.10/190.03	c (104,0) c Good_0 : 3090
819.10/190.03	c (104,0) c Good_1 : 3139
819.10/190.03	c (104,0) c Good_2 : 3077
819.10/190.03	c (104,0) c Good_3 : 3100
819.10/190.03	c (104,0) c Good_4 : 3166
819.10/190.03	c (104,0) c Good_5 : 3056
819.10/190.03	c (104,0) c Good_6 : 3149
819.10/190.03	c (104,0) c Good_7 : 3162
819.10/190.03	c (104,0) c Good_total : 24939
819.10/190.03	c (104,0) c Good_winner : 3162
819.10/190.03	c (104,0) c Purge_0 : 153045
819.10/190.03	c (104,0) c Purge_1 : 152439
819.10/190.03	c (104,0) c Purge_2 : 151495
819.10/190.03	c (104,0) c Purge_3 : 153242
819.10/190.03	c (104,0) c Purge_4 : 153482
819.10/190.03	c (104,0) c Purge_5 : 152971
819.10/190.03	c (104,0) c Purge_6 : 152407
819.10/190.03	c (104,0) c Purge_7 : 151814
819.10/190.03	c (104,0) c Purge_total : 1220895
819.10/190.03	c (104,0) c Purge_winner : 151814
819.10/190.03	c (104,0) c Promoted_0 : 12521
819.10/190.03	c (104,0) c Promoted_1 : 12293
819.10/190.03	c (104,0) c Promoted_2 : 12301
819.10/190.03	c (104,0) c Promoted_3 : 11992
819.10/190.03	c (104,0) c Promoted_4 : 10508
819.10/190.03	c (104,0) c Promoted_5 : 12671
819.10/190.03	c (104,0) c Promoted_6 : 10761
819.10/190.03	c (104,0) c Promoted_7 : 11831
819.10/190.03	c (104,0) c Promoted_total : 94878
819.10/190.03	c (104,0) c Promoted_winner : 11831
819.10/190.03	c (104,0) c Remove_Imp_0 : 79437
819.10/190.03	c (104,0) c Remove_Imp_1 : 82793
819.10/190.03	c (104,0) c Remove_Imp_2 : 80655
819.10/190.03	c (104,0) c Remove_Imp_3 : 84175
819.10/190.03	c (104,0) c Remove_Imp_4 : 89644
819.10/190.03	c (104,0) c Remove_Imp_5 : 76499
819.10/190.03	c (104,0) c Remove_Imp_6 : 84388
819.10/190.03	c (104,0) c Remove_Imp_7 : 85439
819.10/190.03	c (104,0) c Remove_Imp_total : 663030
819.10/190.03	c (104,0) c Remove_Imp_winner : 85439
819.10/190.03	c (104,0) c Blocked_Reuse_0 : 0
819.10/190.03	c (104,0) c Blocked_Reuse_1 : 0
819.10/190.03	c (104,0) c Blocked_Reuse_2 : 0
819.10/190.03	c (104,0) c Blocked_Reuse_3 : 0
819.10/190.03	c (104,0) c Blocked_Reuse_4 : 0
819.10/190.03	c (104,0) c Blocked_Reuse_5 : 0
819.10/190.03	c (104,0) c Blocked_Reuse_6 : 0
819.10/190.03	c (104,0) c Blocked_Reuse_7 : 0
819.10/190.03	c (104,0) c Blocked_Reuse_total : 0
819.10/190.03	c (104,0) c Blocked_Reuse_winner : 0
819.10/190.03	c (104,0) c Unaries_0 : 35
819.10/190.03	c (104,0) c Unaries_1 : 29
819.10/190.03	c (104,0) c Unaries_2 : 25
819.10/190.03	c (104,0) c Unaries_3 : 29
819.10/190.03	c (104,0) c Unaries_4 : 32
819.10/190.03	c (104,0) c Unaries_5 : 29
819.10/190.03	c (104,0) c Unaries_6 : 22
819.10/190.03	c (104,0) c Unaries_7 : 11
819.10/190.03	c (104,0) c Unaries_total : 212
819.10/190.03	c (104,0) c Unaries_winner : 11
819.10/190.03	c (104,0) c Binaries_0 : 508
819.10/190.03	c (104,0) c Binaries_1 : 440
819.10/190.03	c (104,0) c Binaries_2 : 483
819.10/190.03	c (104,0) c Binaries_3 : 477
819.10/190.03	c (104,0) c Binaries_4 : 408
819.10/190.03	c (104,0) c Binaries_5 : 533
819.10/190.03	c (104,0) c Binaries_6 : 427
819.10/190.03	c (104,0) c Binaries_7 : 385
819.10/190.03	c (104,0) c Binaries_total : 3661
819.10/190.03	c (104,0) c Binaries_winner : 385
819.10/190.03	c (104,0) c Glues_0 : 6774
819.10/190.03	c (104,0) c Glues_1 : 6745
819.10/190.03	c (104,0) c Glues_2 : 6587
819.10/190.03	c (104,0) c Glues_3 : 6468
819.10/190.03	c (104,0) c Glues_4 : 6020
819.10/190.03	c (104,0) c Glues_5 : 6863
819.10/190.03	c (104,0) c Glues_6 : 6234
819.10/190.03	c (104,0) c Glues_7 : 6336
819.10/190.03	c (104,0) c Glues_total : 52027
819.10/190.03	c (104,0) c Glues_winner : 6336
819.10/190.03	c (104,0) c RunningTime_0 : 88.036009
819.10/190.03	c (104,0) c RunningTime_1 : 88.389612
819.10/190.03	c (104,0) c RunningTime_2 : 85.442284
819.10/190.03	c (104,0) c RunningTime_3 : 85.773904
819.10/190.03	c (104,0) c RunningTime_4 : 84.624038
819.10/190.03	c (104,0) c RunningTime_5 : 85.117108
819.10/190.03	c (104,0) c RunningTime_6 : 86.905043
819.10/190.03	c (104,0) c RunningTime_7 : 85.158029
819.10/190.03	c (104,0) c RunningTime_total : 689.446026
819.10/190.03	c (104,0) c RunningTime_winner : 85.158029
819.10/190.03	c (104,0) c WaitingTime_0 : 0.000814
819.10/190.03	c (104,0) c WaitingTime_1 : 0.001025
819.10/190.03	c (104,0) c WaitingTime_2 : 1.079404
819.10/190.03	c (104,0) c WaitingTime_3 : 0.826407
819.10/190.03	c (104,0) c WaitingTime_4 : 1.905645
819.10/190.03	c (104,0) c WaitingTime_5 : 1.407452
819.10/190.03	c (104,0) c WaitingTime_6 : 0.001103
819.10/190.03	c (104,0) c WaitingTime_7 : 1.252841
819.10/190.03	c (104,0) c WaitingTime_total : 6.474692
819.10/190.03	c (104,0) c WaitingTime_winner : 1.252841
819.10/190.03	c (104,0) c ExchangingTime_0 : 0.086476
819.10/190.03	c (104,0) c ExchangingTime_1 : 0.087136
819.10/190.03	c (104,0) c ExchangingTime_2 : 0.081890
819.10/190.03	c (104,0) c ExchangingTime_3 : 0.087319
819.10/190.03	c (104,0) c ExchangingTime_4 : 0.082651
819.10/190.03	c (104,0) c ExchangingTime_5 : 0.084487
819.10/190.03	c (104,0) c ExchangingTime_6 : 0.082590
819.10/190.03	c (104,0) c ExchangingTime_7 : 0.087739
819.10/190.03	c (104,0) c ExchangingTime_total : 0.680289
819.10/190.03	c (104,0) c ExchangingTime_winner : 0.087739
819.10/190.03	c (104,0) c PeriodProcTime_0 : 0.008044
819.10/190.03	c (104,0) c PeriodProcTime_1 : 0.007296
819.10/190.03	c (104,0) c PeriodProcTime_2 : 0.005589
819.10/190.03	c (104,0) c PeriodProcTime_3 : 0.006826
819.10/190.03	c (104,0) c PeriodProcTime_4 : 0.005480
819.10/190.04	c (104,0) c PeriodProcTime_5 : 0.005584
819.10/190.04	c (104,0) c PeriodProcTime_6 : 0.005546
819.10/190.04	c (104,0) c PeriodProcTime_7 : 0.007452
819.10/190.04	c (104,0) c PeriodProcTime_total : 0.051817
819.10/190.04	c (104,0) c PeriodProcTime_winner : 0.007452
819.10/190.04	c (104,0) c SolvingTime_0 : 88.131343
819.10/190.04	c (104,0) c SolvingTime_1 : 88.485069
819.10/190.04	c (104,0) c SolvingTime_2 : 86.609167
819.10/190.04	c (104,0) c SolvingTime_3 : 86.694457
819.10/190.04	c (104,0) c SolvingTime_4 : 86.617815
819.10/190.04	c (104,0) c SolvingTime_5 : 86.614630
819.10/190.04	c (104,0) c SolvingTime_6 : 86.994282
819.10/190.04	c (104,0) c SolvingTime_7 : 86.506061
819.10/190.04	c (104,0) c SolvingTime_total : 696.652824
819.10/190.04	c (104,0) c SolvingTime_winner : 86.506061
819.10/190.04	c (104,0) c PropagationTime_0 : 71.593402
819.10/190.04	c (104,0) c PropagationTime_1 : 72.350036
819.10/190.04	c (104,0) c PropagationTime_2 : 70.261587
819.10/190.04	c (104,0) c PropagationTime_3 : 70.701014
819.10/190.04	c (104,0) c PropagationTime_4 : 69.925848
819.10/190.04	c (104,0) c PropagationTime_5 : 69.822665
819.10/190.04	c (104,0) c PropagationTime_6 : 70.915502
819.10/190.04	c (104,0) c PropagationTime_7 : 69.509107
819.10/190.04	c (104,0) c PropagationTime_total : 565.079161
819.10/190.04	c (104,0) c PropagationTime_winner : 69.509107
819.10/190.04	c (104,0) c AnalysisTime_0 : 11.663216
819.10/190.04	c (104,0) c AnalysisTime_1 : 11.206781
819.10/190.04	c (104,0) c AnalysisTime_2 : 11.242111
819.10/190.04	c (104,0) c AnalysisTime_3 : 10.985054
819.10/190.04	c (104,0) c AnalysisTime_4 : 11.719579
819.10/190.04	c (104,0) c AnalysisTime_5 : 11.630892
819.10/190.04	c (104,0) c AnalysisTime_6 : 11.250415
819.10/190.04	c (104,0) c AnalysisTime_7 : 11.982757
819.10/190.04	c (104,0) c AnalysisTime_total : 91.680804
819.10/190.04	c (104,0) c AnalysisTime_winner : 11.982757
819.10/190.04	c (104,0) c ReductionTime_0 : 0.509419
819.10/190.04	c (104,0) c ReductionTime_1 : 0.551376
819.10/190.04	c (104,0) c ReductionTime_2 : 0.557154
819.10/190.04	c (104,0) c ReductionTime_3 : 0.570680
819.10/190.04	c (104,0) c ReductionTime_4 : 0.548157
819.10/190.04	c (104,0) c ReductionTime_5 : 0.554237
819.10/190.04	c (104,0) c ReductionTime_6 : 0.574790
819.10/190.04	c (104,0) c ReductionTime_7 : 0.564595
819.10/190.04	c (104,0) c ReductionTime_total : 4.430409
819.10/190.04	c (104,0) c ReductionTime_winner : 0.564595
819.10/190.04	c (104,0) c SimplifyTime_0 : 1.207112
819.10/190.04	c (104,0) c SimplifyTime_1 : 1.189322
819.10/190.04	c (104,0) c SimplifyTime_2 : 1.415377
819.10/190.04	c (104,0) c SimplifyTime_3 : 1.269358
819.10/190.04	c (104,0) c SimplifyTime_4 : 1.250409
819.10/190.04	c (104,0) c SimplifyTime_5 : 1.466137
819.10/190.04	c (104,0) c SimplifyTime_6 : 1.131048
819.10/190.04	c (104,0) c SimplifyTime_7 : 1.353688
819.10/190.04	c (104,0) c SimplifyTime_total : 10.282451
819.10/190.04	c (104,0) c SimplifyTime_winner : 1.353688
819.10/190.04	c (104,0) c UsedRateTime_0 : 0.000000
819.10/190.04	c (104,0) c UsedRateTime_1 : 0.000000
819.10/190.04	c (104,0) c UsedRateTime_2 : 0.000000
819.10/190.04	c (104,0) c UsedRateTime_3 : 0.000000
819.10/190.04	c (104,0) c UsedRateTime_4 : 0.000000
819.10/190.04	c (104,0) c UsedRateTime_5 : 0.000000
819.10/190.04	c (104,0) c UsedRateTime_6 : 0.000000
819.10/190.04	c (104,0) c UsedRateTime_7 : 0.000000
819.10/190.04	c (104,0) c UsedRateTime_total : 0.000000
819.10/190.04	c (104,0) c UsedRateTime_winner : 0.000000
819.10/190.04	c (104,0) c OverlapRateTime_0 : 0.000000
819.10/190.04	c (104,0) c OverlapRateTime_1 : 0.000000
819.10/190.04	c (104,0) c OverlapRateTime_2 : 0.000000
819.10/190.04	c (104,0) c OverlapRateTime_3 : 0.000000
819.10/190.04	c (104,0) c OverlapRateTime_4 : 0.000000
819.10/190.04	c (104,0) c OverlapRateTime_5 : 0.000000
819.10/190.04	c (104,0) c OverlapRateTime_6 : 0.000000
819.10/190.04	c (104,0) c OverlapRateTime_7 : 0.000000
819.10/190.04	c (104,0) c OverlapRateTime_total : 0.000000
819.10/190.04	c (104,0) c OverlapRateTime_winner : 0.000000
819.10/190.04	c (104,0) c
819.10/190.04	c (104,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
819.10/190.04	c (104,0) c
819.10/190.04	c (104,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
819.10/190.04	c (104,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
819.10/190.04	c (104,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
819.10/190.04	c (104,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
819.10/190.04	c (104,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
819.10/190.04	c (104,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
819.10/190.04	c (104,0) c | Initial random_seed   | 1676810150 |  667132057 | 1612827587 |  965599956 |  521854764 | 1218799992 |  729598820 | 1877392234 |
819.10/190.04	c (104,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
819.10/190.04	c (104,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
819.10/190.04	c (104,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
819.10/190.04	c (104,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
819.10/190.04	c (104,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
819.10/190.04	c (104,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
819.10/190.04	c (104,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
819.10/190.04	c (104,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
819.10/190.04	c (104,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
819.10/190.04	c (104,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
819.10/190.04	c (104,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
819.10/190.04	c (104,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
819.10/190.04	c (104,0) 
819.10/190.04	c (104,0) s SATISFIABLE
117.68/190.14	c (104,0) SatSolver.solve End
117.68/190.14	c (104,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
117.68/190.14	c (104,0) Show results Begin
819.58/190.25	c (104,0) x[0] = 367
819.58/190.25	c (104,0) x[1] = 15
819.58/190.25	c (104,0) x[2] = 181
819.58/190.25	c (104,0) x[3] = 310
819.58/190.25	c (104,0) x[4] = 197
819.58/190.25	c (104,0) x[5] = 87
819.58/190.25	c (104,0) x[6] = 27
819.58/190.25	c (104,0) x[7] = 94
819.58/190.25	c (104,0) x[8] = 24
819.58/190.25	c (104,0) x[9] = 88
819.58/190.25	c (104,0) x[10] = 379
819.58/190.25	c (104,0) x[11] = 316
819.58/190.25	c (104,0) x[12] = 7
819.58/190.25	c (104,0) x[13] = 315
819.58/190.25	c (104,0) x[14] = 307
819.58/190.25	c (104,0) x[15] = 282
819.58/190.25	c (104,0) x[16] = 279
819.58/190.25	c (104,0) x[17] = 275
819.58/190.25	c (104,0) x[18] = 53
819.58/190.25	c (104,0) x[19] = 311
819.58/190.25	c (104,0) x[20] = 55
819.58/190.25	c (104,0) x[21] = 175
819.58/190.25	c (104,0) x[22] = 20
819.58/190.25	c (104,0) x[23] = 99
819.58/190.25	c (104,0) x[24] = 228
819.58/190.25	c (104,0) x[25] = 297
819.58/190.25	c (104,0) x[26] = 43
819.58/190.25	c (104,0) x[27] = 240
819.58/190.25	c (104,0) x[28] = 314
819.58/190.25	c (104,0) x[29] = 67
819.58/190.25	c (104,0) x[30] = 110
819.58/190.25	c (104,0) x[31] = 166
819.58/190.25	c (104,0) x[32] = 32
819.58/190.25	c (104,0) x[33] = 40
819.58/190.25	c (104,0) x[34] = 337
819.58/190.25	c (104,0) x[35] = 280
819.58/190.25	c (104,0) x[36] = 131
819.58/190.25	c (104,0) x[37] = 261
819.58/190.25	c (104,0) x[38] = 319
819.58/190.25	c (104,0) x[39] = 16
819.58/190.25	c (104,0) x[40] = 225
819.58/190.25	c (104,0) x[41] = 347
819.58/190.25	c (104,0) x[42] = 259
819.58/190.25	c (104,0) x[43] = 186
819.58/190.25	c (104,0) x[44] = 338
819.58/190.25	c (104,0) x[45] = 339
819.58/190.25	c (104,0) x[46] = 82
819.58/190.25	c (104,0) x[47] = 145
819.58/190.25	c (104,0) x[48] = 49
819.58/190.25	c (104,0) x[49] = 374
819.58/190.25	c (104,0) x[50] = 355
819.58/190.25	c (104,0) x[51] = 370
819.58/190.25	c (104,0) x[52] = 210
819.58/190.25	c (104,0) x[53] = 111
819.58/190.25	c (104,0) x[54] = 13
819.58/190.25	c (104,0) x[55] = 381
819.58/190.27	c (104,0) x[56] = 143
819.58/190.27	c (104,0) x[57] = 180
819.58/190.27	c (104,0) x[58] = 21
819.58/190.27	c (104,0) x[59] = 323
819.58/190.27	c (104,0) x[60] = 285
819.58/190.27	c (104,0) x[61] = 396
819.58/190.27	c (104,0) x[62] = 371
819.58/190.27	c (104,0) x[63] = 378
819.58/190.27	c (104,0) x[64] = 29
819.58/190.27	c (104,0) x[65] = 201
819.58/190.27	c (104,0) x[66] = 95
819.58/190.27	c (104,0) x[67] = 160
819.58/190.27	c (104,0) x[68] = 146
819.58/190.27	c (104,0) x[69] = 340
819.58/190.27	c (104,0) x[70] = 71
819.58/190.27	c (104,0) x[71] = 173
819.58/190.27	c (104,0) x[72] = 231
819.58/190.27	c (104,0) x[73] = 182
819.58/190.27	c (104,0) x[74] = 127
819.58/190.27	c (104,0) x[75] = 126
819.58/190.27	c (104,0) x[76] = 18
819.58/190.27	c (104,0) x[77] = 273
819.58/190.27	c (104,0) x[78] = 144
819.58/190.27	c (104,0) x[79] = 308
819.58/190.27	s SATISFIABLE
819.58/190.27	v <instantiation>
819.58/190.27	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>
819.58/190.27	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>
819.58/190.27	v </instantiation>
819.58/190.27	c (104,0) Show results End
819.58/190.27	c (104,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
819.58/190.27	c (104,0) 104,104,STOP-AFTER(ALL)
819.58/190.27	c END-Prog: Sat Sep 14 05:28:20 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 (14935 MiB free)
  memory of node 1: 16384 MiB (15606 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=8454, runsolver pid=8451

[startup+0.100084 s]*
/proc/loadavg: 5.87 7.19 7.60 2/211 8476
/proc/meminfo: memFree=31181600/32770624 swapFree=67000536/67108860
[pid=8454] ppid=8451 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8454/stat : 8454 (scop.sh) S 8451 8454 6587 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419069036 115843072 349 33554432000 4194304 5098028 140721456001104 140721455998360 139989573390972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34181120 140721456010021 140721456010348 140721456010348 140721456013261 0
/proc/8454/statm: 28282 349 296 221 0 87 0
[pid=8457] ppid=8454 vsize=27314120 memory=107392 CPUtime=0.1 cores=0-7
/proc/8457/stat : 8457 (java) S 8454 8454 6587 0 -1 1077944320 6423 0 0 0 8 2 0 0 20 0 20 0 419069036 27969658880 26848 33554432000 4194304 4196468 140731561383408 140731561365952 140642187489015 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
/proc/8457/statm: 6828530 26848 2774 1 0 6790935 0
[pid=8457/tid=8458] ppid=8454 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/8457/task/8458/stat : 8458 (java) R 8454 8454 6587 0 -1 4202560 4557 0 0 0 7 2 0 0 20 0 20 0 419069036 27969658880 26848 33554432000 4194304 4196468 140731561383408 140642159325856 140642187500950 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8459] ppid=8454 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8457/task/8459/stat : 8459 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 26848 33554432000 4194304 4196468 140731561383408 140642191731728 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8460] ppid=8454 vsize=27314120 memory=140303126496896 CPUtime=0 cores=0-7
/proc/8457/task/8460/stat : 8460 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 26848 33554432000 4194304 4196468 140731561383408 140642005888144 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8461] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8461/stat : 8461 (java) S 8454 8454 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 26848 33554432000 4194304 4196468 140731561383408 140642004835088 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8462] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8462/stat : 8462 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 26848 33554432000 4194304 4196468 140731561383408 140642003782544 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8463] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8463/stat : 8463 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 26848 33554432000 4194304 4196468 140731561383408 140642002729488 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8464] ppid=8454 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8457/task/8464/stat : 8464 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 26848 33554432000 4194304 4196468 140731561383408 140642001676944 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8465] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8465/stat : 8465 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 26848 33554432000 4194304 4196468 140731561383408 140642000623888 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8466] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8466/stat : 8466 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 26848 33554432000 4194304 4196468 140731561383408 140641999571344 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8467] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8467/stat : 8467 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419069040 27969658880 26848 33554432000 4194304 4196468 140731561383408 140640238131952 140642187500162 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8468] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8468/stat : 8468 (java) S 8454 8454 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419069041 27969658880 26848 33554432000 4194304 4196468 140731561383408 140640113387168 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8469] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8469/stat : 8469 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069041 27969658880 26848 33554432000 4194304 4196468 140731561383408 140639844951280 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8470] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8470/stat : 8470 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069043 27969658880 26848 33554432000 4194304 4196468 140731561383408 140639470442960 140642187507611 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8471] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8471/stat : 8471 (java) R 8454 8454 6587 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 419069043 27969658880 26848 33554432000 4194304 4196468 140731561383408 140640237078768 140642187500162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8472] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8472/stat : 8472 (java) S 8454 8454 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419069043 27969658880 26848 33554432000 4194304 4196468 140731561383408 140640236026224 140642187500162 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8473] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8473/stat : 8473 (java) S 8454 8454 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419069043 27969658880 26848 33554432000 4194304 4196468 140731561383408 140640234973168 140642187500162 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8474] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8474/stat : 8474 (java) R 8454 8454 6587 0 -1 4202560 253 0 0 0 0 0 0 0 20 0 20 0 419069043 27969658880 26848 33554432000 4194304 4196468 140731561383408 140640233920624 140642166014756 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8475] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8475/stat : 8475 (java) S 8454 8454 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419069044 27969658880 26848 33554432000 4194304 4196468 140731561383408 140638972537824 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8476] ppid=8454 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8457/task/8476/stat : 8476 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069044 27969658880 26848 33554432000 4194304 4196468 140731561383408 140640232869040 140642187500162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108788 KiB

[startup+0.209726 s]*
/proc/loadavg: 5.87 7.19 7.60 3/211 8476
/proc/meminfo: memFree=31158208/32770624 swapFree=67000536/67108860
[pid=8454] ppid=8451 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8454/stat : 8454 (scop.sh) S 8451 8454 6587 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419069036 115843072 349 33554432000 4194304 5098028 140721456001104 140721455998360 139989573390972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34181120 140721456010021 140721456010348 140721456010348 140721456013261 0
/proc/8454/statm: 28282 349 296 221 0 87 0
[pid=8457] ppid=8454 vsize=27314120 memory=126756 CPUtime=0.25 cores=0-7
/proc/8457/stat : 8457 (java) S 8454 8454 6587 0 -1 1077944320 12082 0 0 0 21 4 0 0 20 0 20 0 419069036 27969658880 31689 33554432000 4194304 4196468 140731561383408 140731561365952 140642187489015 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
/proc/8457/statm: 6828530 31689 2942 1 0 6790935 0
[pid=8457/tid=8458] ppid=8454 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/8457/task/8458/stat : 8458 (java) R 8454 8454 6587 0 -1 4202560 9811 0 0 0 16 3 0 0 20 0 20 0 419069036 27969658880 31689 33554432000 4194304 4196468 140731561383408 140642159288400 140642169052590 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8459] ppid=8454 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/8457/task/8459/stat : 8459 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 31689 33554432000 4194304 4196468 140731561383408 140642191731728 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8460] ppid=8454 vsize=27314120 memory=140303126508699 CPUtime=0 cores=0-7
/proc/8457/task/8460/stat : 8460 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 31689 33554432000 4194304 4196468 140731561383408 140642005888144 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8461] ppid=8454 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8457/task/8461/stat : 8461 (java) S 8454 8454 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 31689 33554432000 4194304 4196468 140731561383408 140642004835088 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8462] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8462/stat : 8462 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 31689 33554432000 4194304 4196468 140731561383408 140642003782544 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8463] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8463/stat : 8463 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 31689 33554432000 4194304 4196468 140731561383408 140642002729488 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8464] ppid=8454 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8457/task/8464/stat : 8464 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 31689 33554432000 4194304 4196468 140731561383408 140642001676944 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8465] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8465/stat : 8465 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 31689 33554432000 4194304 4196468 140731561383408 140642000623888 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8466] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8466/stat : 8466 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 31689 33554432000 4194304 4196468 140731561383408 140641999571344 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8467] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8467/stat : 8467 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419069040 27969658880 31689 33554432000 4194304 4196468 140731561383408 140640238131952 140642187500162 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8468] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8468/stat : 8468 (java) S 8454 8454 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419069041 27969658880 31689 33554432000 4194304 4196468 140731561383408 140640113387168 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8469] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8469/stat : 8469 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069041 27969658880 31689 33554432000 4194304 4196468 140731561383408 140639844951280 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8470] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8470/stat : 8470 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069043 27969658880 31689 33554432000 4194304 4196468 140731561383408 140639470442960 140642187507611 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8471] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8471/stat : 8471 (java) S 8454 8454 6587 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 419069043 27969658880 31689 33554432000 4194304 4196468 140731561383408 140640237078768 140642187500162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8472] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8472/stat : 8472 (java) S 8454 8454 6587 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419069043 27969658880 31689 33554432000 4194304 4196468 140731561383408 140640236026224 140642187500162 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8473] ppid=8454 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8457/task/8473/stat : 8473 (java) S 8454 8454 6587 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 419069043 27969658880 31689 33554432000 4194304 4196468 140731561383408 140640234973168 140642187500162 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8474] ppid=8454 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/8457/task/8474/stat : 8474 (java) S 8454 8454 6587 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 419069043 27969658880 31689 33554432000 4194304 4196468 140731561383408 140640233920624 140642187500162 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8475] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8475/stat : 8475 (java) S 8454 8454 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419069044 27969658880 31689 33554432000 4194304 4196468 140731561383408 140638972537824 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8476] ppid=8454 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8457/task/8476/stat : 8476 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069044 27969658880 31689 33554432000 4194304 4196468 140731561383408 140640232869040 140642187500162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128152 KiB

[startup+0.309287 s]*
/proc/loadavg: 5.87 7.19 7.60 2/211 8476
/proc/meminfo: memFree=31155020/32770624 swapFree=67000536/67108860
[pid=8454] ppid=8451 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8454/stat : 8454 (scop.sh) S 8451 8454 6587 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419069036 115843072 349 33554432000 4194304 5098028 140721456001104 140721455998360 139989573390972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34181120 140721456010021 140721456010348 140721456010348 140721456013261 0
/proc/8454/statm: 28282 349 296 221 0 87 0
[pid=8457] ppid=8454 vsize=27314120 memory=130376 CPUtime=0.42 cores=0-7
/proc/8457/stat : 8457 (java) S 8454 8454 6587 0 -1 1077944320 12436 0 0 0 38 4 0 0 20 0 20 0 419069036 27969658880 32594 33554432000 4194304 4196468 140731561383408 140731561365952 140642187489015 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
/proc/8457/statm: 6828530 32594 3041 1 0 6790935 0
[pid=8457/tid=8458] ppid=8454 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/8457/task/8458/stat : 8458 (java) R 8454 8454 6587 0 -1 4202560 9999 0 0 0 26 3 0 0 20 0 20 0 419069036 27969658880 32594 33554432000 4194304 4196468 140731561383408 140642159315280 140642170675824 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8459] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8459/stat : 8459 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 32594 33554432000 4194304 4196468 140731561383408 140642191731728 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8460] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8460/stat : 8460 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 32594 33554432000 4194304 4196468 140731561383408 140642005888144 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8461] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8461/stat : 8461 (java) S 8454 8454 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 32594 33554432000 4194304 4196468 140731561383408 140642004835088 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8462] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8462/stat : 8462 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 32594 33554432000 4194304 4196468 140731561383408 140642003782544 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8463] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8463/stat : 8463 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 32594 33554432000 4194304 4196468 140731561383408 140642002729488 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8464] ppid=8454 vsize=27314120 memory=140303025662639 CPUtime=0 cores=0-7
/proc/8457/task/8464/stat : 8464 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 32594 33554432000 4194304 4196468 140731561383408 140642001676944 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8465] ppid=8454 vsize=27314120 memory=140303025664944 CPUtime=0 cores=0-7
/proc/8457/task/8465/stat : 8465 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 32594 33554432000 4194304 4196468 140731561383408 140642000623888 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8466] ppid=8454 vsize=27314120 memory=140303025667248 CPUtime=0 cores=0-7
/proc/8457/task/8466/stat : 8466 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069039 27969658880 32594 33554432000 4194304 4196468 140731561383408 140641999571344 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8467] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8467/stat : 8467 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419069040 27969658880 32594 33554432000 4194304 4196468 140731561383408 140640238131952 140642187500162 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8468] ppid=8454 vsize=27314120 memory=280606051348368 CPUtime=0 cores=0-7
/proc/8457/task/8468/stat : 8468 (java) S 8454 8454 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419069041 27969658880 32594 33554432000 4194304 4196468 140731561383408 140640113387168 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8469] ppid=8454 vsize=27314120 memory=280606051346064 CPUtime=0 cores=0-7
/proc/8457/task/8469/stat : 8469 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069041 27969658880 32594 33554432000 4194304 4196468 140731561383408 140639844951280 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8470] ppid=8454 vsize=27314120 memory=280606051352976 CPUtime=0 cores=0-7
/proc/8457/task/8470/stat : 8470 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069043 27969658880 32594 33554432000 4194304 4196468 140731561383408 140639470442960 140642187507611 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8471] ppid=8454 vsize=27314120 memory=280606051294256 CPUtime=0 cores=0-7
/proc/8457/task/8471/stat : 8471 (java) S 8454 8454 6587 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 419069043 27969658880 32594 33554432000 4194304 4196468 140731561383408 140640237078768 140642187500162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8472] ppid=8454 vsize=27314120 memory=280606051366800 CPUtime=0.01 cores=0-7
/proc/8457/task/8472/stat : 8472 (java) S 8454 8454 6587 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 20 0 419069043 27969658880 32594 33554432000 4194304 4196468 140731561383408 140640236026224 140642187500162 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8473] ppid=8454 vsize=27314120 memory=280606051373712 CPUtime=0.02 cores=0-7
/proc/8457/task/8473/stat : 8473 (java) R 8454 8454 6587 0 -1 4202560 183 0 0 0 2 0 0 0 20 0 20 0 419069043 27969658880 32594 33554432000 4194304 4196468 140731561383408 140640234973168 140642173511779 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8474] ppid=8454 vsize=27314120 memory=280606051371408 CPUtime=0.07 cores=0-7
/proc/8457/task/8474/stat : 8474 (java) S 8454 8454 6587 0 -1 1077944384 477 0 0 0 7 0 0 0 20 0 20 0 419069043 27969658880 32594 33554432000 4194304 4196468 140731561383408 140640233920624 140642187500162 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8475] ppid=8454 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8475/stat : 8475 (java) S 8454 8454 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419069044 27969658880 32594 33554432000 4194304 4196468 140731561383408 140638972537824 140642187499221 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8476] ppid=8454 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/8457/task/8476/stat : 8476 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069044 27969658880 32594 33554432000 4194304 4196468 140731561383408 140640232869040 140642187500162 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131772 KiB

[startup+0.700867 s]
/proc/loadavg: 5.87 7.19 7.60 4/211 8476
/proc/meminfo: memFree=31135520/32770624 swapFree=67000536/67108860
[pid=8454] ppid=8451 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/8454/stat : 8454 (scop.sh) S 8451 8454 6587 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419069036 115843072 349 33554432000 4194304 5098028 140721456001104 140721455998360 139989573390972 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34181120 140721456010021 140721456010348 140721456010348 140721456013261 0
/proc/8454/statm: 28282 349 296 221 0 87 0
[pid=8457] ppid=8454 vsize=27320392 memory=165272 CPUtime=0.99 cores=0-7
/proc/8457/stat : 8457 (java) S 8454 8454 6587 0 -1 1077944320 19921 0 0 0 93 6 0 0 20 0 20 0 419069036 27976081408 41318 33554432000 4194304 4196468 140731561383408 140731561365952 140642187489015 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
/proc/8457/statm: 6830098 41318 3183 1 0 6791447 0
[pid=8457/tid=8458] ppid=8454 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/8457/task/8458/stat : 8458 (java) R 8454 8454 6587 0 -1 4202560 16967 0 0 0 62 5 0 0 20 0 20 0 419069036 27976081408 41318 33554432000 4194304 4196468 140731561383408 140642159310160 140642171569502 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8459] ppid=8454 vsize=27320392 memory=140303025873776 CPUtime=0 cores=0-7
/proc/8457/task/8459/stat : 8459 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069039 27976081408 41318 33554432000 4194304 4196468 140731561383408 140642191731728 140642187499221 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8460] ppid=8454 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/8457/task/8460/stat : 8460 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419069039 27976081408 41318 33554432000 4194304 4196468 140731561383408 140642005888144 140642187499221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0
[pid=8457/tid=8461] ppid=8454 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/8457/task/8461/stat : 8461 (java) S 8454 8454 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419069039 27976081408 41318 33554432000 4194304 4196468 140731561383408 140642004835088 140642187499221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33005568 140731561386732 140731561387158 140731561387158 140731561390031 0

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

/proc/8482/task/8487/stat : 8487 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419077587 8616062976 30315 33554432000 4194304 4196468 140722405111440 139994464873488 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8488] ppid=8454 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/8482/task/8488/stat : 8488 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419077587 8616062976 30315 33554432000 4194304 4196468 140722405111440 139994463820176 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8489] ppid=8454 vsize=8414124 memory=-8961168018402230209 CPUtime=0 cores=0-7
/proc/8482/task/8489/stat : 8489 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419077587 8616062976 30315 33554432000 4194304 4196468 140722405111440 139994462767376 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8490] ppid=8454 vsize=8414124 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/8482/task/8490/stat : 8490 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419077587 8616062976 30315 33554432000 4194304 4196468 140722405111440 139994461715088 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8491] ppid=8454 vsize=8414124 memory=2126584 CPUtime=0 cores=0-7
/proc/8482/task/8491/stat : 8491 (java) S 8454 8454 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419077588 8616062976 30315 33554432000 4194304 4196468 140722405111440 139994460662288 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8492] ppid=8454 vsize=8414124 memory=37248 CPUtime=0 cores=0-7
/proc/8482/task/8492/stat : 8492 (java) S 8454 8454 6587 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 419077589 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993823128176 139994662578818 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8493] ppid=8454 vsize=8414124 memory=2176700 CPUtime=0 cores=0-7
/proc/8482/task/8493/stat : 8493 (java) S 8454 8454 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419077589 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993251046688 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8494] ppid=8454 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/8482/task/8494/stat : 8494 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419077590 8616062976 30315 33554432000 4194304 4196468 140722405111440 139992982611568 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8495] ppid=8454 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/8482/task/8495/stat : 8495 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419077592 8616062976 30315 33554432000 4194304 4196468 140722405111440 139992608102992 139994662586267 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8496] ppid=8454 vsize=8414124 memory=964 CPUtime=0.07 cores=0-7
/proc/8482/task/8496/stat : 8496 (java) S 8454 8454 6587 0 -1 1077944384 637 0 0 0 7 0 0 0 20 0 24 0 419077592 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993822074992 139994662578818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8497] ppid=8454 vsize=8414124 memory=14008 CPUtime=0.03 cores=0-7
/proc/8482/task/8497/stat : 8497 (java) S 8454 8454 6587 0 -1 1077944384 268 0 0 0 3 0 0 0 20 0 24 0 419077592 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993821022192 139994662578818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8498] ppid=8454 vsize=8414124 memory=2116 CPUtime=0.07 cores=0-7
/proc/8482/task/8498/stat : 8498 (java) S 8454 8454 6587 0 -1 1077944384 271 0 0 0 7 0 0 0 20 0 24 0 419077593 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993819969904 139994662578818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8499] ppid=8454 vsize=8414124 memory=20612 CPUtime=0.21 cores=0-7
/proc/8482/task/8499/stat : 8499 (java) S 8454 8454 6587 0 -1 1077944384 775 0 0 0 21 0 0 0 20 0 24 0 419077593 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993818917104 139994662578818 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8500] ppid=8454 vsize=8414124 memory=11852 CPUtime=0 cores=0-7
/proc/8482/task/8500/stat : 8500 (java) S 8454 8454 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419077593 8616062976 30315 33554432000 4194304 4196468 140722405111440 139992110197600 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8501] ppid=8454 vsize=8414124 memory=1696 CPUtime=0.05 cores=0-7
/proc/8482/task/8501/stat : 8501 (java) S 8454 8454 6587 0 -1 1077944384 9 0 0 0 5 0 0 0 20 0 24 0 419077593 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993817865008 139994662578818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8503] ppid=8454 vsize=8414124 memory=3436 CPUtime=0 cores=0-7
/proc/8482/task/8503/stat : 8503 (java) S 8454 8454 6587 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419077660 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993809831744 139994662592281 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8505] ppid=8454 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/8482/task/8505/stat : 8505 (java) S 8454 8454 6587 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419077661 8616062976 30315 33554432000 4194304 4196468 140722405111440 139991439097232 139994662589597 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8506] ppid=8454 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/8482/task/8506/stat : 8506 (java) S 8454 8454 6587 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419077661 8616062976 30315 33554432000 4194304 4196468 140722405111440 139991707532560 139994662589597 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8507] ppid=8454 vsize=8414124 memory=1224 CPUtime=0 cores=0-7
/proc/8482/task/8507/stat : 8507 (java) S 8454 8454 6587 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419077663 8616062976 30315 33554432000 4194304 4196468 140722405111440 139991170669872 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
Current children cumulated CPU time: 818.62 s
Current children cumulated vsize: 11204688 KiB
Current children cumulated memory: 2343604 KiB

[startup+190.001 s]*
/proc/loadavg: 6.57 6.08 7.02 2/218 8523
/proc/meminfo: memFree=28874260/32770624 swapFree=67000536/67108860
[pid=8454] ppid=8451 vsize=113128 memory=1476 CPUtime=116.19 cores=0-7
/proc/8454/stat : 8454 (scop.sh) S 8451 8454 6587 0 -1 4202496 581 69279 0 0 0 0 11034 585 20 0 1 0 419069036 115843072 369 33554432000 4194304 5098028 140721456001104 140721455997848 139989573390972 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34181120 140721456010021 140721456010348 140721456010348 140721456013261 0
/proc/8454/statm: 28282 369 311 221 0 87 0
[pid=8482] ppid=8454 vsize=8414124 memory=121260 CPUtime=1.25 cores=0-7
/proc/8482/stat : 8482 (java) S 8454 8454 6587 0 -1 1077944320 20291 0 0 0 118 7 0 0 20 0 24 0 419077585 8616062976 30315 33554432000 4194304 4196468 140722405111440 140722405093984 139994662567671 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
/proc/8482/statm: 2103531 30315 3209 1 0 2064875 0
[pid=8502] ppid=8482 vsize=2677436 memory=2220868 CPUtime=701.66 cores=0-7
/proc/8502/stat : 8502 (manyglucose-4.1) S 8482 8454 6587 0 -1 1077944320 2834510 0 0 0 69756 410 0 0 20 0 2 0 419077660 2741694464 555217 33554432000 4194304 4454172 140722656153216 140722656151600 139902389473015 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 21901312 140722656154474 140722656154672 140722656154672 140722656157626 0
/proc/8502/statm: 669359 555217 422 64 0 665027 0
[pid=8502/tid=8511] ppid=8482 vsize=2677436 memory=1696 CPUtime=88.26 cores=0-7
/proc/8502/task/8511/stat : 8511 (manyglucose-4.1) R 8482 8454 6587 0 -1 4202560 322917 0 0 0 8767 59 0 0 20 0 2 0 419079188 2741694464 555217 33554432000 4194304 4454172 140722656153216 139901113744456 4351800 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 21901312 140722656154474 140722656154672 140722656154672 140722656157626 0
[pid=8482/tid=8483] ppid=8454 vsize=8414124 memory=1398722017469774279 CPUtime=0.77 cores=0-7
/proc/8482/task/8483/stat : 8483 (java) S 8454 8454 6587 0 -1 1077944384 16935 0 0 0 72 5 0 0 20 0 24 0 419077586 8616062976 30315 33554432000 4194304 4196468 140722405111440 139994634407840 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8484] ppid=8454 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8482/task/8484/stat : 8484 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419077587 8616062976 30315 33554432000 4194304 4196468 140722405111440 139994666810256 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8485] ppid=8454 vsize=8414124 memory=121260 CPUtime=0 cores=0-7
/proc/8482/task/8485/stat : 8485 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419077587 8616062976 30315 33554432000 4194304 4196468 140722405111440 139994466978576 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8486] ppid=8454 vsize=8414124 memory=2168088 CPUtime=0 cores=0-7
/proc/8482/task/8486/stat : 8486 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419077587 8616062976 30315 33554432000 4194304 4196468 140722405111440 139994465926288 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8487] ppid=8454 vsize=8414124 memory=1720 CPUtime=0 cores=0-7
/proc/8482/task/8487/stat : 8487 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419077587 8616062976 30315 33554432000 4194304 4196468 140722405111440 139994464873488 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8488] ppid=8454 vsize=8414124 memory=912 CPUtime=0 cores=0-7
/proc/8482/task/8488/stat : 8488 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419077587 8616062976 30315 33554432000 4194304 4196468 140722405111440 139994463820176 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8489] ppid=8454 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/8482/task/8489/stat : 8489 (java) S 8454 8454 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419077587 8616062976 30315 33554432000 4194304 4196468 140722405111440 139994462767376 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8490] ppid=8454 vsize=8414124 memory=4488 CPUtime=0 cores=0-7
/proc/8482/task/8490/stat : 8490 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419077587 8616062976 30315 33554432000 4194304 4196468 140722405111440 139994461715088 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8491] ppid=8454 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/8482/task/8491/stat : 8491 (java) S 8454 8454 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419077588 8616062976 30315 33554432000 4194304 4196468 140722405111440 139994460662288 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8492] ppid=8454 vsize=8414124 memory=3644 CPUtime=0 cores=0-7
/proc/8482/task/8492/stat : 8492 (java) S 8454 8454 6587 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 419077589 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993823128176 139994662578818 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8493] ppid=8454 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/8482/task/8493/stat : 8493 (java) S 8454 8454 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419077589 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993251046688 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8494] ppid=8454 vsize=8414124 memory=121260 CPUtime=0 cores=0-7
/proc/8482/task/8494/stat : 8494 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419077590 8616062976 30315 33554432000 4194304 4196468 140722405111440 139992982611568 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8495] ppid=8454 vsize=8414124 memory=2194392 CPUtime=0 cores=0-7
/proc/8482/task/8495/stat : 8495 (java) S 8454 8454 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419077592 8616062976 30315 33554432000 4194304 4196468 140722405111440 139992608102992 139994662586267 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8496] ppid=8454 vsize=8414124 memory=7686721470267562395 CPUtime=0.07 cores=0-7
/proc/8482/task/8496/stat : 8496 (java) S 8454 8454 6587 0 -1 1077944384 637 0 0 0 7 0 0 0 20 0 24 0 419077592 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993822074992 139994662578818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8497] ppid=8454 vsize=8414124 memory=121260 CPUtime=0.03 cores=0-7
/proc/8482/task/8497/stat : 8497 (java) S 8454 8454 6587 0 -1 1077944384 268 0 0 0 3 0 0 0 20 0 24 0 419077592 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993821022192 139994662578818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8498] ppid=8454 vsize=8414124 memory=2218324 CPUtime=0.07 cores=0-7
/proc/8482/task/8498/stat : 8498 (java) S 8454 8454 6587 0 -1 1077944384 271 0 0 0 7 0 0 0 20 0 24 0 419077593 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993819969904 139994662578818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8499] ppid=8454 vsize=8414124 memory=7521950826263964010 CPUtime=0.21 cores=0-7
/proc/8482/task/8499/stat : 8499 (java) S 8454 8454 6587 0 -1 1077944384 775 0 0 0 21 0 0 0 20 0 24 0 419077593 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993818917104 139994662578818 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8500] ppid=8454 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/8482/task/8500/stat : 8500 (java) S 8454 8454 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419077593 8616062976 30315 33554432000 4194304 4196468 140722405111440 139992110197600 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8501] ppid=8454 vsize=8414124 memory=37252 CPUtime=0.05 cores=0-7
/proc/8482/task/8501/stat : 8501 (java) S 8454 8454 6587 0 -1 1077944384 9 0 0 0 5 0 0 0 20 0 24 0 419077593 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993817865008 139994662578818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8503] ppid=8454 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/8482/task/8503/stat : 8503 (java) S 8454 8454 6587 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419077660 8616062976 30315 33554432000 4194304 4196468 140722405111440 139993809831744 139994662592281 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8505] ppid=8454 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/8482/task/8505/stat : 8505 (java) S 8454 8454 6587 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419077661 8616062976 30315 33554432000 4194304 4196468 140722405111440 139991439097232 139994662589597 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8506] ppid=8454 vsize=8414124 memory=1240 CPUtime=0 cores=0-7
/proc/8482/task/8506/stat : 8506 (java) S 8454 8454 6587 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419077661 8616062976 30315 33554432000 4194304 4196468 140722405111440 139991707532560 139994662589597 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8507] ppid=8454 vsize=8414124 memory=580 CPUtime=0 cores=0-7
/proc/8482/task/8507/stat : 8507 (java) S 8454 8454 6587 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419077663 8616062976 30315 33554432000 4194304 4196468 140722405111440 139991170669872 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
Current children cumulated CPU time: 819.1 s
Current children cumulated vsize: 11204688 KiB
Current children cumulated memory: 2343604 KiB

[startup+190.202 s]
/proc/loadavg: 6.57 6.08 7.02 2/218 8523
/proc/meminfo: memFree=28874260/32770624 swapFree=67000536/67108860
[pid=8454] ppid=8451 vsize=113128 memory=1476 CPUtime=116.19 cores=0-7
/proc/8454/stat : 8454 (scop.sh) S 8451 8454 6587 0 -1 4202496 581 69279 0 0 0 0 11034 585 20 0 1 0 419069036 115843072 369 33554432000 4194304 5098028 140721456001104 140721455997848 139989573390972 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 34181120 140721456010021 140721456010348 140721456010348 140721456013261 0
/proc/8454/statm: 28282 369 311 221 0 87 0
[pid=8482] ppid=8454 vsize=8283048 memory=143520 CPUtime=703.39 cores=0-7
/proc/8482/stat : 8482 (java) S 8454 8454 6587 0 -1 1077944320 21265 2834544 0 0 153 8 69759 419 20 0 22 0 419077585 8481841152 35880 33554432000 4194304 4196468 140722405111440 140722405093984 139994662567671 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
/proc/8482/statm: 2070762 35880 3226 1 0 2032106 0
[pid=8482/tid=8483] ppid=8454 vsize=8283048 memory=2832 CPUtime=702.6 cores=0-7
/proc/8482/task/8483/stat : 8483 (java) R 8454 8454 6587 0 -1 4202560 17069 2834544 0 0 77 5 69759 419 20 0 22 0 419077586 8481841152 35880 33554432000 4194304 4196468 140722405111440 139994634402048 139994662589018 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8484] ppid=8454 vsize=8283048 memory=-7824251494390912359 CPUtime=701.78 cores=0-7
/proc/8482/task/8484/stat : 8484 (java) S 8454 8454 6587 0 -1 1077944384 1 2834544 0 0 0 0 69759 419 20 0 22 0 419077587 8481841152 35880 33554432000 4194304 4196468 140722405111440 139994666810256 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8485] ppid=8454 vsize=8283048 memory=288230596050944315 CPUtime=701.78 cores=0-7
/proc/8482/task/8485/stat : 8485 (java) S 8454 8454 6587 0 -1 1077944384 1 2834544 0 0 0 0 69759 419 20 0 22 0 419077587 8481841152 35880 33554432000 4194304 4196468 140722405111440 139994466978576 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8486] ppid=8454 vsize=8283048 memory=15540704344541603 CPUtime=701.78 cores=0-7
/proc/8482/task/8486/stat : 8486 (java) S 8454 8454 6587 0 -1 1077944384 2 2834544 0 0 0 0 69759 419 20 0 22 0 419077587 8481841152 35880 33554432000 4194304 4196468 140722405111440 139994465926288 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8487] ppid=8454 vsize=8283048 memory=1564 CPUtime=701.78 cores=0-7
/proc/8482/task/8487/stat : 8487 (java) S 8454 8454 6587 0 -1 1077944384 1 2834544 0 0 0 0 69759 419 20 0 22 0 419077587 8481841152 35880 33554432000 4194304 4196468 140722405111440 139994464873488 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8488] ppid=8454 vsize=8283048 memory=928 CPUtime=701.78 cores=0-7
/proc/8482/task/8488/stat : 8488 (java) S 8454 8454 6587 0 -1 1077944384 2 2834544 0 0 0 0 69759 419 20 0 22 0 419077587 8481841152 35880 33554432000 4194304 4196468 140722405111440 139994463820176 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8489] ppid=8454 vsize=8283048 memory=1980 CPUtime=701.78 cores=0-7
/proc/8482/task/8489/stat : 8489 (java) S 8454 8454 6587 0 -1 1077944384 2 2834544 0 0 0 0 69759 419 20 0 22 0 419077587 8481841152 35880 33554432000 4194304 4196468 140722405111440 139994462767376 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8490] ppid=8454 vsize=8283048 memory=1332 CPUtime=701.78 cores=0-7
/proc/8482/task/8490/stat : 8490 (java) S 8454 8454 6587 0 -1 1077944384 1 2834544 0 0 0 0 69759 419 20 0 22 0 419077587 8481841152 35880 33554432000 4194304 4196468 140722405111440 139994461715088 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8491] ppid=8454 vsize=8283048 memory=2648 CPUtime=701.78 cores=0-7
/proc/8482/task/8491/stat : 8491 (java) S 8454 8454 6587 0 -1 1077944384 3 2834544 0 0 0 0 69759 419 20 0 22 0 419077588 8481841152 35880 33554432000 4194304 4196468 140722405111440 139994460662288 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8492] ppid=8454 vsize=8283048 memory=7686721470267562395 CPUtime=701.78 cores=0-7
/proc/8482/task/8492/stat : 8492 (java) S 8454 8454 6587 0 -1 1077944384 6 2834544 0 0 0 0 69759 419 20 0 22 0 419077589 8481841152 35880 33554432000 4194304 4196468 140722405111440 139993823128176 139994662578818 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8493] ppid=8454 vsize=8283048 memory=1476 CPUtime=701.78 cores=0-7
/proc/8482/task/8493/stat : 8493 (java) S 8454 8454 6587 0 -1 1077944384 13 2834544 0 0 0 0 69759 419 20 0 22 0 419077589 8481841152 35880 33554432000 4194304 4196468 140722405111440 139993251046688 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8494] ppid=8454 vsize=8283048 memory=121260 CPUtime=701.78 cores=0-7
/proc/8482/task/8494/stat : 8494 (java) S 8454 8454 6587 0 -1 1077944384 1 2834544 0 0 0 0 69759 419 20 0 22 0 419077590 8481841152 35880 33554432000 4194304 4196468 140722405111440 139992982611568 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8495] ppid=8454 vsize=8283048 memory=2196592 CPUtime=701.78 cores=0-7
/proc/8482/task/8495/stat : 8495 (java) S 8454 8454 6587 0 -1 1077944384 1 2834544 0 0 0 0 69759 419 20 0 22 0 419077592 8481841152 35880 33554432000 4194304 4196468 140722405111440 139992608102992 139994662586267 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8496] ppid=8454 vsize=8283048 memory=808 CPUtime=701.89 cores=0-7
/proc/8482/task/8496/stat : 8496 (java) R 8454 8454 6587 0 -1 4202560 655 2834544 0 0 11 0 69759 419 20 0 22 0 419077592 8481841152 35880 33554432000 4194304 4196468 140722405111440 139993822074992 139994662589018 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8497] ppid=8454 vsize=8283048 memory=4571038827598935594 CPUtime=701.86 cores=0-7
/proc/8482/task/8497/stat : 8497 (java) R 8454 8454 6587 0 -1 4202560 648 2834544 0 0 8 0 69759 419 20 0 22 0 419077592 8481841152 35880 33554432000 4194304 4196468 140722405111440 139993821004032 139994662589018 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8498] ppid=8454 vsize=8283048 memory=3616 CPUtime=701.91 cores=0-7
/proc/8482/task/8498/stat : 8498 (java) R 8454 8454 6587 0 -1 4202560 294 2834544 0 0 13 0 69759 419 20 0 22 0 419077593 8481841152 35880 33554432000 4194304 4196468 140722405111440 139993819962928 139994662589018 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8499] ppid=8454 vsize=8283048 memory=37252 CPUtime=702.05 cores=0-7
/proc/8482/task/8499/stat : 8499 (java) R 8454 8454 6587 0 -1 4202560 1128 2834544 0 0 27 0 69759 419 20 0 22 0 419077593 8481841152 35880 33554432000 4194304 4196468 140722405111440 139993818911456 139994662589018 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8500] ppid=8454 vsize=8283048 memory=988 CPUtime=701.78 cores=0-7
/proc/8482/task/8500/stat : 8500 (java) S 8454 8454 6587 0 -1 1077944384 3 2834544 0 0 0 0 69759 419 20 0 22 0 419077593 8481841152 35880 33554432000 4194304 4196468 140722405111440 139992110197600 139994662577877 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8501] ppid=8454 vsize=8283048 memory=2012 CPUtime=701.83 cores=0-7
/proc/8482/task/8501/stat : 8501 (java) S 8454 8454 6587 0 -1 1077944384 9 2834544 0 0 5 0 69759 419 20 0 22 0 419077593 8481841152 35880 33554432000 4194304 4196468 140722405111440 139993817865008 139994662578818 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8503] ppid=8454 vsize=8283048 memory=1240 CPUtime=701.78 cores=0-7
/proc/8482/task/8503/stat : 8503 (java) S 8454 8454 6587 0 -1 1077944384 23 2834544 0 0 0 0 69759 419 20 0 22 0 419077660 8481841152 35880 33554432000 4194304 4196468 140722405111440 139993809830928 139994662578818 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
[pid=8482/tid=8507] ppid=8454 vsize=8283048 memory=3436 CPUtime=701.78 cores=0-7
/proc/8482/task/8507/stat : 8507 (java) S 8454 8454 6587 0 -1 1077944384 14 2834544 0 0 0 0 69759 419 20 0 22 0 419077663 8481841152 35880 33554432000 4194304 4196468 140722405111440 139991170671664 139994662578818 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28930048 140722405114872 140722405115030 140722405115030 140722405117903 0
Current children cumulated CPU time: 819.58 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 144996 KiB

Child status: 0
Real time (s): 190.296
CPU time (s): 819.834
CPU user time (s): 809.663
CPU system time (s): 10.1717
CPU usage (%): 430.821
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7643144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 809.663
system time used= 10.1717
maximum resident set size= 7642988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2926995
page faults= 0
swaps= 0
block input operations= 0
block output operations= 140688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59062
involuntary context switches= 7473


# summary of solver processes directly reported to runsolver:
#   pid: 8454
#   total CPU time (s): 819.834
#   total CPU user time (s): 809.663
#   total CPU system time (s): 10.1717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.66091 second user time and 2.24244 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-14 05:25:10
IDJOB=4392296
IDBENCH=131036
IDSOLVER=2838
FILE ID=node146/4392296-1568431550
RUNJOBID= node146-1568429502-6614
PBS_JOBID= 21702307
Free space on /tmp= 59032 MiB

SOLVER NAME= Fun-sCOP order+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 -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392296-1568431550/watcher-4392296-1568431550 -o /tmp/evaluation-result-4392296-1568431550/solver-4392296-1568431550 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568429502-6614 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392296-1568431550.xml

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

MD5SUM BENCH= 5f006248f7b4f652f1c0eb398f87a4da
RANDOM SEED=2071135241

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        31274376 kB
MemAvailable:   31879356 kB
Buffers:          186848 kB
Cached:           683312 kB
SwapCached:         4724 kB
Active:           499668 kB
Inactive:         377456 kB
Active(anon):      23356 kB
Inactive(anon):    21912 kB
Active(file):     476312 kB
Inactive(file):   355544 kB
Unevictable:      110128 kB
Mlocked:          110128 kB
SwapTotal:      67108860 kB
SwapFree:       67000536 kB
Dirty:             20888 kB
Writeback:             0 kB
AnonPages:        115124 kB
Mapped:            42448 kB
Shmem:             29884 kB
Slab:             208252 kB
SReclaimable:     177920 kB
SUnreclaim:        30332 kB
KernelStack:        3568 kB
PageTables:         6236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59012 MiB
End job on node146 at 2019-09-14 05:28:20