Trace number 4307431

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
scop both+glucose-syrup (2018-07-31)UNSAT 1188.47 155.783

General information on the benchmark

NameSocialGolfers/
SocialGolfers-6-6-9-cp_c18.xml
MD5SUM438a4422dc9540b34dd70f26f18dc3ca
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark52.4708
Satisfiable
(Un)Satisfiability was proved
Number of variables324
Number of constraints22691
Number of domains1
Minimum domain size6
Maximum domain size6
Distribution of domain sizes[{"size":6,"count":324}]
Minimum variable degree282
Maximum variable degree283
Distribution of variable degrees[{"degree":282,"count":288},{"degree":283,"count":36}]
Minimum constraint arity4
Maximum constraint arity324
Distribution of constraint arities[{"arity":4,"count":22680},{"arity":36,"count":10},{"arity":324,"count":1}]
Number of extensional constraints0
Number of intensional constraints22680
Distribution of constraint types[{"type":"intension","count":22680},{"type":"lex","count":1},{"type":"cardinality","count":9},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-7470-serial-file.bin HOME/instance-4307431-1534191914.xml
0.66/0.53	
0.66/0.53	scop both+glucose-syrup (2018-07-31)
0.66/0.53	(Encoding Process)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Mon Aug 13 22:25:14 CEST 2018
0.66/0.55	c PID: 7473
0.66/0.55	c IP: 172.20.3.107
0.66/0.55	c HOST: node107.alineos.net
0.66/0.56	c (0,0) Parsing Begin
8.34/2.90	c (2,2) Parsing End
8.34/2.91	c (2,2) CSP: 324 int (0 aux), 0 bool (0 aux), 22691 ctr, max domain size 6
8.34/2.91	c (2,2) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
8.34/2.91	c (2,2) Constraint Name Generate Begin
8.34/3.00	c (2,2) Ctr:HOME/instance-4307431-1534191914.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or
8.34/3.00	c (2,2) Constraint Name Generate End
8.34/3.00	c (2,2) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
8.34/3.00	c (2,2) CSP to CSPinCNF Begin
9.42/3.36	c (2,2) translated 2270 (10%) constraints
9.80/3.47	c (2,2) translated 4539 (20%) constraints
10.19/3.56	c (3,3) translated 6808 (30%) constraints
10.58/3.62	c (3,3) translated 9077 (40%) constraints
10.58/3.67	c (3,3) translated 11346 (50%) constraints
10.84/3.72	c (3,3) translated 13615 (60%) constraints
10.84/3.77	c (3,3) translated 15884 (70%) constraints
10.94/3.82	c (3,3) translated 18153 (80%) constraints
10.94/3.87	c (3,3) translated 20422 (90%) constraints
13.11/4.46	c (3,3) translated 22691 (100%) constraints
16.59/5.51	c (4,4) STATISTICS1:HOME/instance-4307431-1534191914.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,2785,27778,34359738368,6,4,36,34359738368:108;6:41342;1:5181,6:86211;2:7383;1:10759,4:23197;3:1987;2:2461;1:133,36:108;2:46523;1:11343,
16.59/5.51	c (4,4) ==========================================
16.59/5.51	c (4,4) Both Encoding selects:
16.59/5.51	c (4,4) Order
16.59/5.51	c (4,4) ==========================================
17.43/5.71	c (5,5) translated 2778 (10%) constraints
17.73/5.87	c (5,5) translated 5556 (20%) constraints
18.07/6.00	c (5,5) translated 8334 (30%) constraints
18.31/6.12	c (5,5) translated 11112 (40%) constraints
18.40/6.25	c (5,5) translated 13889 (50%) constraints
18.52/6.37	c (5,5) translated 16667 (60%) constraints
18.61/6.49	c (5,5) translated 19445 (70%) constraints
18.81/6.62	c (6,6) translated 22223 (80%) constraints
19.95/6.93	c (6,6) translated 25001 (90%) constraints
20.39/7.10	c (6,6) translated 27778 (100%) constraints
20.74/7.11	c (6,6) CSP to CSPinCNF End
20.74/7.11	c (6,6) CSP: 810 int (486 aux), 4405 bool (4405 aux), 32728 ctr, max domain size 7
20.74/7.11	c (6,6) Heap : 2590 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.74/7.11	c (6,6) CSPinCNF Propagation Begin
22.18/7.53	c (7,6) 786 values, 7372 unsatisfiable literals, and 6028 valid clauses are removed
22.18/7.53	c (7,6) CSPinCNF Propagation End
22.18/7.54	c (7,6) CSP: 1272 int (948 aux), 3943 bool (3943 aux), 26700 ctr, max domain size 7
22.18/7.54	c (7,6) Heap : 2816 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
22.18/7.54	c (7,6) Simplify CSPinCNF Begin
23.85/8.11	c (7,7) Simplify CSPinCNF End
23.85/8.11	c (7,7) CSP: 1272 int (948 aux), 14605 bool (14605 aux), 37362 ctr, max domain size 7
23.85/8.11	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
23.85/8.11	c (7,7) Calculate Precise Domain Begin
23.85/8.17	c (7,7) 0 values are removed by re-calculation
23.85/8.17	c (7,7) Calculate Precise Domain End
23.85/8.17	c (7,7) CSP: 1272 int (948 aux), 14605 bool (14605 aux), 37362 ctr, max domain size 7
23.85/8.17	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.85/8.17	c (7,7) CSPinCNF to SatSolver Begin
24.88/8.41	c (7,7) 3737 (10 %) CSP clauses are encoded (18637 SAT variables, 20428 SAT clauses)
25.29/8.52	c (7,7) 7473 (20 %) CSP clauses are encoded (18637 SAT variables, 36794 SAT clauses)
25.29/8.59	c (8,8) 11209 (30 %) CSP clauses are encoded (18637 SAT variables, 52340 SAT clauses)
25.57/8.66	c (8,8) 14945 (40 %) CSP clauses are encoded (18637 SAT variables, 67876 SAT clauses)
25.57/8.69	c (8,8) 18681 (50 %) CSP clauses are encoded (18637 SAT variables, 72392 SAT clauses)
25.69/8.72	c (8,8) 22418 (60 %) CSP clauses are encoded (18637 SAT variables, 76129 SAT clauses)
25.69/8.75	c (8,8) 26154 (70 %) CSP clauses are encoded (18637 SAT variables, 79865 SAT clauses)
25.88/8.86	c (8,8) 29890 (80 %) CSP clauses are encoded (18637 SAT variables, 95025 SAT clauses)
26.24/8.99	c (8,8) 33626 (90 %) CSP clauses are encoded (18637 SAT variables, 121609 SAT clauses)
26.46/9.08	c (8,8) 37362 (100 %) CSP clauses are encoded (18637 SAT variables, 141343 SAT clauses)
26.46/9.08	c (8,8) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000
26.46/9.08	c (8,8) CSPinCNF to SatSolver End
26.46/9.08	c (8,8) Heap : 3604 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
27.40/9.31	c (8,8) STATISTICS2:HOME/instance-4307431-1534191914.xml,Cardinality:Instantiation:IntVar:LexMatrix:Ne:Num:Or,15877,37362,64,7,4,7,64:576;49:384;6:11102;1:89,7:1728;6:28053;2:96705;1:89,4:18117;3:1199;2:17049;1:997,7:576;3:384;2:11191;1:99009,
27.40/9.31	c (8,8) 18637 bool, 141348 clause
27.40/9.31	c (8,8) Export Begin
27.84/9.42	c (8,8) Export to HOME/scop-7470-serial-file.bin
27.84/9.42	c (8,8) Export End
27.84/9.42	c (8,8) Export File Size: 0.05 MB
27.84/9.42	c (8,8) 2,2,6,7,7,7,8,STOP-AFTER(DIMACS)
27.84/9.42	c END-Prog: Mon Aug 13 22:25:23 CEST 2018
27.84/9.47	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-7470-serial-file.bin
28.02/9.96	c (0,0) Read Serial File Begin
28.02/9.96	c (0,0) HOME/scop-7470-serial-file.bin
28.87/10.15	c (0,0) Read Serial File End
28.87/10.16	
28.87/10.16	scop order+glucose-syrup (2018-07-31)
28.87/10.16	(Solving Process)
28.87/10.16	
28.87/10.19	c BEGIN-Prog: Mon Aug 13 22:25:24 CEST 2018
28.87/10.19	c PID: 7493
28.87/10.19	c IP: 172.20.3.107
28.87/10.19	c HOST: node107.alineos.net
28.87/10.19	c (0,0) SatSolver.solve Begin
28.87/10.19	c (0,0) 0 bool, 0 clause
28.87/10.19	c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307431-1534191914.xml-scop-7473.cnf
104.04/19.88	c (10,0) c
104.04/19.88	c (10,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
104.04/19.88	c (10,0) c
104.04/19.88	c (10,0) c WARNING: for repeatability, setting FPU to use double precision
104.04/19.88	c (10,0) c 8 solvers engines and 1 companion as a blackboard created.
104.04/19.88	c (10,0) c ========================================[ Problem Statistics ]===========================================
104.04/19.88	c (10,0) c |                                                                                                       |
104.04/19.88	c (10,0) c |  Number of variables:         18637                                                                   |
104.04/19.88	c (10,0) c |  Number of clauses:          141348                                                                   |
104.04/19.88	c (10,0) c |  Parse time:                   0.05 s                                                                 |
104.04/19.88	c (10,0) c |                                                                                                       |
104.04/19.88	c (10,0) c |  Eliminated clauses:           0.07 Mb                                                                |
104.04/19.88	c (10,0) c |  Simplification time:          0.10 s                                                                 |
104.04/19.88	c (10,0) c |                                                                                                       |
104.04/19.88	c (10,0) c |  Generating clones                                                                                    |
104.04/19.88	c (10,0) c |  all clones generated. Memory = 114.29Mb.                                                             |
104.04/19.88	c (10,0) c ========================================================================================================|
104.04/19.88	c (10,0) c
104.04/19.88	c (10,0) c |-------------------------------------------------------------------------------------------------------|
104.04/19.88	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
104.04/19.88	c (10,0) c |-------------------------------------------------------------------------------------------------------|
104.04/19.88	c (10,0) c |  0 |    257 |     101681 |      44846 |    19890 |    18642 |     6829 |    56717 |     5092 | 10.431 |
104.04/19.88	c (10,0) c |  1 |    251 |     110362 |      50980 |    37909 |    24746 |     9092 |    54565 |     4311 | 10.431 |
104.04/19.89	c (10,0) c |  2 |    271 |     100494 |      45044 |    20184 |    18861 |     7029 |    56505 |     4783 | 10.388 |
104.04/19.89	c (10,0) c |  3 |    280 |     108198 |      46396 |    20038 |    20201 |     6941 |    56697 |     5012 | 10.431 |
104.04/19.89	c (10,0) c |  4 |    279 |     114052 |      52113 |    24748 |    13462 |     9083 |    54565 |     1268 | 10.431 |
104.04/19.89	c (10,0) c |  5 |    259 |     101130 |      45892 |    20188 |    19691 |     6694 |    56946 |     5044 | 10.431 |
104.04/19.89	c (10,0) c |  6 |    250 |     115652 |      53332 |    29657 |    14723 |     8428 |    55136 |     5282 | 10.431 |
104.04/19.89	c (10,0) c |  7 |    311 |     123640 |      54352 |    30690 |    15682 |     9564 |    53835 |     2685 | 10.388 |
104.04/19.89	c (10,0) c 
104.04/19.89	c (10,0) c synthesis      392956 conflicts    80601972 propagations    11214 conflicts/sec  2300181 propagations/sec
104.04/19.89	c (10,0) c Total Memory so far : 691.23Mb
104.04/19.89	c (10,0) c
104.04/19.89	c (10,0) c |-------------------------------------------------------------------------------------------------------|
104.04/19.89	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
104.04/19.89	c (10,0) c |-------------------------------------------------------------------------------------------------------|
104.04/19.89	c (10,0) c |  0 |    436 |     163533 |      77253 |    20167 |    23650 |    10952 |    92482 |     7766 | 11.000 |
104.04/19.89	c (10,0) c |  1 |    474 |     204737 |      98430 |    40477 |    27185 |    15695 |    88105 |     7925 | 11.000 |
104.04/19.89	c (10,0) c |  2 |    429 |     157091 |      75340 |    22349 |    21716 |    10873 |    92741 |     7340 | 11.000 |
104.04/19.89	c (10,0) c |  3 |    448 |     170000 |      80058 |    20359 |    26434 |    11544 |    92141 |     7848 | 11.000 |
104.04/19.89	c (10,0) c |  4 |    457 |     183567 |      91034 |    24876 |    19819 |    15316 |    88430 |     2359 | 11.000 |
104.04/19.89	c (10,0) c |  5 |    392 |     161955 |      80236 |    20418 |    26624 |    11357 |    91395 |     7773 | 11.000 |
104.04/19.89	c (10,0) c |  6 |    457 |     190186 |      90945 |    40985 |    19736 |    13292 |    90298 |     9182 | 11.000 |
104.04/19.89	c (10,0) c |  7 |    521 |     194571 |      91668 |    31139 |    20421 |    14818 |    88936 |     4433 | 11.000 |
104.04/19.89	c (10,0) c 
207.70/32.88	c (23,0) c synthesis      684964 conflicts   148018899 propagations     9151 conflicts/sec  1977429 propagations/sec
207.70/32.88	c (23,0) c Total Memory so far : 691.23Mb
207.70/32.88	c (23,0) c
207.70/32.88	c (23,0) c Try to adapt solver strategies
207.70/32.88	c (23,0) c 
207.70/32.88	c (23,0) c Nothing extreme in this problem, continue with glucose default strategies.
207.70/32.88	c (23,0) c
207.70/32.88	c (23,0) c
207.70/32.88	c (23,0) c Try to adapt solver strategies
207.70/32.88	c (23,0) c 
207.70/32.88	c (23,0) c Nothing extreme in this problem, continue with glucose default strategies.
207.70/32.88	c (23,0) c
207.70/32.88	c (23,0) c
207.70/32.88	c (23,0) c Try to adapt solver strategies
207.70/32.88	c (23,0) c 
207.70/32.88	c (23,0) c Nothing extreme in this problem, continue with glucose default strategies.
207.70/32.88	c (23,0) c
207.70/32.88	c (23,0) c
207.70/32.88	c (23,0) c Try to adapt solver strategies
207.70/32.88	c (23,0) c 
207.70/32.88	c (23,0) c Nothing extreme in this problem, continue with glucose default strategies.
207.70/32.88	c (23,0) c
207.70/32.88	c (23,0) c
207.70/32.88	c (23,0) c |-------------------------------------------------------------------------------------------------------|
207.70/32.88	c (23,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
207.70/32.88	c (23,0) c |-------------------------------------------------------------------------------------------------------|
207.70/32.88	c (23,0) c |  0 |    564 |     214974 |     105730 |    20343 |    34530 |    14442 |   121956 |     9989 | 11.214 |
207.70/32.88	c (23,0) c |  1 |    617 |     273005 |     136329 |    40984 |    44783 |    20476 |   115831 |    11455 | 11.214 |
207.70/32.88	c (23,0) c |  2 |    554 |     206200 |     102189 |    23527 |    30976 |    14222 |   122236 |     9555 | 11.214 |
207.70/32.88	c (23,0) c |  3 |    557 |     233586 |     118374 |    33686 |    26976 |    16650 |   119858 |    12087 | 11.214 |
207.70/32.88	c (23,0) c |  4 |    619 |     259495 |     133324 |    33405 |    41853 |    20732 |   115929 |     4129 | 11.214 |
207.70/32.88	c (23,0) c |  5 |    488 |     205362 |     105504 |    20487 |    34305 |    14247 |   121717 |     9632 | 11.214 |
207.70/32.88	c (23,0) c |  6 |    623 |     249987 |     123807 |    41105 |    32376 |    17104 |   119374 |    11830 | 11.214 |
207.70/32.88	c (23,0) c |  7 |    673 |     252668 |     124787 |    31425 |    33308 |    18811 |   117581 |     5929 | 11.214 |
207.70/32.88	c (23,0) c 
207.70/32.88	c (23,0) c synthesis      950046 conflicts   212580061 propagations     8285 conflicts/sec  1853938 propagations/sec
207.70/32.88	c (23,0) c Total Memory so far : 691.23Mb
207.70/32.88	c (23,0) c
207.70/32.88	c (23,0) c |-------------------------------------------------------------------------------------------------------|
207.70/32.88	c (23,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
207.70/32.88	c (23,0) c |-------------------------------------------------------------------------------------------------------|
207.70/32.88	c (23,0) c |  0 |    633 |     249041 |     126528 |    20383 |    35131 |    16628 |   141603 |    11024 | 11.214 |
207.70/32.88	c (23,0) c |  1 |    720 |     326065 |     167546 |    41054 |    27915 |    24374 |   134142 |    13253 | 11.214 |
207.70/32.88	c (23,0) c |  2 |    639 |     244156 |     123712 |    24701 |    32307 |    16776 |   141606 |    10690 | 11.214 |
207.70/32.88	c (23,0) c |  3 |    633 |     277249 |     144813 |    34430 |    30611 |    19298 |   139244 |    14226 | 11.214 |
207.70/32.88	c (23,0) c |  4 |    729 |     310036 |     161600 |    33620 |    47366 |    24455 |   133630 |     4620 | 11.214 |
207.70/32.88	c (23,0) c |  5 |    542 |     234254 |     123538 |    21327 |    32144 |    16244 |   141086 |    10580 | 11.214 |
207.70/32.88	c (23,0) c |  6 |    727 |     286864 |     144282 |    42228 |    30067 |    19321 |   139133 |    13086 | 11.214 |
207.70/32.88	c (23,0) c |  7 |    760 |     291852 |     147921 |    31433 |    33695 |    21482 |   137055 |     6841 | 11.214 |
207.70/32.88	c (23,0) c 
207.70/32.88	c (23,0) c synthesis     1139941 conflicts   261250731 propagations     7781 conflicts/sec  1783311 propagations/sec
207.70/32.88	c (23,0) c Total Memory so far : 691.23Mb
207.70/32.88	c (23,0) c
207.70/32.88	c (23,0) c |-------------------------------------------------------------------------------------------------------|
207.70/32.88	c (23,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
207.70/32.88	c (23,0) c |-------------------------------------------------------------------------------------------------------|
207.70/32.88	c (23,0) c |  0 |    686 |     274804 |     142068 |    20410 |    27872 |    18217 |   158748 |    11915 | 11.214 |
207.70/32.88	c (23,0) c |  1 |    808 |     371190 |     194319 |    41074 |    54688 |    27153 |   149805 |    14236 | 11.214 |
207.70/32.88	c (23,0) c |  2 |    699 |     274599 |     141797 |    24754 |    27608 |    18762 |   158311 |    11675 | 11.214 |
207.70/32.88	c (23,0) c |  3 |    716 |     321640 |     170301 |    34523 |    30714 |    21813 |   155232 |    15634 | 11.214 |
319.36/46.87	c (37,0) c |  4 |    808 |     363898 |     193492 |    40564 |    53883 |    28224 |   148737 |     8354 | 11.214 |
319.36/46.87	c (37,0) c |  5 |    592 |     256990 |     136395 |    21473 |    45002 |    17564 |   159343 |    11470 | 11.214 |
319.36/46.87	c (37,0) c |  6 |    836 |     325276 |     165015 |    42326 |    25415 |    21529 |   154965 |    14291 | 11.214 |
319.36/46.87	c (37,0) c |  7 |    879 |     329300 |     168924 |    31451 |    29317 |    23825 |   153102 |     7885 | 11.214 |
319.36/46.87	c (37,0) c 
319.36/46.87	c (37,0) c synthesis     1312311 conflicts   304378101 propagations     7358 conflicts/sec  1706676 propagations/sec
319.36/46.87	c (37,0) c Total Memory so far : 691.23Mb
319.36/46.87	c (37,0) c
319.36/46.89	c (37,0) c |-------------------------------------------------------------------------------------------------------|
319.36/46.89	c (37,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
319.36/46.89	c (37,0) c |-------------------------------------------------------------------------------------------------------|
319.36/46.89	c (37,0) c |  0 |    731 |     300546 |     158551 |    20431 |    44355 |    20079 |   174334 |    12672 | 11.236 |
319.36/46.89	c (37,0) c |  1 |    924 |     417263 |     221155 |    41077 |    53502 |    29848 |   164573 |    15097 | 11.236 |
319.36/46.89	c (37,0) c |  2 |    762 |     304683 |     159490 |    24876 |    45301 |    20600 |   173892 |    12514 | 11.236 |
319.36/46.89	c (37,0) c |  3 |    790 |     361389 |     193846 |    34598 |    54259 |    24173 |   170268 |    16965 | 11.236 |
319.36/46.89	c (37,0) c |  4 |    929 |     416257 |     222920 |    41114 |    55305 |    30692 |   163619 |     9713 | 11.236 |
319.36/46.89	c (37,0) c |  5 |    646 |     285729 |     154204 |    21480 |    40017 |    19605 |   174233 |    12454 | 11.236 |
319.36/46.89	c (37,0) c |  6 |    903 |     363240 |     188541 |    42357 |    48937 |    23508 |   170275 |    15327 | 11.236 |
319.36/46.89	c (37,0) c |  7 |    968 |     366848 |     191146 |    31471 |    51540 |    25994 |   167815 |     8960 | 11.236 |
319.36/46.89	c (37,0) c 
319.36/46.89	c (37,0) c synthesis     1489853 conflicts   349658971 propagations     7087 conflicts/sec  1663353 propagations/sec
319.36/46.89	c (37,0) c Total Memory so far : 692.92Mb
319.36/46.89	c (37,0) c
319.36/46.89	c (37,0) c |-------------------------------------------------------------------------------------------------------|
319.36/46.89	c (37,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
319.36/46.89	c (37,0) c |-------------------------------------------------------------------------------------------------------|
319.36/46.89	c (37,0) c |  0 |    792 |     334747 |     179309 |    20489 |    39713 |    22424 |   192334 |    13635 | 11.322 |
319.36/46.89	c (37,0) c |  1 |   1054 |     469625 |     252532 |    41109 |    54215 |    32948 |   182350 |    15956 | 11.322 |
319.36/46.89	c (37,0) c |  2 |    851 |     344565 |     182969 |    24927 |    43382 |    23047 |   192258 |    13514 | 11.322 |
319.36/46.89	c (37,0) c |  3 |    874 |     409500 |     222574 |    34677 |    54981 |    26861 |   186448 |    18077 | 11.322 |
319.36/46.89	c (37,0) c |  4 |   1023 |     469958 |     255132 |    41169 |    56859 |    34217 |   180976 |    10198 | 11.322 |
319.36/46.89	c (37,0) c |  5 |    696 |     316164 |     171875 |    21576 |    32284 |    21438 |   193721 |    13315 | 11.322 |
319.36/46.89	c (37,0) c |  6 |    983 |     408658 |     216183 |    42363 |    48576 |    26001 |   188805 |    16390 | 11.322 |
319.36/46.89	c (37,0) c |  7 |   1069 |     412516 |     217971 |    31768 |    50372 |    28511 |   186870 |    10606 | 11.322 |
319.36/46.89	c (37,0) c 
319.36/46.89	c (37,0) c synthesis     1698545 conflicts   402564058 propagations     6794 conflicts/sec  1610157 propagations/sec
319.36/46.89	c (37,0) c Total Memory so far : 695.50Mb
319.36/46.89	c (37,0) c
319.36/46.89	c (37,0) c |-------------------------------------------------------------------------------------------------------|
319.36/46.89	c (37,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
319.36/46.89	c (37,0) c |-------------------------------------------------------------------------------------------------------|
319.36/46.89	c (37,0) c |  0 |    843 |     363042 |     197411 |    20523 |    29819 |    24497 |   210145 |    14455 | 11.445 |
319.36/46.89	c (37,0) c |  1 |   1158 |     517974 |     282040 |    41206 |    50563 |    35810 |   198920 |    16717 | 11.445 |
319.36/46.89	c (37,0) c |  2 |    902 |     378668 |     203199 |    24936 |    35614 |    25168 |   209272 |    14328 | 11.445 |
319.36/46.89	c (37,0) c |  3 |    976 |     453142 |     249138 |    34714 |    50952 |    29417 |   205057 |    19172 | 11.445 |
319.36/46.89	c (37,0) c |  4 |   1144 |     524642 |     286613 |    41342 |    55103 |    37815 |   196340 |    10609 | 11.445 |
423.05/59.88	c (50,0) c |  5 |    759 |     347452 |     190156 |    22800 |    50565 |    23070 |   211498 |    14288 | 11.445 |
423.05/59.88	c (50,0) c |  6 |   1053 |     449956 |     241747 |    42390 |    43542 |    28189 |   206298 |    17280 | 11.445 |
423.05/59.88	c (50,0) c |  7 |   1170 |     455741 |     244141 |    31869 |    45949 |    30794 |   203544 |    11646 | 11.445 |
423.05/59.88	c (50,0) c 
423.05/59.88	c (50,0) c synthesis     1894446 conflicts   452929469 propagations     6535 conflicts/sec  1562503 propagations/sec
423.05/59.88	c (50,0) c Total Memory so far : 698.37Mb
423.05/59.88	c (50,0) c
423.05/59.88	c (50,0) c |-------------------------------------------------------------------------------------------------------|
423.05/59.88	c (50,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
423.05/59.88	c (50,0) c |-------------------------------------------------------------------------------------------------------|
423.05/59.88	c (50,0) c |  0 |    910 |     402927 |     222715 |    20579 |    55123 |    26775 |   227232 |    15315 | 11.896 |
423.05/59.88	c (50,0) c |  1 |   1269 |     567256 |     310140 |    41302 |    42902 |    38469 |   218477 |    18541 | 11.917 |
423.05/59.88	c (50,0) c |  2 |    947 |     409808 |     223059 |    24953 |    55473 |    27050 |   229357 |    15027 | 11.917 |
423.05/59.88	c (50,0) c |  3 |   1056 |     501318 |     278930 |    40437 |    47538 |    32778 |   224230 |    20135 | 11.917 |
423.05/59.88	c (50,0) c |  4 |   1267 |     592020 |     325624 |    49602 |    58033 |    42978 |   214154 |    10905 | 11.917 |
423.05/59.88	c (50,0) c |  5 |    841 |     385131 |     212804 |    22822 |    45211 |    25151 |   231481 |    15086 | 11.917 |
423.05/59.88	c (50,0) c |  6 |   1155 |     502295 |     271468 |    42734 |    40053 |    31244 |   225885 |    20766 | 11.917 |
423.05/59.88	c (50,0) c |  7 |   1231 |     491247 |     267239 |    32161 |    35844 |    32688 |   224426 |    12424 | 11.917 |
423.05/59.88	c (50,0) c 
423.05/59.88	c (50,0) c synthesis     2111980 conflicts   505815442 propagations     6406 conflicts/sec  1534282 propagations/sec
423.05/59.88	c (50,0) c Total Memory so far : 700.85Mb
423.05/59.88	c (50,0) c
423.05/59.88	c (50,0) c |-------------------------------------------------------------------------------------------------------|
423.05/59.88	c (50,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
423.05/59.88	c (50,0) c |-------------------------------------------------------------------------------------------------------|
423.05/59.88	c (50,0) c |  0 |    988 |     439761 |     244659 |    20627 |    46468 |    28657 |   248605 |    16079 | 11.939 |
423.05/59.88	c (50,0) c |  1 |   1357 |     617362 |     340762 |    41587 |    73525 |    41969 |   235157 |    21729 | 11.939 |
423.05/59.88	c (50,0) c |  2 |    997 |     438619 |     241124 |    24954 |    42938 |    28555 |   248710 |    15625 | 11.939 |
423.05/59.88	c (50,0) c |  3 |   1094 |     546956 |     308329 |    44208 |    41141 |    37174 |   240083 |    20664 | 11.939 |
423.05/59.88	c (50,0) c |  4 |   1357 |     638832 |     353335 |    51535 |    47548 |    46164 |   230876 |    11271 | 11.939 |
423.05/59.88	c (50,0) c |  5 |    893 |     407875 |     226619 |    22853 |    59026 |    26460 |   250015 |    15667 | 11.939 |
423.05/59.88	c (50,0) c |  6 |   1239 |     546604 |     298044 |    43765 |    66626 |    34002 |   243153 |    23253 | 11.939 |
423.05/59.88	c (50,0) c |  7 |   1312 |     525348 |     287712 |    32164 |    56317 |    34327 |   241723 |    13044 | 11.939 |
423.05/59.88	c (50,0) c 
423.05/59.88	c (50,0) c synthesis     2300584 conflicts   554210333 propagations     6364 conflicts/sec  1532981 propagations/sec
423.05/59.88	c (50,0) c Total Memory so far : 703.20Mb
423.05/59.88	c (50,0) c
423.05/59.88	c (50,0) c |-------------------------------------------------------------------------------------------------------|
423.05/59.88	c (50,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
423.05/59.88	c (50,0) c |-------------------------------------------------------------------------------------------------------|
423.05/59.88	c (50,0) c |  0 |   1046 |     468020 |     261951 |    20916 |    63760 |    30088 |   267210 |    16561 | 12.266 |
423.05/59.88	c (50,0) c |  1 |   1459 |     665371 |     370504 |    42210 |    64848 |    44894 |   252401 |    23282 | 12.266 |
423.05/59.88	c (50,0) c |  2 |   1062 |     465920 |     256821 |    24974 |    58635 |    29953 |   267088 |    16198 | 12.266 |
423.05/59.88	c (50,0) c |  3 |   1162 |     587425 |     333047 |    44479 |    65755 |    39997 |   257354 |    21221 | 12.266 |
423.05/59.88	c (50,0) c |  4 |   1441 |     688361 |     382329 |    51959 |    76323 |    49945 |   247298 |    11693 | 12.266 |
423.05/59.88	c (50,0) c |  5 |    952 |     436071 |     243793 |    22986 |    45604 |    27906 |   268995 |    16231 | 12.266 |
542.70/74.88	c (65,0) c |  6 |   1296 |     586270 |     323944 |    43805 |    56723 |    36095 |   260828 |    24423 | 12.266 |
542.70/74.88	c (65,0) c |  7 |   1380 |     573192 |     319020 |    41358 |    51823 |    38493 |   258796 |    15062 | 12.266 |
542.70/74.88	c (65,0) c 
542.70/74.88	c (65,0) c synthesis     2491409 conflicts   605427146 propagations     6333 conflicts/sec  1538975 propagations/sec
542.70/74.88	c (65,0) c Total Memory so far : 706.04Mb
542.70/74.88	c (65,0) c
542.70/74.88	c (65,0) c |-------------------------------------------------------------------------------------------------------|
542.70/74.88	c (65,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
542.70/74.88	c (65,0) c |-------------------------------------------------------------------------------------------------------|
542.70/74.88	c (65,0) c |  0 |   1130 |     508704 |     286708 |    21054 |    55319 |    32745 |   288119 |    17323 | 12.502 |
542.70/74.88	c (65,0) c |  1 |   1596 |     724814 |     404760 |    42878 |    58139 |    47077 |   273456 |    27814 | 12.502 |
542.70/74.88	c (65,0) c |  2 |   1116 |     497607 |     277120 |    24979 |    45736 |    31848 |   288953 |    16875 | 12.502 |
542.70/74.88	c (65,0) c |  3 |   1240 |     644887 |     368453 |    44596 |    62548 |    44303 |   276697 |    21748 | 12.502 |
542.70/74.88	c (65,0) c |  4 |   1570 |     745615 |     417034 |    52109 |    69899 |    54288 |   266780 |    12220 | 12.502 |
542.70/74.88	c (65,0) c |  5 |    990 |     461428 |     260509 |    23024 |    62320 |    29185 |   291104 |    16862 | 12.502 |
542.70/74.88	c (65,0) c |  6 |   1342 |     627561 |     351664 |    43817 |    46067 |    38329 |   282789 |    25208 | 12.502 |
542.70/74.88	c (65,0) c |  7 |   1454 |     624872 |     353952 |    41601 |    48366 |    43343 |   276728 |    15990 | 12.502 |
542.70/74.88	c (65,0) c 
542.70/74.88	c (65,0) c synthesis     2720201 conflicts   666183027 propagations     6279 conflicts/sec  1537804 propagations/sec
542.70/74.88	c (65,0) c Total Memory so far : 709.16Mb
542.70/74.88	c (65,0) c
542.70/74.88	c (65,0) c |-------------------------------------------------------------------------------------------------------|
542.70/74.88	c (65,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
542.70/74.88	c (65,0) c |-------------------------------------------------------------------------------------------------------|
542.70/74.88	c (65,0) c |  0 |   1215 |     544360 |     307322 |    24691 |    40143 |    35064 |   304390 |    18171 | 12.566 |
542.70/74.88	c (65,0) c |  1 |   1673 |     763398 |     427909 |    42904 |    81288 |    48617 |   290744 |    29831 | 12.566 |
542.70/74.88	c (65,0) c |  2 |   1185 |     526256 |     294247 |    24986 |    62863 |    33231 |   306032 |    17484 | 12.566 |
542.70/74.88	c (65,0) c |  3 |   1304 |     690452 |     398480 |    44632 |    51733 |    47356 |   291508 |    22083 | 12.566 |
542.70/74.88	c (65,0) c |  4 |   1676 |     795035 |     446188 |    52184 |    55703 |    56476 |   282948 |    14677 | 12.566 |
542.70/74.88	c (65,0) c |  5 |   1037 |     492253 |     281349 |    23064 |    49960 |    31145 |   307436 |    17597 | 12.566 |
542.70/74.88	c (65,0) c |  6 |   1419 |     671394 |     378921 |    43828 |    73324 |    40853 |   296506 |    26008 | 12.566 |
542.70/74.88	c (65,0) c |  7 |   1534 |     669264 |     383723 |    41642 |    78137 |    46717 |   291831 |    16664 | 12.566 |
542.70/74.88	c (65,0) c 
542.70/74.88	c (65,0) c synthesis     2918140 conflicts   717921901 propagations     6169 conflicts/sec  1517617 propagations/sec
542.70/74.88	c (65,0) c Total Memory so far : 711.66Mb
542.70/74.88	c (65,0) c
542.70/74.88	c (65,0) c |-------------------------------------------------------------------------------------------------------|
542.70/74.88	c (65,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
542.70/74.88	c (65,0) c |-------------------------------------------------------------------------------------------------------|
542.70/74.88	c (65,0) c |  0 |   1286 |     580756 |     330385 |    24721 |    63206 |    37032 |   322656 |    18790 | 12.588 |
542.70/74.88	c (65,0) c |  1 |   1778 |     814127 |     458452 |    42930 |    68254 |    51177 |   308350 |    31597 | 12.588 |
542.70/74.88	c (65,0) c |  2 |   1258 |     557864 |     312972 |    24988 |    45784 |    34944 |   324547 |    18122 | 12.588 |
542.70/74.88	c (65,0) c |  3 |   1379 |     735085 |     427737 |    44795 |    80969 |    50257 |   309247 |    22407 | 12.588 |
542.70/74.88	c (65,0) c |  4 |   1762 |     831840 |     468400 |    52266 |    77912 |    58013 |   301642 |    16262 | 12.588 |
542.70/74.88	c (65,0) c |  5 |   1098 |     547029 |     316321 |    38515 |    49128 |    35662 |   323944 |    22749 | 12.588 |
542.70/74.88	c (65,0) c |  6 |   1498 |     710423 |     404004 |    43890 |    57412 |    43189 |   316346 |    26853 | 12.588 |
646.40/87.88	c (78,0) c |  7 |   1635 |     715978 |     413976 |    41692 |    67390 |    49430 |   310101 |    17331 | 12.588 |
646.40/87.88	c (78,0) c 
646.40/87.88	c (78,0) c synthesis     3132248 conflicts   774787022 propagations     6107 conflicts/sec  1510596 propagations/sec
646.40/87.88	c (78,0) c Total Memory so far : 713.77Mb
646.40/87.88	c (78,0) c
646.40/87.88	c (78,0) c |-------------------------------------------------------------------------------------------------------|
646.40/87.88	c (78,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
646.40/87.88	c (78,0) c |-------------------------------------------------------------------------------------------------------|
646.40/87.88	c (78,0) c |  0 |   1325 |     605345 |     346291 |    24721 |    40706 |    38434 |   333222 |    19260 | 12.588 |
646.40/87.88	c (78,0) c |  1 |   1867 |     845989 |     476468 |    42939 |    86270 |    52815 |   319134 |    32453 | 12.588 |
646.40/87.88	c (78,0) c |  2 |   1302 |     583662 |     329255 |    25026 |    62067 |    36279 |   336128 |    18483 | 12.588 |
646.40/87.88	c (78,0) c |  3 |   1426 |     768226 |     449927 |    44996 |    59651 |    52158 |   318168 |    22691 | 12.588 |
646.40/87.88	c (78,0) c |  4 |   1832 |     856327 |     482510 |    52298 |    92022 |    58990 |   313378 |    17456 | 12.588 |
646.40/87.88	c (78,0) c |  5 |   1110 |     575671 |     338809 |    39967 |    71617 |    38026 |   326113 |    23773 | 12.588 |
646.40/87.88	c (78,0) c |  6 |   1559 |     742786 |     424469 |    43898 |    77877 |    45128 |   327222 |    27531 | 12.588 |
646.40/87.88	c (78,0) c |  7 |   1681 |     744720 |     433130 |    41693 |    86544 |    50609 |   321326 |    17928 | 12.588 |
646.40/87.88	c (78,0) c 
646.40/87.88	c (78,0) c synthesis     3280862 conflicts   817826134 propagations     6023 conflicts/sec  1501309 propagations/sec
646.40/87.88	c (78,0) c Total Memory so far : 716.39Mb
646.40/87.88	c (78,0) c
646.40/87.88	c (78,0) c |-------------------------------------------------------------------------------------------------------|
646.40/87.88	c (78,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
646.40/87.88	c (78,0) c |-------------------------------------------------------------------------------------------------------|
646.40/87.88	c (78,0) c |  0 |   1354 |     630628 |     363237 |    24922 |    57652 |    39748 |   349014 |    19629 | 12.588 |
646.40/87.88	c (78,0) c |  1 |   1930 |     881604 |     500056 |    42981 |    63662 |    55328 |   333436 |    33593 | 12.588 |
646.40/87.88	c (78,0) c |  2 |   1332 |     604471 |     342450 |    25055 |    75262 |    37458 |   347000 |    18813 | 12.588 |
646.40/87.88	c (78,0) c |  3 |   1488 |     800413 |     471011 |    45020 |    80736 |    53985 |   334311 |    22943 | 12.588 |
646.40/87.88	c (78,0) c |  4 |   1923 |     891983 |     503923 |    52321 |    67385 |    60344 |   328246 |    18405 | 12.588 |
646.40/87.88	c (78,0) c |  5 |   1178 |     620031 |     368641 |    40496 |    63048 |    41339 |   347099 |    25509 | 12.588 |
646.40/87.88	c (78,0) c |  6 |   1623 |     775452 |     445076 |    43903 |    54887 |    47019 |   341747 |    28040 | 12.588 |
646.40/87.88	c (78,0) c |  7 |   1761 |     785737 |     459346 |    41922 |    69155 |    53546 |   335215 |    19069 | 12.588 |
646.40/87.88	c (78,0) c 
646.40/87.88	c (78,0) c synthesis     3453740 conflicts   865898455 propagations     5990 conflicts/sec  1501657 propagations/sec
646.40/87.88	c (78,0) c Total Memory so far : 717.85Mb
646.40/87.88	c (78,0) c
646.40/87.88	c (78,0) c |-------------------------------------------------------------------------------------------------------|
646.40/87.88	c (78,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
646.40/87.88	c (78,0) c |-------------------------------------------------------------------------------------------------------|
646.40/87.88	c (78,0) c |  0 |   1397 |     657738 |     381854 |    24924 |    76269 |    41286 |   368817 |    20093 | 12.609 |
646.40/87.88	c (78,0) c |  1 |   2018 |     926047 |     528223 |    43178 |    91829 |    58503 |   351057 |    34980 | 12.609 |
646.40/87.88	c (78,0) c |  2 |   1363 |     653674 |     377321 |    31381 |    71733 |    42098 |   363311 |    21425 | 12.609 |
646.40/87.88	c (78,0) c |  3 |   1564 |     840389 |     496836 |    45030 |    60403 |    56245 |   353727 |    23162 | 12.609 |
646.40/87.88	c (78,0) c |  4 |   2006 |     926113 |     524764 |    52347 |    88214 |    61689 |   348126 |    19259 | 12.609 |
646.40/87.88	c (78,0) c |  5 |   1272 |     664594 |     398059 |    40599 |    51466 |    44323 |   365258 |    26916 | 12.609 |
646.40/87.88	c (78,0) c |  6 |   1677 |     809847 |     468464 |    43904 |    78275 |    49081 |   359439 |    28683 | 12.609 |
646.40/87.88	c (78,0) c |  7 |   1848 |     828830 |     488348 |    41940 |    51959 |    56999 |   353192 |    19806 | 12.609 |
646.40/87.88	c (78,0) c 
758.06/101.88	c (92,0) c synthesis     3663870 conflicts   925116612 propagations     5943 conflicts/sec  1500626 propagations/sec
758.06/101.88	c (92,0) c Total Memory so far : 721.12Mb
758.06/101.88	c (92,0) c
758.06/101.88	c (92,0) c |-------------------------------------------------------------------------------------------------------|
758.06/101.88	c (92,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
758.06/101.88	c (92,0) c |-------------------------------------------------------------------------------------------------------|
758.06/101.88	c (92,0) c |  0 |   1454 |     691082 |     403366 |    24948 |    56778 |    43047 |   385606 |    20542 | 12.668 |
758.06/101.88	c (92,0) c |  1 |   2101 |     970773 |     556714 |    43188 |    71530 |    60255 |   368286 |    36359 | 12.668 |
758.06/101.88	c (92,0) c |  2 |   1425 |     707341 |     412459 |    41282 |    65870 |    45707 |   383133 |    24652 | 12.668 |
758.06/101.88	c (92,0) c |  3 |   1643 |     879019 |     521381 |    45045 |    84931 |    58671 |   370276 |    23407 | 12.668 |
758.06/101.88	c (92,0) c |  4 |   2082 |     960094 |     545960 |    52350 |    60690 |    63169 |   365562 |    20009 | 12.668 |
758.06/101.88	c (92,0) c |  5 |   1360 |     715609 |     429656 |    40679 |    83063 |    46885 |   381988 |    28593 | 12.668 |
758.06/101.88	c (92,0) c |  6 |   1768 |     848477 |     492653 |    43909 |    56259 |    51378 |   377250 |    30015 | 12.668 |
758.06/101.88	c (92,0) c |  7 |   1935 |     872645 |     518112 |    41983 |    81722 |    59878 |   368686 |    20811 | 12.668 |
758.06/101.88	c (92,0) c 
758.06/101.88	c (92,0) c synthesis     3880302 conflicts   982266609 propagations     5912 conflicts/sec  1496592 propagations/sec
758.06/101.88	c (92,0) c Total Memory so far : 723.08Mb
758.06/101.88	c (92,0) c
758.06/101.88	c (92,0) c |-------------------------------------------------------------------------------------------------------|
758.06/101.88	c (92,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
758.06/101.88	c (92,0) c |-------------------------------------------------------------------------------------------------------|
758.06/101.88	c (92,0) c |  0 |   1524 |     720775 |     422317 |    24948 |    75729 |    44688 |   401191 |    20944 | 12.792 |
758.06/101.88	c (92,0) c |  1 |   2180 |    1002338 |     576351 |    43188 |    91167 |    61396 |   384265 |    37353 | 12.792 |
758.06/101.88	c (92,0) c |  2 |   1488 |     750846 |     441666 |    41927 |    51476 |    48381 |   397442 |    26313 | 12.792 |
758.06/101.88	c (92,0) c |  3 |   1705 |     912696 |     543631 |    45049 |    58408 |    60840 |   384018 |    23888 | 12.765 |
758.06/101.88	c (92,0) c |  4 |   2145 |    1003812 |     574737 |    58203 |    89459 |    66847 |   378825 |    20802 | 12.792 |
758.06/101.88	c (92,0) c |  5 |   1431 |     754784 |     454920 |    40685 |    64733 |    48445 |   394324 |    29452 | 12.668 |
758.06/101.88	c (92,0) c |  6 |   1825 |     881533 |     514669 |    43928 |    78272 |    53230 |   392021 |    30546 | 12.765 |
758.06/101.88	c (92,0) c |  7 |   2003 |     908889 |     543418 |    41999 |    58221 |    62087 |   383702 |    21321 | 12.792 |
758.06/101.88	c (92,0) c 
758.06/101.88	c (92,0) c synthesis     4071709 conflicts  1037227932 propagations     5848 conflicts/sec  1489821 propagations/sec
758.06/101.88	c (92,0) c Total Memory so far : 725.17Mb
758.06/101.88	c (92,0) c
758.06/101.88	c (92,0) c |-------------------------------------------------------------------------------------------------------|
758.06/101.88	c (92,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
758.06/101.88	c (92,0) c |-------------------------------------------------------------------------------------------------------|
758.06/101.88	c (92,0) c |  0 |   1572 |     740028 |     434214 |    24948 |    44026 |    45647 |   414604 |    21236 | 13.060 |
758.06/101.88	c (92,0) c |  1 |   2222 |    1025608 |     591261 |    43194 |    54678 |    62305 |   397825 |    37945 | 13.060 |
758.06/101.88	c (92,0) c |  2 |   1522 |     779670 |     462401 |    41984 |    72209 |    50044 |   406624 |    27088 | 13.017 |
758.06/101.88	c (92,0) c |  3 |   1740 |     939051 |     561699 |    45050 |    76454 |    62436 |   397847 |    24312 | 13.060 |
758.06/101.88	c (92,0) c |  4 |   2206 |    1061813 |     611295 |    61538 |    74541 |    72249 |   387465 |    21278 | 13.060 |
758.06/101.88	c (92,0) c |  5 |   1486 |     778144 |     470015 |    40705 |    79827 |    49341 |   410873 |    29978 | 13.060 |
758.06/101.88	c (92,0) c |  6 |   1870 |     905987 |     530269 |    43928 |    93867 |    54545 |   405749 |    30991 | 13.060 |
758.06/101.88	c (92,0) c |  7 |   2056 |     941049 |     566180 |    42012 |    80966 |    63773 |   396509 |    21648 | 13.060 |
758.06/101.88	c (92,0) c 
758.06/101.88	c (92,0) c synthesis     4227335 conflicts  1081522021 propagations     5806 conflicts/sec  1485397 propagations/sec
909.63/120.88	c (111,0) c Total Memory so far : 727.65Mb
909.63/120.88	c (111,0) c
909.63/120.88	c (111,0) c |-------------------------------------------------------------------------------------------------------|
909.63/120.88	c (111,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
909.63/120.88	c (111,0) c |-------------------------------------------------------------------------------------------------------|
909.63/120.88	c (111,0) c |  0 |   1614 |     766659 |     451726 |    24949 |    61538 |    46991 |   424893 |    21533 | 13.103 |
909.63/120.88	c (111,0) c |  1 |   2311 |    1057213 |     610436 |    43204 |    73853 |    63706 |   409760 |    38468 | 13.103 |
909.63/120.88	c (111,0) c |  2 |   1556 |     804425 |     479735 |    41994 |    89543 |    51292 |   422385 |    27726 | 13.146 |
909.63/120.88	c (111,0) c |  3 |   1786 |     963283 |     577819 |    45051 |    92575 |    63958 |   409440 |    24779 | 13.103 |
909.63/120.88	c (111,0) c |  4 |   2247 |    1104824 |     640561 |    67266 |   103762 |    76031 |   397562 |    21444 | 13.146 |
909.63/120.88	c (111,0) c |  5 |   1530 |     801139 |     484495 |    40843 |    48113 |    50211 |   423068 |    30425 | 13.103 |
909.63/120.88	c (111,0) c |  6 |   1926 |     935615 |     550061 |    43929 |    64861 |    56175 |   417292 |    31354 | 13.103 |
909.63/120.88	c (111,0) c |  7 |   2139 |     971412 |     585002 |    42314 |    99784 |    65333 |   408268 |    22559 | 13.146 |
909.63/120.88	c (111,0) c 
909.63/120.88	c (111,0) c synthesis     4379835 conflicts  1125279122 propagations     5763 conflicts/sec  1480653 propagations/sec
909.63/120.88	c (111,0) c Total Memory so far : 730.39Mb
909.63/120.88	c (111,0) c
909.63/120.88	c (111,0) c |-------------------------------------------------------------------------------------------------------|
909.63/120.88	c (111,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
909.63/120.88	c (111,0) c |-------------------------------------------------------------------------------------------------------|
909.63/120.88	c (111,0) c |  0 |   1654 |     793695 |     469980 |    24950 |    79792 |    48468 |   444734 |    21868 | 13.913 |
909.63/120.88	c (111,0) c |  1 |   2370 |    1087891 |     630428 |    43204 |    93845 |    65395 |   427758 |    38940 | 13.913 |
909.63/120.88	c (111,0) c |  2 |   1636 |     850040 |     509199 |    42006 |    72815 |    54258 |   438976 |    28602 | 13.913 |
909.63/120.88	c (111,0) c |  3 |   1838 |     997804 |     601115 |    45051 |    64503 |    66234 |   426667 |    25325 | 13.913 |
909.63/120.88	c (111,0) c |  4 |   2392 |    1187691 |     682207 |    71489 |    91115 |    80837 |   412346 |    21448 | 13.913 |
909.63/120.88	c (111,0) c |  5 |   1628 |     835512 |     505756 |    40847 |    69374 |    51853 |   441360 |    30970 | 13.913 |
909.63/120.88	c (111,0) c |  6 |   2006 |     967404 |     570510 |    43955 |    85276 |    57779 |   435283 |    31784 | 13.913 |
909.63/120.88	c (111,0) c |  7 |   2249 |    1025428 |     619802 |    42371 |    83187 |    68435 |   424666 |    25432 | 13.913 |
909.63/120.88	c (111,0) c 
909.63/120.88	c (111,0) c synthesis     4588997 conflicts  1183144375 propagations     5737 conflicts/sec  1479220 propagations/sec
909.63/120.88	c (111,0) c Total Memory so far : 732.75Mb
909.63/120.88	c (111,0) c
909.63/120.88	c (111,0) c |-------------------------------------------------------------------------------------------------------|
909.63/120.88	c (111,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
909.63/120.88	c (111,0) c |-------------------------------------------------------------------------------------------------------|
909.63/120.88	c (111,0) c |  0 |   1691 |     818832 |     486963 |    24950 |    50583 |    49793 |   455782 |    22200 | 14.026 |
909.63/120.88	c (111,0) c |  1 |   2396 |    1113095 |     647750 |    43233 |    57170 |    66904 |   440653 |    39405 | 14.026 |
909.63/120.88	c (111,0) c |  2 |   1695 |     883369 |     531169 |    42061 |    94786 |    56541 |   450595 |    29263 | 14.026 |
909.63/120.88	c (111,0) c |  3 |   1905 |    1028682 |     621326 |    45055 |    84714 |    68160 |   439872 |    25743 | 14.026 |
909.63/120.88	c (111,0) c |  4 |   2491 |    1235154 |     708355 |    71651 |    60874 |    83419 |   424611 |    21451 | 14.026 |
909.63/120.88	c (111,0) c |  5 |   1689 |     864078 |     523268 |    40850 |    86886 |    53226 |   454401 |    31400 | 14.026 |
909.63/120.88	c (111,0) c |  6 |   2078 |     992652 |     586507 |    43960 |   101273 |    59063 |   448885 |    32135 | 14.026 |
909.63/120.88	c (111,0) c |  7 |   2332 |    1062802 |     644605 |    42373 |    53999 |    70961 |   436669 |    26405 | 14.026 |
909.63/120.88	c (111,0) c 
909.63/120.88	c (111,0) c synthesis     4749946 conflicts  1228132162 propagations     5657 conflicts/sec  1462567 propagations/sec
909.63/120.88	c (111,0) c Total Memory so far : 736.02Mb
909.63/120.88	c (111,0) c
1013.32/133.87	c (124,0) c |-------------------------------------------------------------------------------------------------------|
1013.32/133.87	c (124,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1013.32/133.87	c (124,0) c |-------------------------------------------------------------------------------------------------------|
1013.32/133.87	c (124,0) c |  0 |   1720 |     846253 |     507267 |    24950 |    70887 |    51344 |   472836 |    22445 | 14.214 |
1013.32/133.87	c (124,0) c |  1 |   2461 |    1148184 |     670863 |    43233 |    80283 |    68858 |   455626 |    39905 | 14.214 |
1013.32/133.87	c (124,0) c |  2 |   1764 |     923335 |     558186 |    42061 |    73003 |    58620 |   466061 |    29901 | 14.214 |
1013.32/133.87	c (124,0) c |  3 |   1958 |    1056329 |     639562 |    45181 |   102950 |    69951 |   454772 |    26189 | 14.214 |
1013.32/133.87	c (124,0) c |  4 |   2622 |    1295894 |     741263 |    72062 |    93472 |    86210 |   438556 |    21569 | 14.214 |
1013.32/133.87	c (124,0) c |  5 |   1735 |     890489 |     541283 |    40899 |    56095 |    54511 |   470164 |    31771 | 14.214 |
1013.32/133.87	c (124,0) c |  6 |   2160 |    1030678 |     610587 |    43967 |    73974 |    60973 |   463783 |    32562 | 14.214 |
1013.32/133.87	c (124,0) c |  7 |   2411 |    1117508 |     681607 |    50216 |    91000 |    74301 |   450268 |    27750 | 14.214 |
1013.32/133.87	c (124,0) c 
1013.32/133.87	c (124,0) c synthesis     4950620 conflicts  1283972206 propagations     5628 conflicts/sec  1459756 propagations/sec
1013.32/133.87	c (124,0) c Total Memory so far : 737.20Mb
1013.32/133.87	c (124,0) c
1013.32/133.87	c (124,0) c |-------------------------------------------------------------------------------------------------------|
1013.32/133.87	c (124,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1013.32/133.87	c (124,0) c |-------------------------------------------------------------------------------------------------------|
1013.32/133.87	c (124,0) c |  0 |   1749 |     865573 |     520544 |    24973 |    84164 |    52386 |   484810 |    22688 | 14.214 |
1013.32/133.87	c (124,0) c |  1 |   2505 |    1170923 |     685757 |    43233 |    95176 |    70000 |   467454 |    40227 | 14.214 |
1013.32/133.87	c (124,0) c |  2 |   1805 |     948230 |     575573 |    42061 |    90389 |    59832 |   476825 |    30289 | 14.214 |
1013.32/133.87	c (124,0) c |  3 |   2013 |    1083999 |     658103 |    45185 |    67508 |    71451 |   465992 |    26532 | 14.214 |
1013.32/133.87	c (124,0) c |  4 |   2707 |    1341187 |     765654 |    72914 |    58968 |    88179 |   448853 |    23904 | 14.214 |
1013.32/133.87	c (124,0) c |  5 |   1776 |     914574 |     557609 |    40908 |    72420 |    55853 |   481460 |    32118 | 14.214 |
1013.32/133.87	c (124,0) c |  6 |   2209 |    1054816 |     626432 |    44000 |    89819 |    62322 |   475165 |    32836 | 14.214 |
1013.32/133.87	c (124,0) c |  7 |   2463 |    1156662 |     708901 |    51203 |    61703 |    77467 |   459959 |    28360 | 14.214 |
1013.32/133.87	c (124,0) c 
1013.32/133.87	c (124,0) c synthesis     5098573 conflicts  1327074084 propagations     5594 conflicts/sec  1455984 propagations/sec
1013.32/133.87	c (124,0) c Total Memory so far : 768.71Mb
1013.32/133.87	c (124,0) c
1013.32/133.87	c (124,0) c |-------------------------------------------------------------------------------------------------------|
1013.32/133.87	c (124,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1013.32/133.87	c (124,0) c |-------------------------------------------------------------------------------------------------------|
1013.32/133.87	c (124,0) c |  0 |   1772 |     882579 |     532149 |    24998 |    95769 |    53242 |   496462 |    22991 | 14.278 |
1013.32/133.87	c (124,0) c |  1 |   2555 |    1190845 |     698253 |    43234 |   107673 |    70922 |   478470 |    40528 | 14.278 |
1013.32/133.87	c (124,0) c |  2 |   1842 |     972346 |     592449 |    42063 |    55861 |    61080 |   488607 |    30807 | 14.278 |
1013.32/133.87	c (124,0) c |  3 |   2060 |    1108554 |     674942 |    45185 |    84347 |    72988 |   476727 |    27003 | 14.278 |
1013.32/133.87	c (124,0) c |  4 |   2788 |    1384333 |     792863 |    73183 |    86084 |    90419 |   459127 |    27806 | 14.278 |
1013.32/133.87	c (124,0) c |  5 |   1794 |     935282 |     572342 |    40922 |    87154 |    57008 |   492289 |    32409 | 14.278 |
1013.32/133.87	c (124,0) c |  6 |   2272 |    1082663 |     643629 |    44031 |   107016 |    63630 |   485950 |    33856 | 14.278 |
1013.32/133.87	c (124,0) c |  7 |   2531 |    1198020 |     735627 |    51341 |    88398 |    80457 |   469217 |    28746 | 14.278 |
1013.32/133.87	c (124,0) c 
1013.32/133.87	c (124,0) c synthesis     5242254 conflicts  1369012080 propagations     5557 conflicts/sec  1451208 propagations/sec
1013.32/133.87	c (124,0) c Total Memory so far : 770.16Mb
1013.32/133.87	c (124,0) c
1013.32/133.87	c (124,0) c |-------------------------------------------------------------------------------------------------------|
1124.98/147.87	c (138,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1124.98/147.87	c (138,0) c |-------------------------------------------------------------------------------------------------------|
1124.98/147.87	c (138,0) c |  0 |   1785 |     908213 |     551660 |    24998 |    66478 |    54509 |   507383 |    23307 | 14.300 |
1124.98/147.87	c (138,0) c |  1 |   2632 |    1223964 |     719490 |    43262 |    72307 |    72446 |   491673 |    40855 | 14.300 |
1124.98/147.87	c (138,0) c |  2 |   1918 |    1007954 |     615996 |    42213 |    79407 |    63206 |   500815 |    31575 | 14.300 |
1124.98/147.87	c (138,0) c |  3 |   2125 |    1135054 |     692366 |    45187 |   101771 |    74546 |   488704 |    27596 | 14.300 |
1124.98/147.87	c (138,0) c |  4 |   2869 |    1421728 |     816953 |    73227 |   110122 |    92311 |   471900 |    29904 | 14.300 |
1124.98/147.87	c (138,0) c |  5 |   1817 |     956996 |     587745 |    40937 |   102557 |    58351 |   505551 |    32757 | 14.300 |
1124.98/147.87	c (138,0) c |  6 |   2344 |    1118456 |     667354 |    44044 |    76762 |    65435 |   498793 |    34722 | 14.300 |
1124.98/147.87	c (138,0) c |  7 |   2582 |    1235295 |     761163 |    51423 |   113910 |    83453 |   480413 |    29042 | 14.300 |
1124.98/147.87	c (138,0) c 
1124.98/147.87	c (138,0) c synthesis     5412728 conflicts  1418245682 propagations     5505 conflicts/sec  1442432 propagations/sec
1124.98/147.87	c (138,0) c Total Memory so far : 834.16Mb
1124.98/147.87	c (138,0) c
1124.98/147.87	c (138,0) c |-------------------------------------------------------------------------------------------------------|
1124.98/147.87	c (138,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1124.98/147.87	c (138,0) c |-------------------------------------------------------------------------------------------------------|
1124.98/147.87	c (138,0) c |  0 |   1832 |     932151 |     567584 |    25027 |    82402 |    55569 |   521990 |    23651 | 14.300 |
1124.98/147.87	c (138,0) c |  1 |   2710 |    1254489 |     739230 |    43282 |    92047 |    73968 |   503313 |    41111 | 14.300 |
1124.98/147.87	c (138,0) c |  2 |   1974 |    1037523 |     635147 |    42545 |    98559 |    65161 |   512238 |    32250 | 14.300 |
1124.98/147.87	c (138,0) c |  3 |   2158 |    1161548 |     711556 |    45188 |    64368 |    76120 |   501327 |    28035 | 14.300 |
1124.98/147.87	c (138,0) c |  4 |   2940 |    1457508 |     839750 |    73246 |    71340 |    93830 |   483660 |    31376 | 14.300 |
1124.98/147.87	c (138,0) c |  5 |   1856 |     985031 |     607243 |    40954 |    70651 |    59792 |   517760 |    33071 | 14.300 |
1124.98/147.87	c (138,0) c |  6 |   2410 |    1148609 |     686745 |    44045 |    96153 |    66933 |   510542 |    35374 | 14.300 |
1124.98/147.87	c (138,0) c |  7 |   2686 |    1280175 |     789470 |    51439 |    83045 |    86204 |   491022 |    29337 | 14.300 |
1124.98/147.87	c (138,0) c 
1124.98/147.87	c (138,0) c synthesis     5576726 conflicts  1465590098 propagations     5451 conflicts/sec  1432507 propagations/sec
1124.98/147.87	c (138,0) c Total Memory so far : 863.82Mb
1124.98/147.87	c (138,0) c
1124.98/147.87	c (138,0) c |-------------------------------------------------------------------------------------------------------|
1124.98/147.87	c (138,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1124.98/147.87	c (138,0) c |-------------------------------------------------------------------------------------------------------|
1124.98/147.87	c (138,0) c |  0 |   1879 |     953506 |     581169 |    25051 |    95987 |    56550 |   533257 |    24025 | 14.300 |
1124.98/147.87	c (138,0) c |  1 |   2783 |    1290762 |     762884 |    43406 |   115701 |    75952 |   514291 |    41932 | 14.300 |
1124.98/147.87	c (138,0) c |  2 |   2028 |    1070021 |     657796 |    42548 |    67204 |    67294 |   522947 |    32877 | 14.300 |
1124.98/147.87	c (138,0) c |  3 |   2225 |    1192475 |     732325 |    45189 |    85137 |    77788 |   512474 |    28538 | 14.300 |
1124.98/147.87	c (138,0) c |  4 |   3024 |    1496581 |     864363 |    73268 |    95953 |    95456 |   494866 |    32570 | 14.300 |
1124.98/147.87	c (138,0) c |  5 |   1897 |    1009825 |     623737 |    41004 |    87145 |    61013 |   529094 |    33442 | 14.300 |
1124.98/147.87	c (138,0) c |  6 |   2505 |    1182923 |     708130 |    44147 |    60936 |    68505 |   521798 |    35894 | 14.300 |
1124.98/147.87	c (138,0) c |  7 |   2744 |    1317496 |     815337 |    51475 |   108912 |    87771 |   502415 |    29766 | 14.300 |
1124.98/147.87	c (138,0) c 
1124.98/147.87	c (138,0) c synthesis     5745741 conflicts  1514341859 propagations     5405 conflicts/sec  1424641 propagations/sec
1124.98/147.87	c (138,0) c Total Memory so far : 863.82Mb
1124.98/147.87	c (138,0) c
1124.98/147.87	c (138,0) c |-------------------------------------------------------------------------------------------------------|
1124.98/147.87	c (138,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1187.99/155.74	c (145,0) c |-------------------------------------------------------------------------------------------------------|
1187.99/155.74	c (145,0) c |  0 |   1915 |     973628 |     594612 |    25051 |    58024 |    57701 |   544529 |    24276 | 14.300 |
1187.99/155.74	c (145,0) c |  1 |   2851 |    1323913 |     784938 |    43443 |    78558 |    77769 |   525025 |    42643 | 14.300 |
1187.99/155.74	c (145,0) c |  2 |   2088 |    1097701 |     675958 |    42550 |    85366 |    68960 |   533710 |    33469 | 14.300 |
1187.99/155.74	c (145,0) c |  3 |   2249 |    1214413 |     748264 |    45212 |   101076 |    79241 |   522623 |    28930 | 14.300 |
1187.99/155.74	c (145,0) c |  4 |   3088 |    1521193 |     880004 |    73271 |   111594 |    96521 |   506272 |    33477 | 14.300 |
1187.99/155.74	c (145,0) c |  5 |   1906 |    1042806 |     649498 |    41291 |    58910 |    63649 |   538923 |    33923 | 14.300 |
1187.99/155.74	c (145,0) c |  6 |   2580 |    1215991 |     729315 |    44195 |    82121 |    70115 |   531669 |    36259 | 14.300 |
1187.99/155.74	c (145,0) c |  7 |   2794 |    1344387 |     832901 |    51556 |    64703 |    88868 |   513298 |    30217 | 14.300 |
1187.99/155.74	c (145,0) c 
1187.99/155.74	c (145,0) c synthesis     5895492 conflicts  1556393209 propagations     5385 conflicts/sec  1421556 propagations/sec
1187.99/155.74	c (145,0) c Total Memory so far : 799.82Mb
1187.99/155.74	c (145,0) c
1187.99/155.74	c (145,0) c |-------------------------------------------------------------------------------------------------------|
1187.99/155.74	c (145,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1187.99/155.74	c (145,0) c |-------------------------------------------------------------------------------------------------------|
1187.99/155.74	c (145,0) c |  0 |   1933 |     994180 |     609697 |    25070 |    73109 |    59360 |   548392 |    24478 | 14.300 |
1187.99/155.74	c (145,0) c |  1 |   2889 |    1352706 |     804498 |    43448 |    98118 |    79508 |   539721 |    43303 | 14.300 |
1187.99/155.74	c (145,0) c |  2 |   2124 |    1120034 |     691500 |    42553 |   100908 |    70377 |   552675 |    33937 | 14.359 |
1187.99/155.74	c (145,0) c |  3 |   2279 |    1234179 |     761917 |    45212 |   114729 |    80443 |   542897 |    29394 | 14.359 |
1187.99/155.74	c (145,0) c |  4 |   3150 |    1542733 |     892907 |    73273 |   124447 |    97452 |   525985 |    34183 | 14.359 |
1187.99/155.74	c (145,0) c |  5 |   1937 |    1118303 |     700836 |    42169 |   110248 |    72247 |   545456 |    34585 | 14.300 |
1187.99/155.74	c (145,0) c |  6 |   2629 |    1262690 |     760932 |    45291 |   113737 |    74582 |   549186 |    36985 | 14.359 |
1187.99/155.74	c (145,0) c |  7 |   2839 |    1373048 |     852734 |    51564 |    84509 |    89949 |   533754 |    30512 | 14.359 |
1187.99/155.74	c (145,0) c 
1187.99/155.74	c (145,0) c synthesis     6075021 conflicts  1597214915 propagations     5392 conflicts/sec  1417569 propagations/sec
1187.99/155.74	c (145,0) c Total Memory so far : 923.09Mb
1187.99/155.74	c (145,0) c Thread 6 is 100% pure glucose! First thread to finish! (UNSAT answer).
1187.99/155.74	c (145,0) c Total Memory so far : 859.09Mb
1187.99/155.74	c (145,0) c
1187.99/155.74	c (145,0) c real time : 145.531 s
1187.99/155.74	c (145,0) c cpu time  : 1157.59 s
1187.99/155.74	c (145,0) c
1187.99/155.74	c (145,0) c
1187.99/155.74	c (145,0) c
1187.99/155.74	c (145,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1187.99/155.74	c (145,0) c
1187.99/155.74	c (145,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1187.99/155.74	c (145,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1187.99/155.74	c (145,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1187.99/155.74	c (145,0) c | Conflicts     |         6337048 |     623024 |     820296 |     705764 |     778361 |     909860 |     779792 |     852259 |     867692 |
1187.99/155.74	c (145,0) c | Decisions     |        10357977 |    1010240 |    1376822 |    1140845 |    1259224 |    1568870 |    1221183 |    1385195 |    1395598 |
1187.99/155.74	c (145,0) c | Propagations  |      1635256353 |  162885064 |  209233356 |  190472904 |  213348041 |  235073444 |  189007346 |  200213886 |  235022312 |
1187.99/155.74	c (145,0) c | Avg_Trail     |                 |       4294 |       4352 |       4364 |       4354 |       4464 |       4158 |       4148 |       4452 |
1187.99/155.74	c (145,0) c | Avg_DL        |                 |         42 |         45 |         43 |         43 |         48 |         40 |         41 |         44 |
1187.99/155.74	c (145,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1187.99/155.74	c (145,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1187.99/155.74	c (145,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1187.99/155.74	c (145,0) c | Exported      |          650618 |      60767 |      80986 |      71666 |      81878 |      98554 |      76951 |      89026 |      90790 |
1187.99/155.74	c (145,0) c | Imported      |         4478163 |     548392 |     568537 |     578111 |     568253 |     550637 |     545456 |     561591 |     557186 |
1187.99/155.74	c (145,0) c | Good          |           10376 |       1380 |       1354 |       1431 |       1300 |        860 |       1391 |       1394 |       1266 |
1187.99/155.74	c (145,0) c | Purge         |         4467787 |     547012 |     567183 |     576680 |     566953 |     549777 |     544065 |     560197 |     555920 |
1187.99/155.74	c (145,0) c | Promoted      |          270477 |      24580 |      43868 |      34344 |      29848 |      34988 |      34637 |      37380 |      30832 |
1187.99/155.74	c (145,0) c | Remove_Imp    |         3342379 |     431339 |     390351 |     455346 |     424119 |     404903 |     428047 |     424705 |     383569 |
1187.99/155.74	c (145,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1187.99/155.74	c (145,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1187.99/155.74	c (145,0) c | Unaries       |                 |         43 |         32 |         20 |         29 |         83 |         20 |         41 |         24 |
1187.99/155.74	c (145,0) c | Binaries      |                 |         67 |        138 |         65 |        210 |        630 |         66 |        128 |        218 |
1187.99/155.74	c (145,0) c | Glues         |                 |        833 |       1681 |       1512 |       2302 |       4098 |       1410 |       1498 |       2453 |
1187.99/155.74	c (145,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1187.99/155.75	c (145,0) c | Orig_Seen     |            32 % |      25070 |      43466 |      42554 |      45213 |      73274 |      42284 |      46111 |      51590 |
1187.99/155.75	c (145,0) c | Diff Orig seen|                 | -    21041 | -     2645 | -     3557 | -      898 |      27163 | -     3827 |      X     |       5479 |
1187.99/155.75	c (145,0) c | Hamming       |            14 % |       2760 |       2721 |       2830 |       2968 |       3242 |       2081 |      X     |       2659 |
1187.99/155.75	c (145,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1187.99/155.75	c (145,0) 
1187.99/155.75	c (145,0) s UNSATISFIABLE
1187.99/155.77	c (145,0) SatSolver.solve End
1187.99/155.77	c (145,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1187.99/155.77	c (145,0) Show results Begin
1187.99/155.77	s UNSATISFIABLE
1187.99/155.77	c (145,0) Show results End
1187.99/155.77	c (145,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
1187.99/155.77	c (145,0) 145,145,STOP-AFTER(ALL)
1187.99/155.77	c END-Prog: Mon Aug 13 22:27:49 CEST 2018

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12433 MiB free)
  memory of node 1: 16384 MiB (10106 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307431-1534191914/watcher-4307431-1534191914 -o /tmp/evaluation-result-4307431-1534191914/solver-4307431-1534191914 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1534191883-7330 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307431-1534191914.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=7470, runsolver pid=7467
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 2.82 1.42 1.18 2/200 7492
/proc/meminfo: memFree=22985448/32770624 swapFree=67108860/67108860
[pid=7470] ppid=7467 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7470/stat : 7470 (scop.sh) S 7467 7470 7303 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236754546 115843072 348 33554432000 4194304 5098028 140728602889216 140728602886472 140382124581500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33947648 140728602891299 140728602891523 140728602891523 140728602894285 0
/proc/7470/statm: 28282 348 296 221 0 87 0
[pid=7473] ppid=7470 vsize=27313900 memory=107364 CPUtime=0.1 cores=0-7
/proc/7473/stat : 7473 (java) S 7470 7470 7303 0 -1 1077944320 6828 0 0 0 8 2 0 0 20 0 20 0 236754546 27969433600 26841 33554432000 4194304 4196468 140732488368368 140732488350912 140157754846967 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
/proc/7473/statm: 6828475 26841 2734 1 0 6790935 0
[pid=7473/tid=7474] ppid=7470 vsize=27313900 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/7473/task/7474/stat : 7474 (java) R 7470 7470 7303 0 -1 4202560 4968 0 0 0 7 2 0 0 20 0 20 0 236754547 27969433600 26906 33554432000 4194304 4196468 140732488368368 140157726679168 140157738927454 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7475] ppid=7470 vsize=27313900 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7473/task/7475/stat : 7475 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 26906 33554432000 4194304 4196468 140732488368368 140157759089680 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7476] ppid=7470 vsize=27313900 memory=139981567477376 CPUtime=0 cores=0-7
/proc/7473/task/7476/stat : 7476 (java) S 7470 7470 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 26906 33554432000 4194304 4196468 140732488368368 140157542485136 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7477] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7477/stat : 7477 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 26906 33554432000 4194304 4196468 140732488368368 140157541432080 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7478] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7478/stat : 7478 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 26906 33554432000 4194304 4196468 140732488368368 140157540379536 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7479] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7479/stat : 7479 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 26906 33554432000 4194304 4196468 140732488368368 140157539326480 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7480] ppid=7470 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/7473/task/7480/stat : 7480 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 26906 33554432000 4194304 4196468 140732488368368 140157538273936 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7481] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7481/stat : 7481 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 26906 33554432000 4194304 4196468 140732488368368 140157537220880 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7482] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7482/stat : 7482 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 26906 33554432000 4194304 4196468 140732488368368 140157536168336 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7483] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7483/stat : 7483 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754551 27969433600 26906 33554432000 4194304 4196468 140732488368368 140157014489840 140157754858114 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7484] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7484/stat : 7484 (java) S 7470 7470 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236754551 27969433600 26906 33554432000 4194304 4196468 140732488368368 140155520280224 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7485] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7485/stat : 7485 (java) S 7470 7470 7303 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236754551 27969433600 26906 33554432000 4194304 4196468 140732488368368 140155386057968 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7486] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7486/stat : 7486 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 26906 33554432000 4194304 4196468 140732488368368 140155011553744 140157754865563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7487] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7487/stat : 7487 (java) S 7470 7470 7303 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 26906 33554432000 4194304 4196468 140732488368368 140157013436656 140157754858114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7488] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7488/stat : 7488 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 26906 33554432000 4194304 4196468 140732488368368 140157012384112 140157754858114 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7489] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7489/stat : 7489 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 26906 33554432000 4194304 4196468 140732488368368 140157011331056 140157754858114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7490] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7490/stat : 7490 (java) R 7470 7470 7303 0 -1 4202560 252 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 26906 33554432000 4194304 4196468 140732488368368 140157010278512 140157754858902 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7491] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7491/stat : 7491 (java) S 7470 7470 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 26906 33554432000 4194304 4196468 140732488368368 140154513648608 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7492] ppid=7470 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/7473/task/7492/stat : 7492 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 26906 33554432000 4194304 4196468 140732488368368 140157009226928 140157754858114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 108756 KiB

[startup+0.209876 s]*
/proc/loadavg: 2.82 1.42 1.18 2/200 7492
/proc/meminfo: memFree=22969324/32770624 swapFree=67108860/67108860
[pid=7470] ppid=7467 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7470/stat : 7470 (scop.sh) S 7467 7470 7303 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236754546 115843072 348 33554432000 4194304 5098028 140728602889216 140728602886472 140382124581500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33947648 140728602891299 140728602891523 140728602891523 140728602894285 0
/proc/7470/statm: 28282 348 296 221 0 87 0
[pid=7473] ppid=7470 vsize=27313900 memory=121440 CPUtime=0.25 cores=0-7
/proc/7473/stat : 7473 (java) S 7470 7470 7303 0 -1 1077944320 10678 0 0 0 21 4 0 0 20 0 20 0 236754546 27969433600 30360 33554432000 4194304 4196468 140732488368368 140732488350912 140157754846967 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
/proc/7473/statm: 6828475 30360 2837 1 0 6790935 0
[pid=7473/tid=7474] ppid=7470 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/7473/task/7474/stat : 7474 (java) R 7470 7470 7303 0 -1 4202560 8547 0 0 0 17 2 0 0 20 0 20 0 236754547 27969433600 30360 33554432000 4194304 4196468 140732488368368 140157726662208 140157754868893 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7475] ppid=7470 vsize=27313900 memory=331 CPUtime=0 cores=0-7
/proc/7473/task/7475/stat : 7475 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 30360 33554432000 4194304 4196468 140732488368368 140157759089680 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7476] ppid=7470 vsize=27313900 memory=139981567485100 CPUtime=0 cores=0-7
/proc/7473/task/7476/stat : 7476 (java) S 7470 7470 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 30360 33554432000 4194304 4196468 140732488368368 140157542485136 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7477] ppid=7470 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/7473/task/7477/stat : 7477 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 30360 33554432000 4194304 4196468 140732488368368 140157541432080 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7478] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7478/stat : 7478 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 30360 33554432000 4194304 4196468 140732488368368 140157540379536 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7479] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7479/stat : 7479 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 30360 33554432000 4194304 4196468 140732488368368 140157539326480 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7480] ppid=7470 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/7473/task/7480/stat : 7480 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 30360 33554432000 4194304 4196468 140732488368368 140157538273936 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7481] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7481/stat : 7481 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 30425 33554432000 4194304 4196468 140732488368368 140157537220880 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7482] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7482/stat : 7482 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 30425 33554432000 4194304 4196468 140732488368368 140157536168336 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7483] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7483/stat : 7483 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754551 27969433600 30425 33554432000 4194304 4196468 140732488368368 140157014489840 140157754858114 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7484] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7484/stat : 7484 (java) S 7470 7470 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236754551 27969433600 30425 33554432000 4194304 4196468 140732488368368 140155520280224 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7485] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7485/stat : 7485 (java) S 7470 7470 7303 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236754551 27969433600 30425 33554432000 4194304 4196468 140732488368368 140155386057968 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7486] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7486/stat : 7486 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 30425 33554432000 4194304 4196468 140732488368368 140155011553744 140157754865563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7487] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7487/stat : 7487 (java) S 7470 7470 7303 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 30425 33554432000 4194304 4196468 140732488368368 140157013436656 140157754858114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7488] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7488/stat : 7488 (java) S 7470 7470 7303 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 30425 33554432000 4194304 4196468 140732488368368 140157012384112 140157754858114 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7489] ppid=7470 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/7473/task/7489/stat : 7489 (java) S 7470 7470 7303 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 30425 33554432000 4194304 4196468 140732488368368 140157011331056 140157754858114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7490] ppid=7470 vsize=27313900 memory=-1 CPUtime=0.03 cores=0-7
/proc/7473/task/7490/stat : 7490 (java) S 7470 7470 7303 0 -1 1077944384 297 0 0 0 3 0 0 0 20 0 20 0 236754554 27969433600 30425 33554432000 4194304 4196468 140732488368368 140157010278512 140157754858114 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7491] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7491/stat : 7491 (java) S 7470 7470 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 30425 33554432000 4194304 4196468 140732488368368 140154513648608 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7492] ppid=7470 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/7473/task/7492/stat : 7492 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 30425 33554432000 4194304 4196468 140732488368368 140157009226928 140157754858114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 122832 KiB

[startup+0.309363 s]*
/proc/loadavg: 2.82 1.42 1.18 2/200 7492
/proc/meminfo: memFree=22966860/32770624 swapFree=67108860/67108860
[pid=7470] ppid=7467 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7470/stat : 7470 (scop.sh) S 7467 7470 7303 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236754546 115843072 348 33554432000 4194304 5098028 140728602889216 140728602886472 140382124581500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33947648 140728602891299 140728602891523 140728602891523 140728602894285 0
/proc/7470/statm: 28282 348 296 221 0 87 0
[pid=7473] ppid=7470 vsize=27313900 memory=125480 CPUtime=0.42 cores=0-7
/proc/7473/stat : 7473 (java) S 7470 7470 7303 0 -1 1077944320 11216 0 0 0 38 4 0 0 20 0 20 0 236754546 27969433600 31370 33554432000 4194304 4196468 140732488368368 140732488350912 140157754846967 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
/proc/7473/statm: 6828475 31370 2961 1 0 6790935 0
[pid=7473/tid=7474] ppid=7470 vsize=27313900 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7473/task/7474/stat : 7474 (java) R 7470 7470 7303 0 -1 4202560 8925 0 0 0 27 2 0 0 20 0 20 0 236754547 27969433600 31370 33554432000 4194304 4196468 140732488368368 140157726642416 140157754868893 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7475] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7475/stat : 7475 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 31370 33554432000 4194304 4196468 140732488368368 140157759089680 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7476] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7476/stat : 7476 (java) S 7470 7470 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 31370 33554432000 4194304 4196468 140732488368368 140157542485136 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7477] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7477/stat : 7477 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 31370 33554432000 4194304 4196468 140732488368368 140157541432080 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7478] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7478/stat : 7478 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 31370 33554432000 4194304 4196468 140732488368368 140157540379536 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7479] ppid=7470 vsize=27313900 memory=2244 CPUtime=0 cores=0-7
/proc/7473/task/7479/stat : 7479 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 31370 33554432000 4194304 4196468 140732488368368 140157539326480 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7480] ppid=7470 vsize=27313900 memory=139981439988655 CPUtime=0 cores=0-7
/proc/7473/task/7480/stat : 7480 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 31370 33554432000 4194304 4196468 140732488368368 140157538273936 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7481] ppid=7470 vsize=27313900 memory=139981439990960 CPUtime=0 cores=0-7
/proc/7473/task/7481/stat : 7481 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 31370 33554432000 4194304 4196468 140732488368368 140157537220880 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7482] ppid=7470 vsize=27313900 memory=139981439993264 CPUtime=0 cores=0-7
/proc/7473/task/7482/stat : 7482 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27969433600 31370 33554432000 4194304 4196468 140732488368368 140157536168336 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7483] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7483/stat : 7483 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754551 27969433600 31370 33554432000 4194304 4196468 140732488368368 140157014489840 140157754858114 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7484] ppid=7470 vsize=27313900 memory=279962879993488 CPUtime=0 cores=0-7
/proc/7473/task/7484/stat : 7484 (java) S 7470 7470 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236754551 27969433600 31370 33554432000 4194304 4196468 140732488368368 140155520280224 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7485] ppid=7470 vsize=27313900 memory=279962880000400 CPUtime=0 cores=0-7
/proc/7473/task/7485/stat : 7485 (java) S 7470 7470 7303 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236754551 27969433600 31370 33554432000 4194304 4196468 140732488368368 140155386057968 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7486] ppid=7470 vsize=27313900 memory=279962879941680 CPUtime=0 cores=0-7
/proc/7473/task/7486/stat : 7486 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 31370 33554432000 4194304 4196468 140732488368368 140155011553744 140157754865563 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7487] ppid=7470 vsize=27313900 memory=279962880014224 CPUtime=0.01 cores=0-7
/proc/7473/task/7487/stat : 7487 (java) S 7470 7470 7303 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 20 0 236754554 27969433600 31370 33554432000 4194304 4196468 140732488368368 140157013436656 140157754858114 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7488] ppid=7470 vsize=27313900 memory=279962880021136 CPUtime=0.01 cores=0-7
/proc/7473/task/7488/stat : 7488 (java) S 7470 7470 7303 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 236754554 27969433600 31370 33554432000 4194304 4196468 140732488368368 140157012384112 140157754858114 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7489] ppid=7470 vsize=27313900 memory=279962880018832 CPUtime=0 cores=0-7
/proc/7473/task/7489/stat : 7489 (java) S 7470 7470 7303 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 31370 33554432000 4194304 4196468 140732488368368 140157011331056 140157754858114 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7490] ppid=7470 vsize=27313900 memory=279962880034992 CPUtime=0.07 cores=0-7
/proc/7473/task/7490/stat : 7490 (java) S 7470 7470 7303 0 -1 1077944384 318 0 0 0 7 0 0 0 20 0 20 0 236754554 27969433600 31370 33554432000 4194304 4196468 140732488368368 140157010278512 140157754858114 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7491] ppid=7470 vsize=27313900 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7491/stat : 7491 (java) S 7470 7470 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 31370 33554432000 4194304 4196468 140732488368368 140154513648608 140157754857173 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7492] ppid=7470 vsize=27313900 memory=-1 CPUtime=0 cores=0-7
/proc/7473/task/7492/stat : 7492 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236754554 27969433600 31370 33554432000 4194304 4196468 140732488368368 140157009226928 140157754858114 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427028 KiB
Current children cumulated memory: 126872 KiB

[startup+0.70088 s]
/proc/loadavg: 2.82 1.42 1.18 2/200 7492
/proc/meminfo: memFree=22942676/32770624 swapFree=67108860/67108860
[pid=7470] ppid=7467 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/7470/stat : 7470 (scop.sh) S 7467 7470 7303 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236754546 115843072 348 33554432000 4194304 5098028 140728602889216 140728602886472 140382124581500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33947648 140728602891299 140728602891523 140728602891523 140728602894285 0
/proc/7470/statm: 28282 348 296 221 0 87 0
[pid=7473] ppid=7470 vsize=27320172 memory=164752 CPUtime=1.05 cores=0-7
/proc/7473/stat : 7473 (java) S 7470 7470 7303 0 -1 1077944320 18222 0 0 0 98 7 0 0 20 0 20 0 236754546 27975856128 41188 33554432000 4194304 4196468 140732488368368 140732488350912 140157754846967 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
/proc/7473/statm: 6830043 41188 3121 1 0 6791447 0
[pid=7473/tid=7474] ppid=7470 vsize=27320172 memory=279962880392880 CPUtime=0.67 cores=0-7
/proc/7473/task/7474/stat : 7474 (java) R 7470 7470 7303 0 -1 4202560 15360 0 0 0 62 5 0 0 20 0 20 0 236754547 27975856128 41188 33554432000 4194304 4196468 140732488368368 140157726684592 140157754868893 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7475] ppid=7470 vsize=27320172 memory=139981440197488 CPUtime=0 cores=0-7
/proc/7473/task/7475/stat : 7475 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236754549 27975856128 41188 33554432000 4194304 4196468 140732488368368 140157759089680 140157754857173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7476] ppid=7470 vsize=27320172 memory=0 CPUtime=0 cores=0-7
/proc/7473/task/7476/stat : 7476 (java) S 7470 7470 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236754549 27975856128 41188 33554432000 4194304 4196468 140732488368368 140157542485136 140157754857173 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0
[pid=7473/tid=7477] ppid=7470 vsize=27320172 memory=872 CPUtime=0 cores=0-7
/proc/7473/task/7477/stat : 7477 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236754549 27975856128 41188 33554432000 4194304 4196468 140732488368368 140157541432080 140157754857173 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28196864 140732488377322 140732488377645 140732488377645 140732488380367 0

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

Current children cumulated CPU time: 1184 s
Current children cumulated vsize: 9406736 KiB
Current children cumulated memory: 816944 KiB

[startup+155.602 s]
/proc/loadavg: 7.51 3.94 2.16 9/213 7526
/proc/meminfo: memFree=22284252/32770624 swapFree=67108860/67108860
[pid=7470] ppid=7467 vsize=113128 memory=1468 CPUtime=28.02 cores=0-7
/proc/7470/stat : 7470 (scop.sh) S 7467 7470 7303 0 -1 4202496 589 38550 0 0 0 0 2735 67 20 0 1 0 236754546 115843072 367 33554432000 4194304 5098028 140728602889216 140728602885960 140382124581500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33947648 140728602891299 140728602891523 140728602891523 140728602894285 0
/proc/7470/statm: 28282 367 311 221 0 87 0
[pid=7493] ppid=7470 vsize=8413904 memory=121632 CPUtime=1.39 cores=0-7
/proc/7493/stat : 7493 (java) S 7470 7470 7303 0 -1 1077944320 18681 0 0 0 131 8 0 0 20 0 24 0 236755494 8615837696 30408 33554432000 4194304 4196468 140721644343744 140721644326288 140044092227319 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
/proc/7493/statm: 2103476 30408 3161 1 0 2064875 0
[pid=7513] ppid=7493 vsize=879704 memory=693844 CPUtime=1157.78 cores=0-7
/proc/7513/stat : 7513 (glucose-syrup) S 7493 7470 7303 0 -1 1077944320 385718 0 0 0 115642 136 0 0 20 0 9 0 236755567 900816896 173461 33554432000 4194304 4373367 140720312677392 140720312675936 140646420978306 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
/proc/7513/statm: 219926 173461 388 44 0 215614 0
[pid=7513/tid=7519] ppid=7493 vsize=879704 memory=1724 CPUtime=145.06 cores=0-7
/proc/7513/task/7519/stat : 7519 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 44096 0 0 0 14487 19 0 0 20 0 9 0 236755590 900816896 173461 33554432000 4194304 4373367 140720312677392 140646392356208 4271977 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7513/tid=7520] ppid=7493 vsize=879704 memory=4004 CPUtime=145.14 cores=0-7
/proc/7513/task/7520/stat : 7520 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 49783 0 0 0 14500 14 0 0 20 0 9 0 236755590 900816896 173461 33554432000 4194304 4373367 140720312677392 140646383963504 4271828 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7513/tid=7521] ppid=7493 vsize=879704 memory=3516 CPUtime=142.12 cores=0-7
/proc/7513/task/7521/stat : 7521 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 41822 0 0 0 14195 17 0 0 20 0 9 0 236755590 900816896 173461 33554432000 4194304 4373367 140720312677392 140646375570704 4271828 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7513/tid=7522] ppid=7493 vsize=879704 memory=872 CPUtime=145.13 cores=0-7
/proc/7513/task/7522/stat : 7522 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 47718 0 0 0 14498 15 0 0 20 0 9 0 236755590 900816896 173461 33554432000 4194304 4373367 140720312677392 140646367178096 4271808 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7513/tid=7523] ppid=7493 vsize=879704 memory=1288 CPUtime=144.68 cores=0-7
/proc/7513/task/7523/stat : 7523 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 44824 0 0 0 14451 17 0 0 20 0 9 0 236755590 900816896 173461 33554432000 4194304 4373367 140720312677392 140646358785392 4271897 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7513/tid=7524] ppid=7493 vsize=879704 memory=8039887049847964587 CPUtime=145.1 cores=0-7
/proc/7513/task/7524/stat : 7524 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 45211 0 0 0 14492 18 0 0 20 0 9 0 236755590 900816896 173461 33554432000 4194304 4373367 140720312677392 140646350392464 4271619 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7513/tid=7525] ppid=7493 vsize=879704 memory=675608 CPUtime=145.13 cores=0-7
/proc/7513/task/7525/stat : 7525 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 46474 0 0 0 14501 12 0 0 20 0 9 0 236755590 900816896 173461 33554432000 4194304 4373367 140720312677392 140646341999888 4271810 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7513/tid=7526] ppid=7493 vsize=879704 memory=288230596050944315 CPUtime=145.13 cores=0-7
/proc/7513/task/7526/stat : 7526 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 44409 0 0 0 14496 17 0 0 20 0 9 0 236755590 900816896 173461 33554432000 4194304 4373367 140720312677392 140646333607184 4271828 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7493/tid=7494] ppid=7470 vsize=8413904 memory=15258134151170443 CPUtime=0.75 cores=0-7
/proc/7493/task/7494/stat : 7494 (java) S 7470 7470 7303 0 -1 1077944384 14973 0 0 0 70 5 0 0 20 0 24 0 236755494 8615837696 30408 33554432000 4194304 4196468 140721644343744 140044064067472 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7495] ppid=7470 vsize=8413904 memory=15712 CPUtime=0 cores=0-7
/proc/7493/task/7495/stat : 7495 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140044096469520 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7496] ppid=7470 vsize=8413904 memory=1620 CPUtime=0 cores=0-7
/proc/7493/task/7496/stat : 7496 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043577146000 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7497] ppid=7470 vsize=8413904 memory=504 CPUtime=0 cores=0-7
/proc/7493/task/7497/stat : 7497 (java) S 7470 7470 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043576092944 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7498] ppid=7470 vsize=8413904 memory=924 CPUtime=0 cores=0-7
/proc/7493/task/7498/stat : 7498 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043575040400 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7499] ppid=7470 vsize=8413904 memory=1168 CPUtime=0 cores=0-7
/proc/7493/task/7499/stat : 7499 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043573988368 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7500] ppid=7470 vsize=8413904 memory=64160 CPUtime=0 cores=0-7
/proc/7493/task/7500/stat : 7500 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043572935824 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7501] ppid=7470 vsize=8413904 memory=1064 CPUtime=0 cores=0-7
/proc/7493/task/7501/stat : 7501 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043571882768 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7502] ppid=7470 vsize=8413904 memory=2072 CPUtime=0 cores=0-7
/proc/7493/task/7502/stat : 7502 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043570830224 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7503] ppid=7470 vsize=8413904 memory=8039887049847964587 CPUtime=0 cores=0-7
/proc/7493/task/7503/stat : 7503 (java) S 7470 7470 7303 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 24 0 236755497 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043521235184 140044092238466 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7504] ppid=7470 vsize=8413904 memory=11192 CPUtime=0 cores=0-7
/proc/7493/task/7504/stat : 7504 (java) S 7470 7470 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236755497 8615837696 30408 33554432000 4194304 4196468 140721644343744 140042710279328 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7505] ppid=7470 vsize=8413904 memory=752 CPUtime=0 cores=0-7
/proc/7493/task/7505/stat : 7505 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236755498 8615837696 30408 33554432000 4194304 4196468 140721644343744 140042441843440 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7506] ppid=7470 vsize=8413904 memory=1468 CPUtime=0 cores=0-7
/proc/7493/task/7506/stat : 7506 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236755500 8615837696 30408 33554432000 4194304 4196468 140721644343744 140042067335120 140044092245915 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7507] ppid=7470 vsize=8413904 memory=121172 CPUtime=0.12 cores=0-7
/proc/7493/task/7507/stat : 7507 (java) S 7470 7470 7303 0 -1 1077944384 908 0 0 0 12 0 0 0 20 0 24 0 236755500 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043520183024 140044092238466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7508] ppid=7470 vsize=8413904 memory=121632 CPUtime=0.05 cores=0-7
/proc/7493/task/7508/stat : 7508 (java) S 7470 7470 7303 0 -1 1077944384 392 0 0 0 5 0 0 0 20 0 24 0 236755500 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043519130480 140044092238466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7509] ppid=7470 vsize=8413904 memory=64160 CPUtime=0.06 cores=0-7
/proc/7493/task/7509/stat : 7509 (java) S 7470 7470 7303 0 -1 1077944384 139 0 0 0 6 0 0 0 20 0 24 0 236755500 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043518077424 140044092238466 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7510] ppid=7470 vsize=8413904 memory=1064 CPUtime=0.24 cores=0-7
/proc/7493/task/7510/stat : 7510 (java) S 7470 7470 7303 0 -1 1077944384 828 0 0 0 24 0 0 0 20 0 24 0 236755500 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043517024880 140044092238466 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7511] ppid=7470 vsize=8413904 memory=2072 CPUtime=0 cores=0-7
/proc/7493/task/7511/stat : 7511 (java) S 7470 7470 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236755500 8615837696 30408 33554432000 4194304 4196468 140721644343744 140041569429984 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7512] ppid=7470 vsize=8413904 memory=1740 CPUtime=0.08 cores=0-7
/proc/7493/task/7512/stat : 7512 (java) S 7470 7470 7303 0 -1 1077944384 25 0 0 0 8 0 0 0 20 0 24 0 236755500 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043180042928 140044092238466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7514] ppid=7470 vsize=8413904 memory=11192 CPUtime=0 cores=0-7
/proc/7493/task/7514/stat : 7514 (java) S 7470 7470 7303 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 236755568 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043172565952 140044092251929 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7516] ppid=7470 vsize=8413904 memory=653444 CPUtime=0.03 cores=0-7
/proc/7493/task/7516/stat : 7516 (java) S 7470 7470 7303 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 24 0 236755568 8615837696 30408 33554432000 4194304 4196468 140721644343744 140040898330704 140044092249245 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7517] ppid=7470 vsize=8413904 memory=6144 CPUtime=0 cores=0-7
/proc/7493/task/7517/stat : 7517 (java) S 7470 7470 7303 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236755568 8615837696 30408 33554432000 4194304 4196468 140721644343744 140041166766256 140044092249245 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7518] ppid=7470 vsize=8413904 memory=1724 CPUtime=0 cores=0-7
/proc/7493/task/7518/stat : 7518 (java) S 7470 7470 7303 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 236755570 8615837696 30408 33554432000 4194304 4196468 140721644343744 140040629902752 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
Current children cumulated CPU time: 1187.19 s
Current children cumulated vsize: 9406736 KiB
Current children cumulated memory: 816944 KiB

[startup+155.702 s]
/proc/loadavg: 7.51 3.94 2.16 9/213 7526
/proc/meminfo: memFree=22284252/32770624 swapFree=67108860/67108860
[pid=7470] ppid=7467 vsize=113128 memory=1468 CPUtime=28.02 cores=0-7
/proc/7470/stat : 7470 (scop.sh) S 7467 7470 7303 0 -1 4202496 589 38550 0 0 0 0 2735 67 20 0 1 0 236754546 115843072 367 33554432000 4194304 5098028 140728602889216 140728602885960 140382124581500 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33947648 140728602891299 140728602891523 140728602891523 140728602894285 0
/proc/7470/statm: 28282 367 311 221 0 87 0
[pid=7493] ppid=7470 vsize=8413904 memory=121632 CPUtime=1.39 cores=0-7
/proc/7493/stat : 7493 (java) S 7470 7470 7303 0 -1 1077944320 18681 0 0 0 131 8 0 0 20 0 24 0 236755494 8615837696 30408 33554432000 4194304 4196468 140721644343744 140721644326288 140044092227319 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
/proc/7493/statm: 2103476 30408 3161 1 0 2064875 0
[pid=7513] ppid=7493 vsize=879704 memory=693848 CPUtime=1158.58 cores=0-7
/proc/7513/stat : 7513 (glucose-syrup) S 7493 7470 7303 0 -1 1077944320 385721 0 0 0 115722 136 0 0 20 0 9 0 236755567 900816896 173462 33554432000 4194304 4373367 140720312677392 140720312675936 140646420978306 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
/proc/7513/statm: 219926 173462 388 44 0 215614 0
[pid=7513/tid=7519] ppid=7493 vsize=879704 memory=1468 CPUtime=145.16 cores=0-7
/proc/7513/task/7519/stat : 7519 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 44096 0 0 0 14497 19 0 0 20 0 9 0 236755590 900816896 173462 33554432000 4194304 4373367 140720312677392 140646392356208 4272344 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7513/tid=7520] ppid=7493 vsize=879704 memory=924 CPUtime=145.24 cores=0-7
/proc/7513/task/7520/stat : 7520 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 49783 0 0 0 14510 14 0 0 20 0 9 0 236755590 900816896 173462 33554432000 4194304 4373367 140720312677392 140646383963504 4271597 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7513/tid=7521] ppid=7493 vsize=879704 memory=1576 CPUtime=142.22 cores=0-7
/proc/7513/task/7521/stat : 7521 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 41822 0 0 0 14205 17 0 0 20 0 9 0 236755590 900816896 173462 33554432000 4194304 4373367 140720312677392 140646375570704 4271936 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7513/tid=7522] ppid=7493 vsize=879704 memory=279962882438240 CPUtime=145.23 cores=0-7
/proc/7513/task/7522/stat : 7522 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 47720 0 0 0 14508 15 0 0 20 0 9 0 236755590 900816896 173462 33554432000 4194304 4373367 140720312677392 140646367178096 4271761 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7513/tid=7523] ppid=7493 vsize=879704 memory=0 CPUtime=144.78 cores=0-7
/proc/7513/task/7523/stat : 7523 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 44824 0 0 0 14461 17 0 0 20 0 9 0 236755590 900816896 173462 33554432000 4194304 4373367 140720312677392 140646358785168 4271597 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7513/tid=7524] ppid=7493 vsize=879704 memory=33 CPUtime=145.2 cores=0-7
/proc/7513/task/7524/stat : 7524 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 45211 0 0 0 14502 18 0 0 20 0 9 0 236755590 900816896 173462 33554432000 4194304 4373367 140720312677392 140646350392464 4272000 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7513/tid=7525] ppid=7493 vsize=879704 memory=-3839181684196723249 CPUtime=145.23 cores=0-7
/proc/7513/task/7525/stat : 7525 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 46475 0 0 0 14511 12 0 0 20 0 9 0 236755590 900816896 173462 33554432000 4194304 4373367 140720312677392 140646341999888 4271769 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7513/tid=7526] ppid=7493 vsize=879704 memory=1468 CPUtime=145.23 cores=0-7
/proc/7513/task/7526/stat : 7526 (glucose-syrup) R 7493 7470 7303 0 -1 4202560 44409 0 0 0 14506 17 0 0 20 0 9 0 236755590 900816896 173462 33554432000 4194304 4373367 140720312677392 140646333607280 4272002 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 18108416 140720312685649 140720312685780 140720312685780 140720312688583 0
[pid=7493/tid=7494] ppid=7470 vsize=8413904 memory=121632 CPUtime=0.75 cores=0-7
/proc/7493/task/7494/stat : 7494 (java) S 7470 7470 7303 0 -1 1077944384 14973 0 0 0 70 5 0 0 20 0 24 0 236755494 8615837696 30408 33554432000 4194304 4196468 140721644343744 140044064067472 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7495] ppid=7470 vsize=8413904 memory=689748 CPUtime=0 cores=0-7
/proc/7493/task/7495/stat : 7495 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140044096469520 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7496] ppid=7470 vsize=8413904 memory=1468 CPUtime=0 cores=0-7
/proc/7493/task/7496/stat : 7496 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043577146000 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7497] ppid=7470 vsize=8413904 memory=121632 CPUtime=0 cores=0-7
/proc/7493/task/7497/stat : 7497 (java) S 7470 7470 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043576092944 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7498] ppid=7470 vsize=8413904 memory=703244 CPUtime=0 cores=0-7
/proc/7493/task/7498/stat : 7498 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043575040400 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7499] ppid=7470 vsize=8413904 memory=626428 CPUtime=0 cores=0-7
/proc/7493/task/7499/stat : 7499 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043573988368 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7500] ppid=7470 vsize=8413904 memory=1468 CPUtime=0 cores=0-7
/proc/7493/task/7500/stat : 7500 (java) S 7470 7470 7303 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043572935824 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7501] ppid=7470 vsize=8413904 memory=689748 CPUtime=0 cores=0-7
/proc/7493/task/7501/stat : 7501 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043571882768 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7502] ppid=7470 vsize=8413904 memory=7079770040314494996 CPUtime=0 cores=0-7
/proc/7493/task/7502/stat : 7502 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236755495 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043570830224 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7503] ppid=7470 vsize=8413904 memory=7753589235871789624 CPUtime=0 cores=0-7
/proc/7493/task/7503/stat : 7503 (java) S 7470 7470 7303 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 24 0 236755497 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043521235184 140044092238466 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7504] ppid=7470 vsize=8413904 memory=734122147881040640 CPUtime=0 cores=0-7
/proc/7493/task/7504/stat : 7504 (java) S 7470 7470 7303 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236755497 8615837696 30408 33554432000 4194304 4196468 140721644343744 140042710279328 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7505] ppid=7470 vsize=8413904 memory=685652 CPUtime=0 cores=0-7
/proc/7493/task/7505/stat : 7505 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236755498 8615837696 30408 33554432000 4194304 4196468 140721644343744 140042441843440 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7506] ppid=7470 vsize=8413904 memory=1468 CPUtime=0 cores=0-7
/proc/7493/task/7506/stat : 7506 (java) S 7470 7470 7303 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236755500 8615837696 30408 33554432000 4194304 4196468 140721644343744 140042067335120 140044092245915 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7507] ppid=7470 vsize=8413904 memory=121632 CPUtime=0.12 cores=0-7
/proc/7493/task/7507/stat : 7507 (java) S 7470 7470 7303 0 -1 1077944384 908 0 0 0 12 0 0 0 20 0 24 0 236755500 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043520183024 140044092238466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7508] ppid=7470 vsize=8413904 memory=685652 CPUtime=0.05 cores=0-7
/proc/7493/task/7508/stat : 7508 (java) S 7470 7470 7303 0 -1 1077944384 392 0 0 0 5 0 0 0 20 0 24 0 236755500 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043519130480 140044092238466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7509] ppid=7470 vsize=8413904 memory=121632 CPUtime=0.06 cores=0-7
/proc/7493/task/7509/stat : 7509 (java) S 7470 7470 7303 0 -1 1077944384 139 0 0 0 6 0 0 0 20 0 24 0 236755500 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043518077424 140044092238466 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7510] ppid=7470 vsize=8413904 memory=1468 CPUtime=0.24 cores=0-7
/proc/7493/task/7510/stat : 7510 (java) S 7470 7470 7303 0 -1 1077944384 828 0 0 0 24 0 0 0 20 0 24 0 236755500 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043517024880 140044092238466 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7511] ppid=7470 vsize=8413904 memory=121632 CPUtime=0 cores=0-7
/proc/7493/task/7511/stat : 7511 (java) S 7470 7470 7303 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236755500 8615837696 30408 33554432000 4194304 4196468 140721644343744 140041569429984 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7512] ppid=7470 vsize=8413904 memory=1468 CPUtime=0.08 cores=0-7
/proc/7493/task/7512/stat : 7512 (java) S 7470 7470 7303 0 -1 1077944384 25 0 0 0 8 0 0 0 20 0 24 0 236755500 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043180042928 140044092238466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7514] ppid=7470 vsize=8413904 memory=1468 CPUtime=0 cores=0-7
/proc/7493/task/7514/stat : 7514 (java) S 7470 7470 7303 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 236755568 8615837696 30408 33554432000 4194304 4196468 140721644343744 140043172565952 140044092251929 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7516] ppid=7470 vsize=8413904 memory=1468 CPUtime=0.03 cores=0-7
/proc/7493/task/7516/stat : 7516 (java) S 7470 7470 7303 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 24 0 236755568 8615837696 30408 33554432000 4194304 4196468 140721644343744 140040898330704 140044092249245 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7517] ppid=7470 vsize=8413904 memory=121632 CPUtime=0 cores=0-7
/proc/7493/task/7517/stat : 7517 (java) S 7470 7470 7303 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236755568 8615837696 30408 33554432000 4194304 4196468 140721644343744 140041166766256 140044092249245 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
[pid=7493/tid=7518] ppid=7470 vsize=8413904 memory=689748 CPUtime=0 cores=0-7
/proc/7493/task/7518/stat : 7518 (java) S 7470 7470 7303 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 236755570 8615837696 30408 33554432000 4194304 4196468 140721644343744 140040629902752 140044092237525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27340800 140721644352690 140721644352813 140721644352813 140721644355535 0
Current children cumulated CPU time: 1187.99 s
Current children cumulated vsize: 9406736 KiB
Current children cumulated memory: 816948 KiB

Child status: 0
Real time (s): 155.783
CPU time (s): 1188.47
CPU user time (s): 1186.3
CPU system time (s): 2.16533
CPU usage (%): 762.9
Max. virtual memory (cumulated for all children) (KiB): 27443704
Max. memory (cumulated for all children) (KiB): 3595876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1186.3
system time used= 2.16533
maximum resident set size= 3598892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443775
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35065
involuntary context switches= 12127


# summary of solver processes directly reported to runsolver:
#   pid: 7470
#   total CPU time (s): 1188.47
#   total CPU user time (s): 1186.3
#   total CPU system time (s): 2.16533

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.54858 second user time and 2.01902 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-13 22:25:14
IDJOB=4307431
IDBENCH=141381
IDSOLVER=2789
FILE ID=node107/4307431-1534191914
RUNJOBID= node107-1534191883-7330
PBS_JOBID= 21037998
Free space on /tmp= 39620 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-31)
BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-6-6-9-cp_c18.xml
COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307431-1534191914/watcher-4307431-1534191914 -o /tmp/evaluation-result-4307431-1534191914/solver-4307431-1534191914 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1534191883-7330 --watchdog 2580  scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307431-1534191914.xml

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

MD5SUM BENCH= 438a4422dc9540b34dd70f26f18dc3ca
RANDOM SEED=253463228

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
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:        23081032 kB
MemAvailable:   31900844 kB
Buffers:          232384 kB
Cached:          8782996 kB
SwapCached:            0 kB
Active:          4705904 kB
Inactive:        4365392 kB
Active(anon):       4252 kB
Inactive(anon):   103580 kB
Active(file):    4701652 kB
Inactive(file):  4261812 kB
Unevictable:        6976 kB
Mlocked:            6976 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9628 kB
Writeback:             0 kB
AnonPages:         62236 kB
Mapped:            53700 kB
Shmem:             49804 kB
Slab:             312928 kB
SReclaimable:     284808 kB
SUnreclaim:        28120 kB
KernelStack:        3264 kB
PageTables:         5312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 39612 MiB
End job on node107 at 2018-08-13 22:27:49