Trace number 4297019

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 order+glucose-syrup (2018-07-07)SAT 1001.15 127.397

General information on the benchmark

NameStripPacking/
StripPacking-N1b_c18.xml
MD5SUMd6d9a16a398659a401a93dc83363d7ca
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark23.6406
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints52
Number of domains19
Minimum domain size1
Maximum domain size200
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":49},{"size":200,"count":34}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}]
Number of extensional constraints17
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":17},{"type":"intension","count":34},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.65/0.52	
0.65/0.52	scop order+glucose-syrup (2018-07-07)
0.65/0.52	
0.65/0.55	c BEGIN-Prog: Thu Jul 26 21:38:05 CEST 2018
0.65/0.55	c PID: 32621
0.65/0.55	c IP: 172.20.3.104
0.65/0.55	c HOST: node104.alineos.net
0.65/0.56	c (0,0) Parsing Begin
1.38/0.96	c (0,0) Parsing End
1.38/0.96	c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 200
1.38/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.38/0.96	c (0,0) Constraint Name Generate Begin
1.38/0.97	c (0,0) Ctr:HOME/instance-4297019-1532633884.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.38/0.97	c (0,0) Constraint Name Generate End
1.38/0.97	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.38/0.97	c (0,0) CSP to CSPinCNF Begin
1.59/1.05	c (0,0) translated 6 (10%) constraints
1.59/1.05	c (0,0) translated 11 (20%) constraints
1.59/1.06	c (0,0) translated 16 (30%) constraints
1.59/1.06	c (0,0) translated 21 (40%) constraints
1.59/1.07	c (0,0) translated 26 (50%) constraints
1.59/1.07	c (0,0) translated 32 (60%) constraints
1.76/1.16	c (0,0) translated 37 (70%) constraints
1.95/1.22	c (0,0) translated 42 (80%) constraints
1.95/1.25	c (0,0) translated 47 (90%) constraints
1.95/1.29	c (0,0) translated 52 (100%) constraints
2.55/1.44	c (0,0) STATISTICS1:HOME/instance-4297019-1532633884.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,149,411,380,192,4,3,380:4;374:8;370:12;366:16;358:72;354:32;348:36;346:40;344:44;330:48;324:52;320:56;286:30;276:62;143:30;138:2;2:32;1:2,192:66;190:66;187:66;185:66;183:66;179:198;177:66;174:66;173:66;172:66;165:66;162:66;160:66;143:66;138:66;2:1088;1:34,4:136;3:80;2:160;1:35,3:544;2:34;1:544;0:17,
2.55/1.44	c (0,0) ===========================================
2.55/1.44	c (0,0) Order
2.55/1.44	c (0,0) ===========================================
2.55/1.45	c (0,0) translated 42 (10%) constraints
2.55/1.46	c (0,0) translated 83 (20%) constraints
2.55/1.46	c (0,0) translated 124 (30%) constraints
2.55/1.46	c (0,0) translated 165 (40%) constraints
2.55/1.47	c (0,0) translated 206 (50%) constraints
2.55/1.47	c (0,0) translated 247 (60%) constraints
2.55/1.47	c (0,0) translated 288 (70%) constraints
2.55/1.48	c (0,0) translated 329 (80%) constraints
2.55/1.48	c (0,0) translated 370 (90%) constraints
2.55/1.49	c (0,0) translated 411 (100%) constraints
2.55/1.49	c (0,0) CSP to CSPinCNF End
2.55/1.49	c (0,0) CSP: 68 int (0 aux), 81 bool (64 aux), 411 ctr, max domain size 192
2.55/1.49	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.55/1.49	c (0,0) CSPinCNF Propagation Begin
2.92/1.56	c (1,1) 0 values, 16 unsatisfiable literals, and 3 valid clauses are removed
2.92/1.56	c (1,1) CSPinCNF Propagation End
2.92/1.56	c (1,1) CSP: 68 int (0 aux), 81 bool (64 aux), 408 ctr, max domain size 192
2.92/1.56	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.92/1.56	c (1,1) Simplify CSPinCNF Begin
3.29/1.62	c (1,1) Simplify CSPinCNF End
3.29/1.62	c (1,1) CSP: 68 int (0 aux), 625 bool (608 aux), 952 ctr, max domain size 192
3.29/1.62	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.29/1.62	c (1,1) Calculate Precise Domain Begin
3.29/1.62	c (1,1) 0 values are removed by re-calculation
3.29/1.62	c (1,1) Calculate Precise Domain End
3.29/1.63	c (1,1) CSP: 68 int (0 aux), 625 bool (608 aux), 952 ctr, max domain size 192
3.29/1.63	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.29/1.63	c (1,1) CSPinCNF to SatSolver Begin
3.29/1.68	c (1,1) 96 (10 %) CSP clauses are encoded (6499 SAT variables, 5903 SAT clauses)
3.29/1.69	c (1,1) 191 (20 %) CSP clauses are encoded (6499 SAT variables, 5998 SAT clauses)
3.66/1.72	c (1,1) 286 (30 %) CSP clauses are encoded (6499 SAT variables, 8420 SAT clauses)
4.09/1.82	c (1,1) 381 (40 %) CSP clauses are encoded (6499 SAT variables, 25999 SAT clauses)
4.09/1.88	c (1,1) 476 (50 %) CSP clauses are encoded (6499 SAT variables, 46212 SAT clauses)
4.47/1.94	c (1,1) 572 (60 %) CSP clauses are encoded (6499 SAT variables, 64006 SAT clauses)
4.47/1.99	c (1,1) 667 (70 %) CSP clauses are encoded (6499 SAT variables, 80788 SAT clauses)
4.76/2.04	c (1,1) 762 (80 %) CSP clauses are encoded (6499 SAT variables, 100739 SAT clauses)
4.76/2.09	c (1,1) 857 (90 %) CSP clauses are encoded (6499 SAT variables, 116519 SAT clauses)
4.92/2.18	c (1,1) 952 (100 %) CSP clauses are encoded (6499 SAT variables, 134982 SAT clauses)
4.92/2.18	c (1,1) CSPinCNF to SatSolver End
4.92/2.18	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
5.13/2.21	c (1,1) STATISTICS2:HOME/instance-4297019-1532633884.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,693,952,380,192,4,3,380:4;374:8;370:12;366:16;358:72;354:32;348:36;346:40;344:44;330:48;324:52;320:56;286:30;276:62;143:30;138:2;2:32,192:66;190:66;187:66;185:66;183:66;179:198;177:66;174:66;173:66;172:66;165:66;162:66;160:66;143:64;138:66;2:2176;1:32,4:136;3:64;2:720;1:32,3:544;2:32;1:1632,
5.13/2.21	c (1,1) SatSolver.solve Begin
5.13/2.21	c (1,1) 6499 bool, 135140 clause
5.13/2.21	c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297019-1532633884.xml-scop-32621.cnf HOME/instance-4297019-1532633884.xml-scop-32621.cnf.out
72.15/10.97	c (10,0) c
72.15/10.97	c (10,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
72.15/10.97	c (10,0) c
72.15/10.97	c (10,0) c WARNING: for repeatability, setting FPU to use double precision
72.15/10.97	c (10,0) c 8 solvers engines and 1 companion as a blackboard created.
72.15/10.97	c (10,0) c ========================================[ Problem Statistics ]===========================================
72.15/10.97	c (10,0) c |                                                                                                       |
72.15/10.97	c (10,0) c |  Number of variables:          6499                                                                   |
72.15/10.97	c (10,0) c |  Number of clauses:          135140                                                                   |
72.15/10.97	c (10,0) c |  Parse time:                   0.05 s                                                                 |
72.15/10.97	c (10,0) c |                                                                                                       |
72.15/10.97	c (10,0) c |  Eliminated clauses:           0.02 Mb                                                                |
72.15/10.97	c (10,0) c |  Simplification time:          0.24 s                                                                 |
72.15/10.97	c (10,0) c |                                                                                                       |
72.15/10.97	c (10,0) c |  Generating clones                                                                                    |
72.15/10.97	c (10,0) c |  all clones generated. Memory = 108.53Mb.                                                             |
72.15/10.97	c (10,0) c ========================================================================================================|
72.15/10.97	c (10,0) c
72.15/10.97	c (10,0) c |-------------------------------------------------------------------------------------------------------|
72.15/10.97	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
72.15/10.97	c (10,0) c |-------------------------------------------------------------------------------------------------------|
72.15/10.97	c (10,0) c |  0 |     78 |      47724 |      23346 |    42756 |    14555 |     3923 |    31982 |     1365 |  0.000 |
72.15/10.97	c (10,0) c |  1 |     37 |      46397 |      23601 |    43757 |     7411 |     4462 |    31171 |     1113 |  0.000 |
72.15/10.97	c (10,0) c |  2 |     46 |      46993 |      24768 |    40736 |     8573 |     4851 |    32135 |     1107 |  0.000 |
72.15/10.97	c (10,0) c |  3 |     31 |      50419 |      26402 |    45702 |    10208 |     5103 |    31580 |     1030 |  0.000 |
72.15/10.97	c (10,0) c |  4 |     61 |      51727 |      25944 |    47632 |     9752 |     4752 |    31004 |     1011 |  0.000 |
72.15/10.97	c (10,0) c |  5 |     57 |      49775 |      25464 |    46279 |     9277 |     4479 |    32280 |     1236 |  0.000 |
72.15/10.97	c (10,0) c |  6 |     62 |      50917 |      26155 |    46722 |     9959 |     4811 |    31968 |     1249 |  0.000 |
72.15/10.97	c (10,0) c |  7 |     62 |      49425 |      25033 |    44646 |     8839 |     4660 |    31398 |     1204 |  0.000 |
72.15/10.97	c (10,0) c 
72.15/10.97	c (10,0) c synthesis      200714 conflicts    68545716 propagations     5730 conflicts/sec  1956892 propagations/sec
72.15/10.97	c (10,0) c Total Memory so far : 698.53Mb
72.15/10.97	c (10,0) c
72.15/10.97	c (10,0) c |-------------------------------------------------------------------------------------------------------|
72.15/10.97	c (10,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
72.15/10.97	c (10,0) c |-------------------------------------------------------------------------------------------------------|
72.15/10.97	c (10,0) c |  0 |    127 |      82997 |      41862 |    52306 |    15772 |     7058 |    54530 |     3114 |  0.000 |
72.15/10.97	c (10,0) c |  1 |     92 |      82614 |      42909 |    53747 |    16819 |     7477 |    54797 |     3085 |  0.000 |
72.15/10.97	c (10,0) c |  2 |     86 |      86467 |      45552 |    54724 |    19459 |     8219 |    54110 |     3149 |  0.000 |
72.15/10.97	c (10,0) c |  3 |     90 |      88629 |      46173 |    57208 |    20077 |     8191 |    54348 |     2965 |  0.000 |
72.15/10.97	c (10,0) c |  4 |    103 |      87811 |      45241 |    58382 |    19152 |     7938 |    54577 |     2793 |  0.000 |
72.15/10.97	c (10,0) c |  5 |    129 |      88977 |      45257 |    56802 |    19171 |     7494 |    54840 |     2992 |  0.000 |
72.15/10.97	c (10,0) c |  6 |    105 |      88386 |      46280 |    58741 |    20185 |     8044 |    54467 |     3029 |  0.000 |
72.15/10.97	c (10,0) c |  7 |     99 |      86535 |      45022 |    54946 |    18929 |     8120 |    53587 |     2797 |  0.000 |
72.15/10.97	c (10,0) c 
175.88/23.96	c (23,0) c synthesis      358298 conflicts   125517029 propagations     5358 conflicts/sec  1876951 propagations/sec
175.88/23.96	c (23,0) c Total Memory so far : 687.30Mb
175.88/23.96	c (23,0) c
175.88/23.96	c (23,0) c |-------------------------------------------------------------------------------------------------------|
175.88/23.96	c (23,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
175.88/23.96	c (23,0) c |-------------------------------------------------------------------------------------------------------|
175.88/23.96	c (23,0) c |  0 |    180 |     121073 |      62260 |    60940 |    23718 |    10236 |    74913 |     4783 |  0.000 |
175.88/23.96	c (23,0) c |  1 |    170 |     119310 |      62352 |    58973 |    23817 |    10314 |    76893 |     5031 |  0.000 |
175.88/23.96	c (23,0) c |  2 |    176 |     124899 |      66237 |    61643 |    27700 |    11303 |    75988 |     5081 |  0.000 |
175.88/23.96	c (23,0) c |  3 |    162 |     128798 |      67580 |    64437 |    29039 |    11467 |    75442 |     5159 |  0.000 |
175.88/23.96	c (23,0) c |  4 |    175 |     127529 |      66773 |    64541 |    28239 |    10940 |    76446 |     4971 |  0.000 |
175.88/23.96	c (23,0) c |  5 |    206 |     129566 |      67357 |    62177 |    28824 |    10732 |    76572 |     5070 |  0.000 |
175.88/23.96	c (23,0) c |  6 |    167 |     124104 |      65772 |    64242 |    27233 |    10809 |    76590 |     5073 |  0.000 |
175.88/23.96	c (23,0) c |  7 |    150 |     126725 |      68274 |    61785 |    29732 |    11668 |    75641 |     5184 |  0.000 |
175.88/23.96	c (23,0) c 
175.88/23.96	c (23,0) c synthesis      526605 conflicts   188382623 propagations     4936 conflicts/sec  1765853 propagations/sec
175.88/23.96	c (23,0) c Total Memory so far : 687.30Mb
175.88/23.96	c (23,0) c
175.88/23.96	c (23,0) c |-------------------------------------------------------------------------------------------------------|
175.88/23.96	c (23,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
175.88/23.96	c (23,0) c |-------------------------------------------------------------------------------------------------------|
175.88/23.96	c (23,0) c |  0 |    223 |     149931 |      78132 |    64898 |    24567 |    12442 |    89878 |     6527 |  0.000 |
175.88/23.97	c (23,0) c |  1 |    206 |     148483 |      78179 |    64800 |    24620 |    12699 |    90708 |     6603 |  0.000 |
175.88/23.97	c (23,0) c |  2 |    228 |     152143 |      80516 |    66133 |    26964 |    12993 |    89179 |     6335 |  0.000 |
175.88/23.97	c (23,0) c |  3 |    250 |     159388 |      83407 |    67424 |    29847 |    13430 |    89993 |     6766 |  0.000 |
175.88/23.97	c (23,0) c |  4 |    257 |     156532 |      81753 |    67439 |    28187 |    12756 |    90676 |     6427 |  0.000 |
175.88/23.97	c (23,0) c |  5 |    261 |     156950 |      82563 |    64759 |    29000 |    12513 |    90717 |     6357 |  0.000 |
175.88/23.97	c (23,0) c |  6 |    214 |     149945 |      80172 |    67398 |    26615 |    12678 |    90745 |     6245 |  0.000 |
175.88/23.97	c (23,0) c |  7 |    186 |     154448 |      83464 |    65240 |    29899 |    13923 |    89115 |     6571 |  0.000 |
175.88/23.97	c (23,0) c 
175.88/23.97	c (23,0) c synthesis      648186 conflicts   236714373 propagations     4679 conflicts/sec  1708789 propagations/sec
175.88/23.97	c (23,0) c Total Memory so far : 687.30Mb
175.88/23.97	c (23,0) c
175.88/23.97	c (23,0) c |-------------------------------------------------------------------------------------------------------|
175.88/23.97	c (23,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
175.88/23.97	c (23,0) c |-------------------------------------------------------------------------------------------------------|
175.88/23.97	c (23,0) c |  0 |    268 |     175528 |      92450 |    67439 |    21282 |    14290 |   102120 |     7663 |  0.000 |
175.88/23.97	c (23,0) c |  1 |    302 |     176391 |      92160 |    68021 |    20995 |    14366 |   101420 |     7780 |  0.000 |
175.88/23.97	c (23,0) c |  2 |    290 |     175882 |      93661 |    68187 |    22486 |    14468 |   101606 |     7381 |  0.000 |
175.88/23.97	c (23,0) c |  3 |    303 |     183887 |      96702 |    68971 |    25525 |    14891 |   101945 |     7978 |  0.000 |
175.88/23.97	c (23,0) c |  4 |    315 |     180511 |      94445 |    69110 |    23272 |    14428 |   102065 |     7521 |  0.000 |
175.88/23.97	c (23,0) c |  5 |    280 |     179302 |      96509 |    67232 |    25335 |    14659 |    93932 |     7725 |  0.000 |
175.88/23.97	c (23,0) c |  6 |    287 |     174990 |      93248 |    69588 |    22072 |    14174 |   102297 |     7350 |  0.000 |
175.88/23.97	c (23,0) c |  7 |    269 |     180077 |      97241 |    66967 |    26067 |    15582 |   101229 |     7600 |  0.000 |
175.88/23.97	c (23,0) c 
175.88/23.97	c (23,0) c synthesis      756416 conflicts   281207887 propagations     4439 conflicts/sec  1650307 propagations/sec
279.58/36.96	c (36,0) c Total Memory so far : 687.30Mb
279.58/36.96	c (36,0) c
279.58/36.96	c (36,0) c Try to adapt solver strategies
279.58/36.96	c (36,0) c 
279.58/36.96	c (36,0) c Nothing extreme in this problem, continue with glucose default strategies.
279.58/36.96	c (36,0) c
279.58/36.96	c (36,0) c
279.58/36.96	c (36,0) c Try to adapt solver strategies
279.58/36.96	c (36,0) c 
279.58/36.96	c (36,0) c Nothing extreme in this problem, continue with glucose default strategies.
279.58/36.96	c (36,0) c
279.58/36.96	c (36,0) c
279.58/36.96	c (36,0) c Try to adapt solver strategies
279.58/36.96	c (36,0) c 
279.58/36.96	c (36,0) c Nothing extreme in this problem, continue with glucose default strategies.
279.58/36.96	c (36,0) c
279.58/36.96	c (36,0) c
279.58/36.96	c (36,0) c Try to adapt solver strategies
279.58/36.96	c (36,0) c 
279.58/36.96	c (36,0) c Nothing extreme in this problem, continue with glucose default strategies.
279.58/36.96	c (36,0) c
279.58/36.96	c (36,0) c
279.58/36.96	c (36,0) c |-------------------------------------------------------------------------------------------------------|
279.58/36.96	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
279.58/36.96	c (36,0) c |-------------------------------------------------------------------------------------------------------|
279.58/36.97	c (36,0) c |  0 |    346 |     201083 |     105384 |    69595 |    34215 |    15675 |   113798 |     9276 |  0.000 |
279.58/36.97	c (36,0) c |  1 |    350 |     200901 |     106720 |    69990 |    35556 |    15971 |   113485 |     9267 |  0.000 |
279.58/36.97	c (36,0) c |  2 |    350 |     196839 |     104776 |    69536 |    33600 |    15521 |   113605 |     8637 |  0.000 |
279.58/36.97	c (36,0) c |  3 |    362 |     207515 |     109572 |    70139 |    38394 |    16314 |   112845 |     9221 |  0.000 |
279.58/36.97	c (36,0) c |  4 |    355 |     202183 |     106682 |    70985 |    35509 |    16143 |   113113 |     8563 |  0.000 |
279.58/36.97	c (36,0) c |  5 |    347 |     204051 |     109987 |    69036 |    38813 |    16474 |   112860 |     8751 |  0.000 |
279.58/36.97	c (36,0) c |  6 |    369 |     201467 |     107674 |    71803 |    36497 |    16221 |   112246 |     8317 |  0.000 |
279.58/36.97	c (36,0) c |  7 |    317 |     205834 |     110669 |    69793 |    39494 |    17178 |   112010 |     8554 |  0.000 |
279.58/36.97	c (36,0) c 
279.58/36.97	c (36,0) c synthesis      861464 conflicts   324486341 propagations     4259 conflicts/sec  1604069 propagations/sec
279.58/36.97	c (36,0) c Total Memory so far : 687.30Mb
279.58/36.97	c (36,0) c
279.58/36.97	c (36,0) c |-------------------------------------------------------------------------------------------------------|
279.58/36.97	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
279.58/36.97	c (36,0) c |-------------------------------------------------------------------------------------------------------|
279.58/36.97	c (36,0) c |  0 |    426 |     232340 |     121709 |    71413 |    30326 |    17425 |   128324 |    11000 |  0.000 |
279.58/36.97	c (36,0) c |  1 |    423 |     231609 |     123368 |    71565 |    31994 |    17927 |   127559 |    11077 |  0.000 |
279.58/36.97	c (36,0) c |  2 |    383 |     226673 |     121684 |    70933 |    30304 |    18063 |   128125 |    10104 |  0.000 |
279.58/36.97	c (36,0) c |  3 |    452 |     235431 |     125012 |    71098 |    33632 |    18062 |   128083 |    10410 |  0.000 |
279.58/36.97	c (36,0) c |  4 |    422 |     232061 |     123009 |    72996 |    31626 |    18356 |   127341 |     9876 |  0.000 |
279.58/36.97	c (36,0) c |  5 |    431 |     238271 |     128530 |    72109 |    37147 |    18542 |   127239 |     9969 |  0.000 |
279.58/36.97	c (36,0) c |  6 |    391 |     228453 |     124223 |    73539 |    32846 |    18674 |   127383 |     9676 |  0.000 |
279.58/36.97	c (36,0) c |  7 |    385 |     238592 |     128383 |    72903 |    37004 |    19143 |   126963 |    10759 |  0.000 |
279.58/36.97	c (36,0) c 
279.58/36.97	c (36,0) c synthesis      995918 conflicts   379250263 propagations     4113 conflicts/sec  1566191 propagations/sec
279.58/36.97	c (36,0) c Total Memory so far : 687.30Mb
279.58/36.97	c (36,0) c
279.58/36.97	c (36,0) c |-------------------------------------------------------------------------------------------------------|
279.58/36.97	c (36,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
279.58/36.97	c (36,0) c |-------------------------------------------------------------------------------------------------------|
279.58/36.97	c (36,0) c |  0 |    497 |     254864 |     133971 |    72211 |    42588 |    18757 |   139339 |    12021 |  0.000 |
279.58/36.97	c (36,0) c |  1 |    511 |     256175 |     136228 |    72986 |    44855 |    19634 |   138384 |    12417 |  0.000 |
279.58/36.97	c (36,0) c |  2 |    477 |     250399 |     133453 |    72270 |    42072 |    19352 |   138323 |    11409 |  0.000 |
279.58/36.97	c (36,0) c |  3 |    515 |     256016 |     136425 |    72173 |    45045 |    19498 |   135812 |    11387 |  0.000 |
279.58/36.97	c (36,0) c |  4 |    459 |     252325 |     134502 |    73952 |    43119 |    19803 |   138036 |    10812 |  0.000 |
383.28/49.96	c (49,0) c |  5 |    456 |     260999 |     141796 |    73095 |    27608 |    20115 |   137905 |    10890 |  0.000 |
383.28/49.96	c (49,0) c |  6 |    431 |     252333 |     137470 |    74918 |    23288 |    20224 |   137063 |    10807 |  0.000 |
383.28/49.96	c (49,0) c |  7 |    422 |     262785 |     141967 |    74241 |    27780 |    20714 |   137360 |    12114 |  0.000 |
383.28/49.96	c (49,0) c 
383.28/49.96	c (49,0) c synthesis     1095812 conflicts   420163565 propagations     3999 conflicts/sec  1533259 propagations/sec
383.28/49.96	c (49,0) c Total Memory so far : 687.30Mb
383.28/49.96	c (49,0) c
383.28/49.96	c (49,0) c |-------------------------------------------------------------------------------------------------------|
383.28/49.96	c (49,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
383.28/49.96	c (49,0) c |-------------------------------------------------------------------------------------------------------|
383.28/49.96	c (49,0) c |  0 |    572 |     279842 |     146246 |    73987 |    32062 |    20371 |   150994 |    12835 |  0.000 |
383.28/49.96	c (49,0) c |  1 |    565 |     279167 |     148737 |    74083 |    34560 |    21178 |   150141 |    13441 |  0.000 |
383.28/49.96	c (49,0) c |  2 |    528 |     268883 |     143982 |    72886 |    29793 |    20475 |   150820 |    12270 |  0.000 |
383.28/49.96	c (49,0) c |  3 |    515 |     281490 |     152439 |    73253 |    38254 |    22339 |   135812 |    12048 |  0.000 |
383.28/49.96	c (49,0) c |  4 |    512 |     279069 |     149267 |    76222 |    35079 |    21945 |   149478 |    12283 |  0.000 |
383.28/49.96	c (49,0) c |  5 |    499 |     284340 |     155262 |    74056 |    41075 |    21862 |   149534 |    11811 |  0.000 |
383.28/49.96	c (49,0) c |  6 |    470 |     273261 |     149565 |    75921 |    35383 |    21444 |   149962 |    11477 |  0.000 |
383.28/49.96	c (49,0) c |  7 |    478 |     284356 |     153489 |    74940 |    39302 |    21825 |   149445 |    13359 |  0.000 |
383.28/49.96	c (49,0) c 
383.28/49.96	c (49,0) c synthesis     1198987 conflicts   462138782 propagations     3919 conflicts/sec  1510634 propagations/sec
383.28/49.96	c (49,0) c Total Memory so far : 687.30Mb
383.28/49.96	c (49,0) c
383.28/49.96	c (49,0) c |-------------------------------------------------------------------------------------------------------|
383.28/49.96	c (49,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
383.28/49.96	c (49,0) c |-------------------------------------------------------------------------------------------------------|
383.28/49.96	c (49,0) c |  0 |    645 |     301676 |     157406 |    75314 |    43222 |    21904 |   159720 |    13471 |  0.000 |
383.28/49.97	c (49,0) c |  1 |    633 |     303062 |     161697 |    74955 |    47520 |    22877 |   159771 |    14340 |  0.000 |
383.28/49.97	c (49,0) c |  2 |    591 |     286428 |     153597 |    73393 |    39408 |    21427 |   161180 |    13039 |  0.001 |
383.28/49.97	c (49,0) c |  3 |    539 |     305450 |     165998 |    74737 |    26413 |    24431 |   158108 |    13310 |  0.000 |
383.28/49.97	c (49,0) c |  4 |    551 |     299147 |     160421 |    77426 |    46232 |    23414 |   158569 |    13421 |  0.000 |
383.28/49.97	c (49,0) c |  5 |    536 |     305338 |     167633 |    75137 |    28040 |    23481 |   159130 |    12821 |  0.000 |
383.28/49.97	c (49,0) c |  6 |    538 |     293142 |     160585 |    76823 |    46404 |    22476 |   160134 |    12083 |  0.000 |
383.28/49.97	c (49,0) c |  7 |    551 |     304179 |     163838 |    75495 |    49652 |    22707 |   159646 |    14474 |  0.000 |
383.28/49.97	c (49,0) c 
383.28/49.97	c (49,0) c synthesis     1291176 conflicts   499991632 propagations     3822 conflicts/sec  1480195 propagations/sec
383.28/49.97	c (49,0) c Total Memory so far : 687.30Mb
383.28/49.97	c (49,0) c
383.28/49.97	c (49,0) c |-------------------------------------------------------------------------------------------------------|
383.28/49.97	c (49,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
383.28/49.97	c (49,0) c |-------------------------------------------------------------------------------------------------------|
383.28/49.97	c (49,0) c |  0 |    680 |     323203 |     169989 |    75920 |    30399 |    23397 |   172409 |    14610 |  0.000 |
383.28/49.97	c (49,0) c |  1 |    694 |     330443 |     177835 |    75924 |    38246 |    24725 |   167616 |    15679 |  0.000 |
383.28/49.97	c (49,0) c |  2 |    657 |     312916 |     167569 |    75515 |    27977 |    23145 |   172588 |    14292 |  0.000 |
383.28/49.97	c (49,0) c |  3 |    594 |     334792 |     183353 |    75634 |    43768 |    26287 |   168536 |    14600 |  0.000 |
383.28/49.97	c (49,0) c |  4 |    625 |     325560 |     175143 |    78162 |    35563 |    24791 |   170222 |    14729 |  0.000 |
383.28/49.97	c (49,0) c |  5 |    566 |     332016 |     183856 |    75844 |    44263 |    25346 |   170385 |    13734 |  0.000 |
479.01/61.96	c (61,0) c |  6 |    591 |     318032 |     175105 |    78082 |    35522 |    24049 |   171626 |    12941 |  0.000 |
479.01/61.96	c (61,0) c |  7 |    607 |     327622 |     176816 |    76170 |    37229 |    24154 |   171488 |    15654 |  0.000 |
479.01/61.96	c (61,0) c 
479.01/61.96	c (61,0) c synthesis     1409667 conflicts   549045601 propagations     3733 conflicts/sec  1453838 propagations/sec
479.01/61.96	c (61,0) c Total Memory so far : 687.30Mb
479.01/61.96	c (61,0) c
479.01/61.96	c (61,0) c |-------------------------------------------------------------------------------------------------------|
479.01/61.96	c (61,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
479.01/61.96	c (61,0) c |-------------------------------------------------------------------------------------------------------|
479.01/61.96	c (61,0) c |  0 |    706 |     341284 |     180791 |    76318 |    41202 |    24657 |   178516 |    15340 |  0.000 |
479.01/61.96	c (61,0) c |  1 |    758 |     352101 |     189563 |    76556 |    49974 |    25989 |   179442 |    16748 |  0.000 |
479.01/61.96	c (61,0) c |  2 |    715 |     336595 |     180263 |    76545 |    40671 |    24725 |   180632 |    15094 |  0.000 |
479.01/61.96	c (61,0) c |  3 |    641 |     355104 |     194879 |    76121 |    55294 |    27430 |   177968 |    15308 |  0.000 |
479.01/61.96	c (61,0) c |  4 |    683 |     347111 |     187363 |    78894 |    47783 |    25782 |   179230 |    15876 |  0.000 |
479.01/61.96	c (61,0) c |  5 |    581 |     347777 |     193919 |    76489 |    54326 |    26591 |   176451 |    14271 |  0.000 |
479.01/61.96	c (61,0) c |  6 |    646 |     337317 |     185956 |    78593 |    46374 |    25233 |   180094 |    13550 |  0.000 |
479.01/61.96	c (61,0) c |  7 |    649 |     342738 |     185618 |    76449 |    46031 |    25054 |   178542 |    16335 |  0.000 |
479.01/61.96	c (61,0) c 
479.01/61.96	c (61,0) c synthesis     1498352 conflicts   586735621 propagations     3659 conflicts/sec  1432665 propagations/sec
479.01/61.96	c (61,0) c Total Memory so far : 687.30Mb
479.01/61.96	c (61,0) c
479.01/61.96	c (61,0) c |-------------------------------------------------------------------------------------------------------|
479.01/61.96	c (61,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
479.01/61.96	c (61,0) c |-------------------------------------------------------------------------------------------------------|
479.01/61.96	c (61,0) c |  0 |    710 |     360472 |     193037 |    76699 |    53448 |    26598 |   188591 |    15857 |  0.000 |
479.01/61.96	c (61,0) c |  1 |    786 |     368956 |     199615 |    77115 |    32031 |    27142 |   188066 |    17491 |  0.000 |
479.01/61.96	c (61,0) c |  2 |    770 |     357082 |     191671 |    77229 |    52079 |    25938 |   189122 |    16420 |  0.000 |
479.01/61.96	c (61,0) c |  3 |    710 |     378108 |     207213 |    76665 |    39629 |    28602 |   186573 |    16156 |  0.000 |
479.01/61.97	c (61,0) c |  4 |    725 |     366752 |     198485 |    79616 |    30902 |    26804 |   188146 |    16794 |  0.000 |
479.01/61.97	c (61,0) c |  5 |    586 |     364747 |     204794 |    76905 |    37210 |    27642 |   187023 |    14698 |  0.000 |
479.01/61.97	c (61,0) c |  6 |    660 |     354461 |     196727 |    79323 |    29136 |    26545 |   188580 |    14176 |  0.000 |
479.01/61.97	c (61,0) c |  7 |    662 |     355949 |     193527 |    76872 |    53940 |    25955 |   187028 |    16935 |  0.000 |
479.01/61.97	c (61,0) c 
479.01/61.97	c (61,0) c synthesis     1585069 conflicts   623112378 propagations     3591 conflicts/sec  1411553 propagations/sec
479.01/61.97	c (61,0) c Total Memory so far : 687.30Mb
479.01/61.97	c (61,0) c
479.01/61.97	c (61,0) c |-------------------------------------------------------------------------------------------------------|
479.01/61.97	c (61,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
479.01/61.97	c (61,0) c |-------------------------------------------------------------------------------------------------------|
479.01/61.97	c (61,0) c |  0 |    757 |     375712 |     201882 |    76911 |    34289 |    27354 |   197628 |    16418 |  0.000 |
479.01/61.97	c (61,0) c |  1 |    831 |     387575 |     210238 |    77435 |    42654 |    28301 |   196461 |    18289 |  0.000 |
479.01/61.97	c (61,0) c |  2 |    787 |     375403 |     202620 |    77703 |    35035 |    27289 |   197812 |    17280 |  0.000 |
479.01/61.97	c (61,0) c |  3 |    784 |     400337 |     219169 |    77399 |    51585 |    29685 |   195397 |    16777 |  0.000 |
479.01/61.97	c (61,0) c |  4 |    746 |     386103 |     209813 |    79989 |    42229 |    28145 |   196696 |    17662 |  0.000 |
479.01/61.97	c (61,0) c |  5 |    597 |     385033 |     217596 |    78594 |    50012 |    29623 |   195404 |    15259 |  0.000 |
479.01/61.97	c (61,0) c |  6 |    722 |     373109 |     207569 |    79698 |    39978 |    27623 |   196692 |    14684 |  0.000 |
582.73/74.96	c (74,0) c |  7 |    698 |     373792 |     203733 |    77155 |    36146 |    27088 |   195757 |    17494 |  0.000 |
582.73/74.96	c (74,0) c 
582.73/74.96	c (74,0) c synthesis     1672620 conflicts   659900172 propagations     3534 conflicts/sec  1394248 propagations/sec
582.73/74.96	c (74,0) c Total Memory so far : 687.30Mb
582.73/74.96	c (74,0) c
582.73/74.96	c (74,0) c |-------------------------------------------------------------------------------------------------------|
582.73/74.96	c (74,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
582.73/74.96	c (74,0) c |-------------------------------------------------------------------------------------------------------|
582.73/74.96	c (74,0) c |  0 |    804 |     395141 |     213647 |    77347 |    46054 |    28531 |   208738 |    17028 |  0.000 |
582.73/74.96	c (74,0) c |  1 |    873 |     409152 |     222795 |    77855 |    55211 |    29620 |   207635 |    19186 |  0.000 |
582.73/74.96	c (74,0) c |  2 |    832 |     402166 |     217919 |    78992 |    50334 |    29285 |   207822 |    18877 |  0.000 |
582.73/74.96	c (74,0) c |  3 |    839 |     427590 |     234170 |    78500 |    35982 |    31310 |   205969 |    17801 |  0.000 |
582.73/74.96	c (74,0) c |  4 |    787 |     407237 |     222000 |    80432 |    54417 |    29636 |   207115 |    18716 |  0.000 |
582.73/74.96	c (74,0) c |  5 |    645 |     407429 |     231101 |    79602 |    32913 |    30937 |   206017 |    16203 |  0.000 |
582.73/74.96	c (74,0) c |  6 |    769 |     396575 |     221364 |    80665 |    53773 |    29024 |   208250 |    16172 |  0.000 |
582.73/74.96	c (74,0) c |  7 |    749 |     400772 |     218387 |    79648 |    50800 |    28970 |   206892 |    18630 |  0.000 |
582.73/74.96	c (74,0) c 
582.73/74.96	c (74,0) c synthesis     1781383 conflicts   705322680 propagations     3471 conflicts/sec  1374446 propagations/sec
582.73/74.96	c (74,0) c Total Memory so far : 687.30Mb
582.73/74.96	c (74,0) c
582.73/74.96	c (74,0) c |-------------------------------------------------------------------------------------------------------|
582.73/74.96	c (74,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
582.73/74.96	c (74,0) c |-------------------------------------------------------------------------------------------------------|
582.73/74.96	c (74,0) c |  0 |    822 |     409834 |     222579 |    77606 |    54986 |    29521 |   214512 |    17857 |  0.000 |
582.73/74.96	c (74,0) c |  1 |    937 |     427141 |     233313 |    78203 |    35130 |    30750 |   215834 |    19928 |  0.000 |
582.73/74.96	c (74,0) c |  2 |    870 |     420274 |     228335 |    79376 |    60750 |    30583 |   215991 |    19843 |  0.000 |
582.73/74.96	c (74,0) c |  3 |    863 |     447391 |     245553 |    78974 |    47364 |    32685 |   213867 |    18537 |  0.000 |
582.73/74.96	c (74,0) c |  4 |    807 |     420807 |     230208 |    80787 |    32022 |    30459 |   216108 |    19327 |  0.000 |
582.73/74.97	c (74,0) c |  5 |    686 |     428074 |     243200 |    80538 |    45012 |    32134 |   214177 |    16909 |  0.000 |
582.73/74.97	c (74,0) c |  6 |    793 |     413933 |     231372 |    81070 |    33187 |    30201 |   214887 |    16953 |  0.000 |
582.73/74.97	c (74,0) c |  7 |    791 |     419061 |     228549 |    80549 |    60961 |    30287 |   215719 |    19312 |  0.000 |
582.73/74.97	c (74,0) c 
582.73/74.97	c (74,0) c synthesis     1863109 conflicts   739581357 propagations     3418 conflicts/sec  1356857 propagations/sec
582.73/74.97	c (74,0) c Total Memory so far : 687.30Mb
582.73/74.97	c (74,0) c
582.73/74.97	c (74,0) c |-------------------------------------------------------------------------------------------------------|
582.73/74.97	c (74,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
582.73/74.97	c (74,0) c |-------------------------------------------------------------------------------------------------------|
582.73/74.97	c (74,0) c |  0 |    845 |     424211 |     231552 |    77811 |    33360 |    30521 |   224171 |    18424 |  0.000 |
582.73/74.97	c (74,0) c |  1 |   1000 |     446521 |     244093 |    78577 |    45909 |    31811 |   224140 |    20466 |  0.000 |
582.73/74.97	c (74,0) c |  2 |    884 |     440779 |     240189 |    79947 |    41998 |    32224 |   223468 |    20551 |  0.000 |
582.73/74.97	c (74,0) c |  3 |    918 |     467341 |     256653 |    79230 |    58465 |    34027 |   222023 |    19262 |  0.000 |
582.73/74.97	c (74,0) c |  4 |    837 |     435933 |     239397 |    81019 |    41211 |    31418 |   224566 |    20034 |  0.000 |
582.73/74.97	c (74,0) c |  5 |    721 |     445935 |     253886 |    81328 |    55698 |    33198 |   222804 |    17464 |  0.000 |
582.73/74.97	c (74,0) c |  6 |    838 |     431572 |     241849 |    81322 |    43665 |    31117 |   224474 |    17449 |  0.000 |
582.73/74.97	c (74,0) c |  7 |    830 |     442215 |     241234 |    81158 |    43046 |    31747 |   223398 |    20096 |  0.000 |
582.73/74.97	c (74,0) c 
686.44/87.96	c (87,0) c synthesis     1948853 conflicts   775393595 propagations     3378 conflicts/sec  1343902 propagations/sec
686.44/87.96	c (87,0) c Total Memory so far : 687.30Mb
686.44/87.96	c (87,0) c
686.44/87.96	c (87,0) c |-------------------------------------------------------------------------------------------------------|
686.44/87.96	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
686.44/87.96	c (87,0) c |-------------------------------------------------------------------------------------------------------|
686.44/87.96	c (87,0) c |  0 |    879 |     441024 |     241460 |    78033 |    43268 |    31545 |   232750 |    18893 |  0.000 |
686.44/87.96	c (87,0) c |  1 |   1031 |     461918 |     253326 |    78732 |    55143 |    32647 |   232025 |    21071 |  0.000 |
686.44/87.96	c (87,0) c |  2 |    925 |     459838 |     251294 |    80300 |    53104 |    33626 |   228772 |    21092 |  0.000 |
686.44/87.96	c (87,0) c |  3 |    967 |     486741 |     267639 |    79415 |    36254 |    35282 |   229290 |    19822 |  0.000 |
686.44/87.96	c (87,0) c |  4 |    889 |     452760 |     248714 |    81165 |    50528 |    32292 |   232281 |    20654 |  0.000 |
686.44/87.96	c (87,0) c |  5 |    757 |     463214 |     264395 |    81629 |    66207 |    34326 |   230317 |    18062 |  0.000 |
686.44/87.96	c (87,0) c |  6 |    883 |     447005 |     251000 |    81488 |    52815 |    31895 |   232776 |    17951 |  0.000 |
686.44/87.96	c (87,0) c |  7 |    854 |     460406 |     252579 |    81377 |    54392 |    33154 |   230696 |    20785 |  0.000 |
686.44/87.96	c (87,0) c 
686.44/87.96	c (87,0) c synthesis     2030408 conflicts   809695158 propagations     3335 conflicts/sec  1329844 propagations/sec
686.44/87.96	c (87,0) c Total Memory so far : 687.30Mb
686.44/87.96	c (87,0) c
686.44/87.96	c (87,0) c |-------------------------------------------------------------------------------------------------------|
686.44/87.96	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
686.44/87.96	c (87,0) c |-------------------------------------------------------------------------------------------------------|
686.44/87.96	c (87,0) c |  0 |    912 |     457487 |     251579 |    78214 |    53387 |    32471 |   242823 |    19560 |  0.000 |
686.44/87.96	c (87,0) c |  1 |   1068 |     481156 |     264601 |    79070 |    66418 |    33711 |   241528 |    21991 |  0.000 |
686.44/87.96	c (87,0) c |  2 |    936 |     481389 |     264043 |    80657 |    65853 |    35495 |   238919 |    21915 |  0.000 |
686.44/87.96	c (87,0) c |  3 |   1040 |     511632 |     281660 |    79651 |    50275 |    36870 |   238332 |    20381 |  0.000 |
686.44/87.96	c (87,0) c |  4 |    924 |     466689 |     257163 |    81354 |    58977 |    33161 |   241910 |    21244 |  0.000 |
686.44/87.96	c (87,0) c |  5 |    809 |     489048 |     279942 |    82008 |    48552 |    36191 |   239097 |    18819 |  0.000 |
686.44/87.96	c (87,0) c |  6 |    931 |     464757 |     261744 |    81688 |    63560 |    32900 |   242347 |    18563 |  0.000 |
686.44/87.96	c (87,0) c |  7 |    909 |     481158 |     264373 |    81811 |    66186 |    34517 |   240768 |    21639 |  0.000 |
686.44/87.96	c (87,0) c 
686.44/87.96	c (87,0) c synthesis     2125106 conflicts   849562619 propagations     3276 conflicts/sec  1309544 propagations/sec
686.44/87.96	c (87,0) c Total Memory so far : 687.30Mb
686.44/87.96	c (87,0) c
686.44/87.96	c (87,0) c |-------------------------------------------------------------------------------------------------------|
686.44/87.96	c (87,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
686.44/87.97	c (87,0) c |-------------------------------------------------------------------------------------------------------|
686.44/87.97	c (87,0) c |  0 |    951 |     468321 |     257899 |    78297 |    59707 |    33025 |   249007 |    19943 |  0.000 |
686.44/87.97	c (87,0) c |  1 |   1123 |     496556 |     273750 |    79281 |    42366 |    34620 |   247333 |    22466 |  0.000 |
686.44/87.97	c (87,0) c |  2 |    955 |     497789 |     273618 |    80951 |    42234 |    36383 |   245240 |    22395 |  0.000 |
686.44/87.97	c (87,0) c |  3 |   1083 |     530404 |     292359 |    79855 |    60974 |    38228 |   243791 |    20840 |  0.000 |
686.44/87.97	c (87,0) c |  4 |    940 |     476587 |     263066 |    81577 |    64880 |    33728 |   248392 |    21622 |  0.000 |
686.44/87.97	c (87,0) c |  5 |    874 |     506005 |     289620 |    82344 |    58230 |    37222 |   244886 |    19254 |  0.000 |
686.44/87.97	c (87,0) c |  6 |   1002 |     478180 |     268683 |    81843 |    37296 |    33527 |   248593 |    18929 |  0.000 |
686.44/87.97	c (87,0) c |  7 |    937 |     496451 |     273535 |    81977 |    42146 |    35395 |   246620 |    22184 |  0.000 |
686.44/87.97	c (87,0) c 
686.44/87.97	c (87,0) c synthesis     2192530 conflicts   878661577 propagations     3221 conflicts/sec  1290921 propagations/sec
822.05/104.96	c (104,0) c Total Memory so far : 687.30Mb
822.05/104.96	c (104,0) c
822.05/104.96	c (104,0) c |-------------------------------------------------------------------------------------------------------|
822.05/104.96	c (104,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
822.05/104.96	c (104,0) c |-------------------------------------------------------------------------------------------------------|
822.05/104.96	c (104,0) c |  0 |    984 |     478565 |     263899 |    78419 |    65707 |    33525 |   256383 |    20279 |  0.000 |
822.05/104.96	c (104,0) c |  1 |   1150 |     512233 |     283361 |    79466 |    51977 |    35780 |   254064 |    22982 |  0.000 |
822.05/104.96	c (104,0) c |  2 |    987 |     514716 |     282984 |    81732 |    51600 |    37272 |   251247 |    22889 |  0.000 |
822.05/104.96	c (104,0) c |  3 |   1140 |     548429 |     302332 |    80206 |    70946 |    39323 |   250727 |    21670 |  0.000 |
822.05/104.96	c (104,0) c |  4 |    953 |     493150 |     273285 |    82093 |    41897 |    35088 |   254559 |    22221 |  0.000 |
822.05/104.96	c (104,0) c |  5 |    916 |     522706 |     299498 |    82625 |    68108 |    38381 |   251509 |    19792 |  0.000 |
822.05/104.96	c (104,0) c |  6 |   1063 |     494275 |     277620 |    81969 |    46233 |    34417 |   254808 |    19315 |  0.000 |
822.05/104.96	c (104,0) c |  7 |    974 |     511263 |     282358 |    82139 |    50969 |    36271 |   253710 |    22745 |  0.000 |
822.05/104.96	c (104,0) c 
822.05/104.96	c (104,0) c synthesis     2265338 conflicts   909347376 propagations     3179 conflicts/sec  1276223 propagations/sec
822.05/104.96	c (104,0) c Total Memory so far : 687.30Mb
822.05/104.96	c (104,0) c
822.05/104.96	c (104,0) c |-------------------------------------------------------------------------------------------------------|
822.05/104.96	c (104,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
822.05/104.96	c (104,0) c |-------------------------------------------------------------------------------------------------------|
822.05/104.96	c (104,0) c |  0 |    996 |     489385 |     270977 |    78500 |    39586 |    34244 |   263274 |    20475 |  0.000 |
822.05/104.96	c (104,0) c |  1 |   1190 |     529015 |     293021 |    79742 |    61637 |    37062 |   260659 |    23519 |  0.000 |
822.05/104.96	c (104,0) c |  2 |   1021 |     530174 |     291779 |    82104 |    60395 |    38077 |   259723 |    23290 |  0.000 |
822.05/104.97	c (104,0) c |  3 |   1162 |     565620 |     312579 |    80572 |    45394 |    40470 |   257294 |    22235 |  0.000 |
822.05/104.97	c (104,0) c |  4 |    966 |     508857 |     282224 |    82643 |    50836 |    36273 |   261506 |    22863 |  0.000 |
822.05/104.97	c (104,0) c |  5 |    974 |     541123 |     310286 |    82845 |    43102 |    39457 |   257958 |    20270 |  0.000 |
822.05/104.97	c (104,0) c |  6 |   1094 |     505829 |     284537 |    82046 |    53149 |    35139 |   262721 |    19645 |  0.000 |
822.05/104.97	c (104,0) c |  7 |   1026 |     527360 |     291255 |    82302 |    59865 |    37141 |   260651 |    23370 |  0.000 |
822.05/104.97	c (104,0) c 
822.05/104.97	c (104,0) c synthesis     2336658 conflicts   939584646 propagations     3139 conflicts/sec  1262178 propagations/sec
822.05/104.97	c (104,0) c Total Memory so far : 687.30Mb
822.05/104.97	c (104,0) c
822.05/104.97	c (104,0) c |-------------------------------------------------------------------------------------------------------|
822.05/104.97	c (104,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
822.05/104.97	c (104,0) c |-------------------------------------------------------------------------------------------------------|
822.05/104.97	c (104,0) c |  0 |   1027 |     506191 |     280863 |    78738 |    49472 |    35418 |   272748 |    20891 |  0.000 |
822.05/104.97	c (104,0) c |  1 |   1221 |     550290 |     305090 |    80162 |    37903 |    38720 |   268312 |    24449 |  0.000 |
822.05/104.97	c (104,0) c |  2 |   1049 |     549005 |     302562 |    82534 |    71178 |    39042 |   269161 |    24210 |  0.000 |
822.05/104.97	c (104,0) c |  3 |   1188 |     587818 |     325593 |    80756 |    58408 |    42142 |   265858 |    22761 |  0.000 |
822.05/104.97	c (104,0) c |  4 |    996 |     525920 |     291988 |    83263 |    60600 |    37378 |   270767 |    23470 |  0.000 |
822.05/104.97	c (104,0) c |  5 |    981 |     561404 |     322998 |    83445 |    55814 |    41184 |   263796 |    20681 |  0.000 |
822.05/104.97	c (104,0) c |  6 |   1130 |     520809 |     293688 |    82222 |    62300 |    36228 |   271953 |    20137 |  0.000 |
822.05/104.97	c (104,0) c |  7 |   1080 |     543520 |     300496 |    82453 |    69106 |    38092 |   270091 |    24095 |  0.000 |
822.05/104.97	c (104,0) c 
822.05/104.97	c (104,0) c synthesis     2423278 conflicts   976546480 propagations     3090 conflicts/sec  1245121 propagations/sec
822.05/104.97	c (104,0) c Total Memory so far : 687.30Mb
822.05/104.97	c (104,0) c
925.70/117.97	c (117,0) c |-------------------------------------------------------------------------------------------------------|
925.70/117.97	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
925.70/117.97	c (117,0) c |-------------------------------------------------------------------------------------------------------|
925.70/117.97	c (117,0) c |  0 |   1066 |     519873 |     288569 |    79004 |    57178 |    36330 |   278894 |    21491 |  0.000 |
925.70/117.97	c (117,0) c |  1 |   1224 |     565736 |     314580 |    81249 |    47393 |    40131 |   273745 |    25110 |  0.000 |
925.70/117.97	c (117,0) c |  2 |   1090 |     564611 |     311446 |    82812 |    44260 |    39927 |   274939 |    24610 |  0.000 |
925.70/117.97	c (117,0) c |  3 |   1221 |     604664 |     335084 |    80932 |    67899 |    43247 |   272097 |    23186 |  0.000 |
925.70/117.97	c (117,0) c |  4 |   1028 |     537146 |     298349 |    83586 |    66960 |    38040 |   276057 |    23944 |  0.000 |
925.70/117.97	c (117,0) c |  5 |   1018 |     575189 |     331491 |    83542 |    64307 |    42010 |   273382 |    21086 |  0.000 |
925.70/117.97	c (117,0) c |  6 |   1179 |     530350 |     298985 |    82280 |    67597 |    36713 |   278729 |    20425 |  0.000 |
925.70/117.97	c (117,0) c |  7 |   1127 |     560136 |     309663 |    82865 |    42469 |    39056 |   275883 |    24592 |  0.000 |
925.70/117.97	c (117,0) c 
925.70/117.97	c (117,0) c synthesis     2488167 conflicts  1004839460 propagations     3048 conflicts/sec  1231121 propagations/sec
925.70/117.97	c (117,0) c Total Memory so far : 687.30Mb
925.70/117.97	c (117,0) c
925.70/117.97	c (117,0) c |-------------------------------------------------------------------------------------------------------|
925.70/117.97	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
925.70/117.97	c (117,0) c |-------------------------------------------------------------------------------------------------------|
925.70/117.97	c (117,0) c |  0 |   1092 |     532338 |     295607 |    79263 |    64216 |    37215 |   285314 |    22092 |  0.000 |
925.70/117.97	c (117,0) c |  1 |   1228 |     579808 |     324176 |    81378 |    56988 |    41404 |   279894 |    25727 |  0.000 |
925.70/117.97	c (117,0) c |  2 |   1124 |     578984 |     319759 |    83066 |    52573 |    40715 |   281776 |    25233 |  0.000 |
925.70/117.97	c (117,0) c |  3 |   1244 |     621856 |     345150 |    81145 |    39567 |    44361 |   278107 |    23727 |  0.000 |
925.70/117.97	c (117,0) c |  4 |   1064 |     546604 |     303859 |    83636 |    36669 |    38563 |   283859 |    24358 |  0.000 |
925.70/117.97	c (117,0) c |  5 |   1094 |     591865 |     340494 |    83950 |    73310 |    42814 |   279712 |    21573 |  0.000 |
925.70/117.97	c (117,0) c |  6 |   1238 |     540765 |     304460 |    82372 |    37277 |    37179 |   285351 |    20699 |  0.000 |
925.70/117.97	c (117,0) c |  7 |   1171 |     579303 |     320502 |    83302 |    53308 |    40289 |   282203 |    25190 |  0.000 |
925.70/117.97	c (117,0) c 
925.70/117.97	c (117,0) c synthesis     2554007 conflicts  1033128860 propagations     3012 conflicts/sec  1218198 propagations/sec
925.70/117.97	c (117,0) c Total Memory so far : 687.30Mb
925.70/117.97	c (117,0) c
925.70/117.97	c (117,0) c |-------------------------------------------------------------------------------------------------------|
925.70/117.97	c (117,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
925.70/117.97	c (117,0) c |-------------------------------------------------------------------------------------------------------|
925.70/117.97	c (117,0) c |  0 |   1108 |     542792 |     302189 |    79365 |    70798 |    37989 |   291836 |    22495 |  0.000 |
925.70/117.97	c (117,0) c |  1 |   1230 |     589645 |     331056 |    81470 |    63869 |    42116 |   284436 |    25954 |  0.000 |
925.70/117.97	c (117,0) c |  2 |   1132 |     592466 |     328276 |    83271 |    61090 |    41617 |   288370 |    25871 |  0.000 |
925.70/117.97	c (117,0) c |  3 |   1303 |     641056 |     355765 |    81353 |    50183 |    45495 |   284486 |    24005 |  0.000 |
925.70/117.97	c (117,0) c |  4 |   1098 |     560299 |     311513 |    83751 |    44323 |    39390 |   290619 |    24794 |  0.000 |
925.70/117.97	c (117,0) c |  5 |   1117 |     608641 |     350509 |    84679 |    44923 |    44075 |   285370 |    22008 |  0.000 |
925.70/117.97	c (117,0) c |  6 |   1263 |     555015 |     312912 |    82644 |    45728 |    38086 |   289325 |    21396 |  0.000 |
925.70/117.97	c (117,0) c |  7 |   1193 |     595270 |     330574 |    83457 |    63380 |    41265 |   287492 |    25585 |  0.000 |
925.70/117.97	c (117,0) c 
925.70/117.97	c (117,0) c synthesis     2622794 conflicts  1062597915 propagations     2981 conflicts/sec  1207532 propagations/sec
925.70/117.97	c (117,0) c Total Memory so far : 687.30Mb
925.70/117.97	c (117,0) c
925.70/117.97	c (117,0) c |-------------------------------------------------------------------------------------------------------|
1000.68/127.33	c (126,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1000.68/127.33	c (126,0) c |-------------------------------------------------------------------------------------------------------|
1000.68/127.33	c (126,0) c |  0 |   1144 |     557532 |     311111 |    79447 |    43923 |    38954 |   300343 |    22863 |  0.000 |
1000.68/127.33	c (126,0) c |  1 |   1287 |     610279 |     342501 |    81849 |    75314 |    43383 |   295927 |    27040 |  0.000 |
1000.68/127.33	c (126,0) c |  2 |   1182 |     609390 |     337979 |    83965 |    70793 |    42528 |   297013 |    26671 |  0.000 |
1000.68/127.33	c (126,0) c |  3 |   1348 |     661191 |     367926 |    81419 |    62344 |    46902 |   292481 |    24276 |  0.000 |
1000.68/127.33	c (126,0) c |  4 |   1153 |     578142 |     321057 |    83867 |    53867 |    40251 |   298635 |    25365 |  0.000 |
1000.68/127.34	c (126,0) c |  5 |   1131 |     627559 |     363099 |    84789 |    57513 |    45740 |   293719 |    22600 |  0.000 |
1000.68/127.34	c (126,0) c |  6 |   1287 |     573349 |     323604 |    83100 |    56421 |    39438 |   300090 |    22135 |  0.000 |
1000.68/127.34	c (126,0) c |  7 |   1245 |     615937 |     341914 |    83766 |    74720 |    42430 |   296620 |    26156 |  0.000 |
1000.68/127.34	c (126,0) c 
1000.68/127.34	c (126,0) c synthesis     2709191 conflicts  1099884795 propagations     2945 conflicts/sec  1195769 propagations/sec
1000.68/127.34	c (126,0) c Total Memory so far : 687.30Mb
1000.68/127.34	c (126,0) c
1000.68/127.34	c (126,0) c |-------------------------------------------------------------------------------------------------------|
1000.68/127.34	c (126,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1000.68/127.34	c (126,0) c |-------------------------------------------------------------------------------------------------------|
1000.68/127.34	c (126,0) c |  0 |   1174 |     573460 |     320590 |    79534 |    53402 |    40138 |   308015 |    23304 |  0.000 |
1000.68/127.34	c (126,0) c |  1 |   1366 |     632099 |     354666 |    82212 |    49077 |    44575 |   303745 |    27896 |  0.000 |
1000.68/127.34	c (126,0) c |  2 |   1208 |     628092 |     348874 |    84510 |    43284 |    43636 |   304624 |    27248 |  0.000 |
1000.68/127.34	c (126,0) c |  3 |   1373 |     679422 |     379057 |    81546 |    73475 |    48049 |   299327 |    25031 |  0.000 |
1000.68/127.34	c (126,0) c |  4 |   1175 |     592505 |     329761 |    83989 |    62570 |    41192 |   304283 |    25881 |  0.000 |
1000.68/127.34	c (126,0) c |  5 |   1185 |     646928 |     374397 |    84972 |    68811 |    46826 |   301470 |    23210 |  0.000 |
1000.68/127.34	c (126,0) c |  6 |   1311 |     588488 |     333348 |    83339 |    66165 |    40518 |   307292 |    22775 |  0.000 |
1000.68/127.34	c (126,0) c |  7 |   1262 |     632738 |     352363 |    83986 |    46774 |    43391 |   301911 |    26683 |  0.000 |
1000.68/127.34	c (126,0) c 
1000.68/127.34	c (126,0) c synthesis     2793056 conflicts  1136731481 propagations     2910 conflicts/sec  1184476 propagations/sec
1000.68/127.34	c (126,0) c Total Memory so far : 687.30Mb
1000.68/127.34	c (126,0) c
1000.68/127.34	c (126,0) c |-------------------------------------------------------------------------------------------------------|
1000.68/127.34	c (126,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1000.68/127.34	c (126,0) c |-------------------------------------------------------------------------------------------------------|
1000.68/127.34	c (126,0) c |  0 |   1209 |     588779 |     329284 |    79679 |    62096 |    41284 |   315178 |    23912 |  0.000 |
1000.68/127.34	c (126,0) c |  1 |   1393 |     647908 |     364826 |    82308 |    59237 |    45706 |   310738 |    28484 |  0.000 |
1000.68/127.34	c (126,0) c |  2 |   1241 |     647182 |     359926 |    84746 |    54336 |    44753 |   311570 |    27864 |  0.000 |
1000.68/127.34	c (126,0) c |  3 |   1386 |     694247 |     388401 |    82714 |    41816 |    49026 |   307198 |    26027 |  0.000 |
1000.68/127.34	c (126,0) c |  4 |   1185 |     606115 |     337971 |    84228 |    70781 |    42313 |   313389 |    26350 |  0.000 |
1000.68/127.34	c (126,0) c |  5 |   1238 |     662582 |     383147 |    85106 |    77561 |    47706 |   307630 |    23808 |  0.000 |
1000.68/127.34	c (126,0) c |  6 |   1320 |     600029 |     341176 |    83419 |    73992 |    41293 |   312695 |    23235 |  0.000 |
1000.68/127.34	c (126,0) c |  7 |   1291 |     650007 |     362741 |    84279 |    57152 |    44387 |   311506 |    27226 |  0.000 |
1000.68/127.34	c (126,0) c 
1000.68/127.34	c (126,0) c synthesis     2867472 conflicts  1168435517 propagations     2892 conflicts/sec  1178340 propagations/sec
1000.68/127.34	c (126,0) c Total Memory so far : 687.30Mb
1000.68/127.34	c (126,0) c last restart ## conflicts  :  561 68 
1000.68/127.34	c (126,0) c Thread 1 is 100% pure glucose! First thread to finish! (SAT answer).
1000.68/127.34	c (126,0) c Total Memory so far : 687.30Mb
1000.68/127.34	c (126,0) c
1000.68/127.34	c (126,0) c real time : 125.109 s
1000.68/127.34	c (126,0) c cpu time  : 994.615 s
1000.68/127.34	c (126,0) c
1000.68/127.34	c (126,0) c
1000.68/127.34	c (126,0) c
1000.68/127.34	c (126,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1000.68/127.34	c (126,0) c
1000.68/127.34	c (126,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1000.68/127.34	c (126,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1000.68/127.34	c (126,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1000.68/127.34	c (126,0) c | Conflicts     |         2874247 |     330007 |     366006 |     360582 |     389345 |     338728 |     384008 |     342023 |     363548 |
1000.68/127.34	c (126,0) c | Decisions     |         5107737 |     589951 |     650053 |     648205 |     695927 |     607259 |     663902 |     601230 |     651210 |
1000.68/127.34	c (126,0) c | Propagations  |      1171480433 |  136064890 |  150550925 |  146725202 |  155508008 |  136493668 |  159219206 |  139914000 |  147004534 |
1000.68/127.34	c (126,0) c | Avg_Trail     |                 |       3111 |       3067 |       3068 |       3066 |       3083 |       3122 |       3130 |       3081 |
1000.68/127.34	c (126,0) c | Avg_DL        |                 |         24 |         26 |         26 |         25 |         25 |         25 |         25 |         26 |
1000.68/127.34	c (126,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1000.68/127.34	c (126,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1000.68/127.34	c (126,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1000.68/127.34	c (126,0) c | Exported      |          357120 |      41367 |      45860 |      44800 |      49082 |      42391 |      47786 |      41388 |      44446 |
1000.68/127.34	c (126,0) c | Imported      |         2493152 |     315299 |     311068 |     311917 |     308003 |     313389 |     309275 |     312695 |     311506 |
1000.68/127.34	c (126,0) c | Good          |             427 |         54 |         55 |         53 |         50 |         56 |         53 |         54 |         52 |
1000.68/127.34	c (126,0) c | Purge         |         2492725 |     315245 |     311013 |     311864 |     307953 |     313333 |     309222 |     312641 |     311454 |
1000.68/127.34	c (126,0) c | Promoted      |          207330 |      23958 |      28598 |      27918 |      26102 |      26382 |      23847 |      23269 |      27256 |
1000.68/127.34	c (126,0) c | Remove_Imp    |         1737398 |     220868 |     220210 |     224618 |     223301 |     211052 |     203341 |     211845 |     222163 |
1000.68/127.34	c (126,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1000.68/127.34	c (126,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1000.68/127.34	c (126,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1000.68/127.34	c (126,0) c | Binaries      |                 |          7 |          6 |          8 |         11 |          5 |          8 |          7 |          9 |
1000.68/127.34	c (126,0) c | Glues         |                 |        131 |        133 |        117 |        110 |        119 |        139 |        118 |        145 |
1000.68/127.34	c (126,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1000.68/127.34	c (126,0) c | Orig_Seen     |            61 % |      79688 |      82516 |      84750 |      82840 |      84232 |      85108 |      83428 |      84293 |
1000.68/127.34	c (126,0) c | Diff Orig seen|                 | -     2828 |      X     |       2234 |        324 |       1716 |       2592 |        912 |       1777 |
1000.68/127.34	c (126,0) c | Hamming       |            30 % |       2005 |      X     |       2107 |       1905 |       2061 |       1918 |       1768 |       2264 |
1000.68/127.34	c (126,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1000.68/127.34	c (126,0) 
1000.68/127.34	c (126,0) s SATISFIABLE
1000.68/127.35	c (126,1) SatSolver.solve End
1000.68/127.35	c (126,1) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
1000.68/127.35	c (126,1) Show results Begin
1000.68/127.37	c (126,1) h[0] = 137
1000.68/127.37	c (126,1) h[1] = 31
1000.68/127.37	c (126,1) h[2] = 22
1000.68/127.37	c (126,1) h[3] = 107
1000.68/127.37	c (126,1) h[4] = 132
1000.68/127.37	c (126,1) h[5] = 9
1000.68/127.37	c (126,1) h[6] = 27
1000.68/127.37	c (126,1) h[7] = 18
1000.68/127.37	c (126,1) h[8] = 74
1000.68/127.37	c (126,1) h[9] = 58
1000.68/127.37	c (126,1) h[10] = 16
1000.68/127.37	c (126,1) h[11] = 14
1000.68/127.37	c (126,1) h[12] = 36
1000.68/127.37	c (126,1) h[13] = 27
1000.68/127.37	c (126,1) h[14] = 68
1000.68/127.37	c (126,1) h[15] = 22
1000.68/127.37	c (126,1) h[16] = 41
1000.68/127.37	c (126,1) r[0] = 0
1000.68/127.37	c (126,1) r[1] = 0
1000.68/127.37	c (126,1) r[2] = 0
1000.68/127.37	c (126,1) r[3] = 0
1000.68/127.37	c (126,1) r[4] = 0
1000.68/127.37	c (126,1) r[5] = 0
1000.68/127.37	c (126,1) r[6] = 0
1000.68/127.37	c (126,1) r[7] = 0
1000.68/127.37	c (126,1) r[8] = 0
1000.68/127.37	c (126,1) r[9] = 0
1000.68/127.37	c (126,1) r[10] = 0
1000.68/127.37	c (126,1) r[11] = 0
1000.68/127.37	c (126,1) r[12] = 0
1000.68/127.37	c (126,1) r[13] = 0
1000.68/127.37	c (126,1) r[14] = 0
1000.68/127.37	c (126,1) r[15] = 0
1000.68/127.37	c (126,1) r[16] = 0
1000.68/127.37	c (126,1) w[0] = 29
1000.68/127.37	c (126,1) w[1] = 11
1000.68/127.37	c (126,1) w[2] = 75
1000.68/127.37	c (126,1) w[3] = 22
1000.68/127.37	c (126,1) w[4] = 63
1000.68/127.37	c (126,1) w[5] = 44
1000.68/127.37	c (126,1) w[6] = 31
1000.68/127.37	c (126,1) w[7] = 55
1000.68/127.37	c (126,1) w[8] = 28
1000.68/127.37	c (126,1) w[9] = 58
1000.68/127.37	c (126,1) w[10] = 80
1000.68/127.37	c (126,1) w[11] = 70
1000.68/127.37	c (126,1) w[12] = 38
1000.68/127.37	c (126,1) w[13] = 24
1000.68/127.37	c (126,1) w[14] = 39
1000.68/127.37	c (126,1) w[15] = 99
1000.68/127.37	c (126,1) w[16] = 161
1000.68/127.37	c (126,1) x[0] = 63
1000.68/127.37	c (126,1) x[1] = 167
1000.68/127.37	c (126,1) x[2] = 92
1000.68/127.37	c (126,1) x[3] = 178
1000.68/127.37	c (126,1) x[4] = 0
1000.68/127.37	c (126,1) x[5] = 123
1000.68/127.37	c (126,1) x[6] = 92
1000.68/127.37	c (126,1) x[7] = 123
1000.68/127.37	c (126,1) x[8] = 92
1000.68/127.37	c (126,1) x[9] = 120
1000.68/127.37	c (126,1) x[10] = 120
1000.68/127.37	c (126,1) x[11] = 92
1000.68/127.37	c (126,1) x[12] = 162
1000.68/127.37	c (126,1) x[13] = 39
1000.68/127.37	c (126,1) x[14] = 0
1000.68/127.37	c (126,1) x[15] = 63
1000.68/127.37	c (126,1) x[16] = 39
1000.68/127.37	c (126,1) y[0] = 63
1000.68/127.37	c (126,1) y[1] = 77
1000.68/127.37	c (126,1) y[2] = 77
1000.68/127.37	c (126,1) y[3] = 77
1000.68/127.37	c (126,1) y[4] = 68
1000.68/127.37	c (126,1) y[5] = 99
1000.68/127.37	c (126,1) y[6] = 99
1000.68/127.37	c (126,1) y[7] = 108
1000.68/127.37	c (126,1) y[8] = 126
1000.68/127.37	c (126,1) y[9] = 126
1000.68/127.37	c (126,1) y[10] = 184
1000.68/127.37	c (126,1) y[11] = 63
1000.68/127.37	c (126,1) y[12] = 41
1000.68/127.37	c (126,1) y[13] = 41
1000.68/127.37	c (126,1) y[14] = 0
1000.68/127.37	c (126,1) y[15] = 41
1000.68/127.37	c (126,1) y[16] = 0
1000.68/127.37	s SATISFIABLE
1000.68/127.37	v <instantiation>
1000.68/127.37	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] w[16] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] h[16] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15] r[16]</list>
1000.68/127.37	v     <values>63 167 92 178 0 123 92 123 92 120 120 92 162 39 0 63 39 63 77 77 77 68 99 99 108 126 126 184 63 41 41 0 41 0 29 11 75 22 63 44 31 55 28 58 80 70 38 24 39 99 161 137 31 22 107 132 9 27 18 74 58 16 14 36 27 68 22 41 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
1000.68/127.37	v </instantiation>
1000.68/127.37	c (126,1) Show results End
1000.68/127.37	c (126,1) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
1000.68/127.37	c (126,1) 0,0,0,1,1,1,1,126,126,STOP-AFTER(ALL)
1000.68/127.37	c END-Prog: Thu Jul 26 21:40:12 CEST 2018

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297019-1532633884/watcher-4297019-1532633884 -o /tmp/evaluation-result-4297019-1532633884/solver-4297019-1532633884 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532633882-32505 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297019-1532633884.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=32621, runsolver pid=32618
Current StackSize limit: 8192 KiB


[startup+0.100135 s]*
/proc/loadavg: 8.19 8.70 8.79 2/198 32641
/proc/meminfo: memFree=11000860/32770624 swapFree=67108860/67108860
[pid=32621] ppid=32618 vsize=27312552 memory=107932 CPUtime=0.11 cores=0-7
/proc/32621/stat : 32621 (java) S 32618 32621 32478 0 -1 1077944320 6556 0 0 0 9 2 0 0 20 0 20 0 80951619 27968053248 26983 33554432000 4194304 4196468 140736264705216 140736264687760 140063702191863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
/proc/32621/statm: 6828138 26983 2743 1 0 6790598 0
[pid=32621/tid=32623] ppid=32618 vsize=27312552 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/32621/task/32623/stat : 32623 (java) R 32618 32621 32478 0 -1 4202560 4623 0 0 0 7 1 0 0 20 0 20 0 80951620 27968053248 26983 33554432000 4194304 4196468 140736264705216 140063674018192 140063686272350 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32624] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32624/stat : 32624 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 26983 33554432000 4194304 4196468 140736264705216 140063706434064 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32625] ppid=32618 vsize=27312552 memory=140247990630016 CPUtime=0 cores=0-7
/proc/32621/task/32625/stat : 32625 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 26983 33554432000 4194304 4196468 140736264705216 140063520590480 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32626] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32626/stat : 32626 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 26983 33554432000 4194304 4196468 140736264705216 140063519537424 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32627] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32627/stat : 32627 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 26983 33554432000 4194304 4196468 140736264705216 140063518484880 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32628] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32628/stat : 32628 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 26983 33554432000 4194304 4196468 140736264705216 140063517432848 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32629] ppid=32618 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/32621/task/32629/stat : 32629 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 26983 33554432000 4194304 4196468 140736264705216 140063516380304 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32630] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32630/stat : 32630 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 26983 33554432000 4194304 4196468 140736264705216 140063515327248 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32631] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32631/stat : 32631 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 26983 33554432000 4194304 4196468 140736264705216 140063118359440 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32632] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32632/stat : 32632 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951623 27968053248 26983 33554432000 4194304 4196468 140736264705216 140062272415984 140063702203010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32633] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32633/stat : 32633 (java) S 32618 32621 32478 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80951624 27968053248 26983 33554432000 4194304 4196468 140736264705216 140061366543520 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32634] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32634/stat : 32634 (java) S 32618 32621 32478 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80951624 27968053248 26983 33554432000 4194304 4196468 140736264705216 140061232321264 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32635] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32635/stat : 32635 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951626 27968053248 26983 33554432000 4194304 4196468 140736264705216 140060857817040 140063702210459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32636] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32636/stat : 32636 (java) S 32618 32621 32478 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 80951626 27968053248 26983 33554432000 4194304 4196468 140736264705216 140062271363824 140063702203010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32637] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32637/stat : 32637 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951626 27968053248 27049 33554432000 4194304 4196468 140736264705216 140062270311280 140063702203010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32638] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32638/stat : 32638 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951627 27968053248 27049 33554432000 4194304 4196468 140736264705216 140062269258224 140063702203010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32639] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32639/stat : 32639 (java) S 32618 32621 32478 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 20 0 80951627 27968053248 27049 33554432000 4194304 4196468 140736264705216 140062268205680 140063702203010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32640] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32640/stat : 32640 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951627 27968053248 27049 33554432000 4194304 4196468 140736264705216 140060359911904 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32641] ppid=32618 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/32621/task/32641/stat : 32641 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951627 27968053248 27049 33554432000 4194304 4196468 140736264705216 140062267153072 140063702203010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 107932 KiB

[startup+0.210005 s]*
/proc/loadavg: 8.19 8.70 8.79 3/198 32641
/proc/meminfo: memFree=10985108/32770624 swapFree=67108860/67108860
[pid=32621] ppid=32618 vsize=27312552 memory=122628 CPUtime=0.25 cores=0-7
/proc/32621/stat : 32621 (java) S 32618 32621 32478 0 -1 1077944320 10334 0 0 0 22 3 0 0 20 0 20 0 80951619 27968053248 30657 33554432000 4194304 4196468 140736264705216 140736264687760 140063702191863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
/proc/32621/statm: 6828138 30657 2931 1 0 6790598 0
[pid=32621/tid=32623] ppid=32618 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/32621/task/32623/stat : 32623 (java) R 32618 32621 32478 0 -1 4202560 8211 0 0 0 18 2 0 0 20 0 20 0 80951620 27968053248 30657 33554432000 4194304 4196468 140736264705216 140063674020384 140063195394687 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32624] ppid=32618 vsize=27312552 memory=11921 CPUtime=0 cores=0-7
/proc/32621/task/32624/stat : 32624 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 30657 33554432000 4194304 4196468 140736264705216 140063706434064 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32625] ppid=32618 vsize=27312552 memory=3833323862455318176 CPUtime=0 cores=0-7
/proc/32621/task/32625/stat : 32625 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 30657 33554432000 4194304 4196468 140736264705216 140063520590480 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32626] ppid=32618 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/32621/task/32626/stat : 32626 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 30657 33554432000 4194304 4196468 140736264705216 140063519537424 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32627] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32627/stat : 32627 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 30657 33554432000 4194304 4196468 140736264705216 140063518484880 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32628] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32628/stat : 32628 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 30657 33554432000 4194304 4196468 140736264705216 140063517432848 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32629] ppid=32618 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/32621/task/32629/stat : 32629 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 30657 33554432000 4194304 4196468 140736264705216 140063516380304 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32630] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32630/stat : 32630 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 30657 33554432000 4194304 4196468 140736264705216 140063515327248 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32631] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32631/stat : 32631 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 30657 33554432000 4194304 4196468 140736264705216 140063118359440 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32632] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32632/stat : 32632 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951623 27968053248 30657 33554432000 4194304 4196468 140736264705216 140062272415984 140063702203010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32633] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32633/stat : 32633 (java) S 32618 32621 32478 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80951624 27968053248 30657 33554432000 4194304 4196468 140736264705216 140061366543520 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32634] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32634/stat : 32634 (java) S 32618 32621 32478 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80951624 27968053248 30657 33554432000 4194304 4196468 140736264705216 140061232321264 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32635] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32635/stat : 32635 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951626 27968053248 30657 33554432000 4194304 4196468 140736264705216 140060857817040 140063702210459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32636] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32636/stat : 32636 (java) S 32618 32621 32478 0 -1 1077944384 470 0 0 0 0 0 0 0 20 0 20 0 80951626 27968053248 30657 33554432000 4194304 4196468 140736264705216 140062271363824 140063702203010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32637] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32637/stat : 32637 (java) S 32618 32621 32478 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 80951626 27968053248 30657 33554432000 4194304 4196468 140736264705216 140062270311280 140063702203010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32638] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32638/stat : 32638 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951627 27968053248 30657 33554432000 4194304 4196468 140736264705216 140062269258224 140063702203010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32639] ppid=32618 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/32621/task/32639/stat : 32639 (java) S 32618 32621 32478 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 20 0 80951627 27968053248 30657 33554432000 4194304 4196468 140736264705216 140062268205680 140063702203010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32640] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32640/stat : 32640 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951627 27968053248 30657 33554432000 4194304 4196468 140736264705216 140060359911904 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32641] ppid=32618 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/32621/task/32641/stat : 32641 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951627 27968053248 30657 33554432000 4194304 4196468 140736264705216 140062267153072 140063702203010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 122628 KiB

[startup+0.309578 s]*
/proc/loadavg: 8.19 8.70 8.79 2/198 32641
/proc/meminfo: memFree=10981696/32770624 swapFree=67108860/67108860
[pid=32621] ppid=32618 vsize=27312552 memory=125836 CPUtime=0.42 cores=0-7
/proc/32621/stat : 32621 (java) S 32618 32621 32478 0 -1 1077944320 10871 0 0 0 39 3 0 0 20 0 20 0 80951619 27968053248 31459 33554432000 4194304 4196468 140736264705216 140736264687760 140063702191863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
/proc/32621/statm: 6828138 31459 2965 1 0 6790598 0
[pid=32621/tid=32623] ppid=32618 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32621/task/32623/stat : 32623 (java) R 32618 32621 32478 0 -1 4202560 8578 0 0 0 27 2 0 0 20 0 20 0 80951620 27968053248 31459 33554432000 4194304 4196468 140736264705216 140063674008688 140063687357502 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32624] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32624/stat : 32624 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 31459 33554432000 4194304 4196468 140736264705216 140063706434064 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32625] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32625/stat : 32625 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 31459 33554432000 4194304 4196468 140736264705216 140063520590480 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32626] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32626/stat : 32626 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 31459 33554432000 4194304 4196468 140736264705216 140063519537424 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32627] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32627/stat : 32627 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 31459 33554432000 4194304 4196468 140736264705216 140063518484880 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32628] ppid=32618 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/32621/task/32628/stat : 32628 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 31459 33554432000 4194304 4196468 140736264705216 140063517432848 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32629] ppid=32618 vsize=27312552 memory=140247862178735 CPUtime=0 cores=0-7
/proc/32621/task/32629/stat : 32629 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 31459 33554432000 4194304 4196468 140736264705216 140063516380304 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32630] ppid=32618 vsize=27312552 memory=140247862181040 CPUtime=0 cores=0-7
/proc/32621/task/32630/stat : 32630 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 31459 33554432000 4194304 4196468 140736264705216 140063515327248 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32631] ppid=32618 vsize=27312552 memory=140247862183344 CPUtime=0 cores=0-7
/proc/32621/task/32631/stat : 32631 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27968053248 31459 33554432000 4194304 4196468 140736264705216 140063118359440 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32632] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32632/stat : 32632 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951623 27968053248 31459 33554432000 4194304 4196468 140736264705216 140062272415984 140063702203010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32633] ppid=32618 vsize=27312552 memory=280495724373648 CPUtime=0 cores=0-7
/proc/32621/task/32633/stat : 32633 (java) S 32618 32621 32478 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80951624 27968053248 31459 33554432000 4194304 4196468 140736264705216 140061366543520 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32634] ppid=32618 vsize=27312552 memory=280495724380560 CPUtime=0 cores=0-7
/proc/32621/task/32634/stat : 32634 (java) S 32618 32621 32478 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80951624 27968053248 31459 33554432000 4194304 4196468 140736264705216 140061232321264 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32635] ppid=32618 vsize=27312552 memory=280495724321840 CPUtime=0 cores=0-7
/proc/32621/task/32635/stat : 32635 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951626 27968053248 31459 33554432000 4194304 4196468 140736264705216 140060857817040 140063702210459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32636] ppid=32618 vsize=27312552 memory=280495724394384 CPUtime=0.01 cores=0-7
/proc/32621/task/32636/stat : 32636 (java) S 32618 32621 32478 0 -1 1077944384 518 0 0 0 1 0 0 0 20 0 20 0 80951626 27968053248 31459 33554432000 4194304 4196468 140736264705216 140062271363824 140063702203010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32637] ppid=32618 vsize=27312552 memory=280495724401296 CPUtime=0.01 cores=0-7
/proc/32621/task/32637/stat : 32637 (java) S 32618 32621 32478 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 20 0 80951626 27968053248 31459 33554432000 4194304 4196468 140736264705216 140062270311280 140063702203010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32638] ppid=32618 vsize=27312552 memory=280495724398992 CPUtime=0 cores=0-7
/proc/32621/task/32638/stat : 32638 (java) S 32618 32621 32478 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80951627 27968053248 31459 33554432000 4194304 4196468 140736264705216 140062269258224 140063702203010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32639] ppid=32618 vsize=27312552 memory=280495724415600 CPUtime=0.07 cores=0-7
/proc/32621/task/32639/stat : 32639 (java) S 32618 32621 32478 0 -1 1077944384 288 0 0 0 7 0 0 0 20 0 20 0 80951627 27968053248 31459 33554432000 4194304 4196468 140736264705216 140062268205680 140063702203010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32640] ppid=32618 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32640/stat : 32640 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951627 27968053248 31459 33554432000 4194304 4196468 140736264705216 140060359911904 140063702202069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32641] ppid=32618 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/32621/task/32641/stat : 32641 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951627 27968053248 31459 33554432000 4194304 4196468 140736264705216 140062267153072 140063702203010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 125836 KiB

[startup+0.700883 s]
/proc/loadavg: 8.19 8.70 8.79 4/198 32641
/proc/meminfo: memFree=10957316/32770624 swapFree=67108860/67108860
[pid=32621] ppid=32618 vsize=27320948 memory=163372 CPUtime=1 cores=0-7
/proc/32621/stat : 32621 (java) S 32618 32621 32478 0 -1 1077944320 17995 0 0 0 95 5 0 0 20 0 20 0 80951619 27976650752 40843 33554432000 4194304 4196468 140736264705216 140736264687760 140063702191863 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
/proc/32621/statm: 6830237 40843 3115 1 0 6791622 0
[pid=32621/tid=32623] ppid=32618 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7
/proc/32621/task/32623/stat : 32623 (java) R 32618 32621 32478 0 -1 4202560 15221 0 0 0 63 4 0 0 20 0 20 0 80951620 27976650752 40843 33554432000 4194304 4196468 140736264705216 140063674027728 140063702203798 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32624] ppid=32618 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32624/stat : 32624 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951622 27976650752 40843 33554432000 4194304 4196468 140736264705216 140063706434064 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32625] ppid=32618 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32625/stat : 32625 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27976650752 40843 33554432000 4194304 4196468 140736264705216 140063520590480 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32626] ppid=32618 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32626/stat : 32626 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80951622 27976650752 40843 33554432000 4194304 4196468 140736264705216 140063519537424 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32627] ppid=32618 vsize=27320948 memory=8560 CPUtime=0 cores=0-7
/proc/32621/task/32627/stat : 32627 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80951622 27976650752 40843 33554432000 4194304 4196468 140736264705216 140063518484880 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32628] ppid=32618 vsize=27320948 memory=1012 CPUtime=0 cores=0-7
/proc/32621/task/32628/stat : 32628 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27976650752 40843 33554432000 4194304 4196468 140736264705216 140063517432848 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32629] ppid=32618 vsize=27320948 memory=1444 CPUtime=0 cores=0-7
/proc/32621/task/32629/stat : 32629 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27976650752 40843 33554432000 4194304 4196468 140736264705216 140063516380304 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32630] ppid=32618 vsize=27320948 memory=1200 CPUtime=0 cores=0-7
/proc/32621/task/32630/stat : 32630 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27976650752 40843 33554432000 4194304 4196468 140736264705216 140063515327248 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32631] ppid=32618 vsize=27320948 memory=15872 CPUtime=0 cores=0-7
/proc/32621/task/32631/stat : 32631 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80951622 27976650752 40843 33554432000 4194304 4196468 140736264705216 140063118359440 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32632] ppid=32618 vsize=27320948 memory=14648 CPUtime=0 cores=0-7
/proc/32621/task/32632/stat : 32632 (java) S 32618 32621 32478 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80951623 27976650752 40843 33554432000 4194304 4196468 140736264705216 140062272415984 140063702203010 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0

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

[pid=32621/tid=32645] ppid=32618 vsize=27984808 memory=554 CPUtime=0.02 cores=0-7
/proc/32621/task/32645/stat : 32645 (java) S 32618 32621 32478 0 -1 4202560 690 0 0 0 1 1 0 0 20 0 24 0 80951842 28656443392 143024 33554432000 4194304 4196468 140736264705216 140059688812656 140063702213789 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32646] ppid=32618 vsize=27984808 memory=93699 CPUtime=0 cores=0-7
/proc/32621/task/32646/stat : 32646 (java) S 32618 32621 32478 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 80951842 28656443392 143024 33554432000 4194304 4196468 140736264705216 140059957248048 140063702213789 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32647] ppid=32618 vsize=27984808 memory=-5155634604424194949 CPUtime=0 cores=0-7
/proc/32621/task/32647/stat : 32647 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951844 28656443392 143024 33554432000 4194304 4196468 140736264705216 140059420384672 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
Current children cumulated CPU time: 996.7 s
Current children cumulated vsize: 28688600 KiB
Current children cumulated memory: 1025860 KiB

[startup+127.202 s]
/proc/loadavg: 8.02 8.41 8.67 9/212 32662
/proc/meminfo: memFree=10083800/32770624 swapFree=67108860/67108860
[pid=32621] ppid=32618 vsize=27984808 memory=572096 CPUtime=5.54 cores=0-7
/proc/32621/stat : 32621 (java) S 32618 32621 32478 0 -1 1077944320 26323 0 0 0 536 18 0 0 20 0 24 0 80951619 28656443392 143024 33554432000 4194304 4196468 140736264705216 140736264687760 140063702191863 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
/proc/32621/statm: 6996202 143024 3224 1 0 6957058 0
[pid=32642] ppid=32621 vsize=703792 memory=453764 CPUtime=994.34 cores=0-7
/proc/32642/stat : 32642 (glucose-syrup) S 32621 32621 32478 0 -1 1077944320 327120 0 0 0 99353 81 0 0 20 0 9 0 80951842 720683008 113441 33554432000 4194304 4373367 140725697838624 140725697837168 140434585852546 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
/proc/32642/statm: 175948 113441 382 44 0 171636 0
[pid=32642/tid=32648] ppid=32621 vsize=703792 memory=7532 CPUtime=122.76 cores=0-7
/proc/32642/task/32648/stat : 32648 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 36988 0 0 0 12263 13 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434565053808 4291385 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32642/tid=32649] ppid=32621 vsize=703792 memory=844 CPUtime=124.6 cores=0-7
/proc/32642/task/32649/stat : 32649 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 38688 0 0 0 12453 7 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434556661104 4272344 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32642/tid=32650] ppid=32621 vsize=703792 memory=4100 CPUtime=124.59 cores=0-7
/proc/32642/task/32650/stat : 32650 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 39827 0 0 0 12449 10 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434548268176 4292014 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32642/tid=32651] ppid=32621 vsize=703792 memory=1796 CPUtime=124.56 cores=0-7
/proc/32642/task/32651/stat : 32651 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 36620 0 0 0 12448 8 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434539875600 4271828 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32642/tid=32652] ppid=32621 vsize=703792 memory=916 CPUtime=123.64 cores=0-7
/proc/32642/task/32652/stat : 32652 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 38321 0 0 0 12353 11 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434531482992 4271828 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32642/tid=32653] ppid=32621 vsize=703792 memory=4132 CPUtime=124.62 cores=0-7
/proc/32642/task/32653/stat : 32653 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 37344 0 0 0 12454 8 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434523090288 4272034 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32642/tid=32654] ppid=32621 vsize=703792 memory=7532 CPUtime=124.6 cores=0-7
/proc/32642/task/32654/stat : 32654 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 39146 0 0 0 12449 11 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434514697488 4271897 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32642/tid=32655] ppid=32621 vsize=703792 memory=844 CPUtime=124.58 cores=0-7
/proc/32642/task/32655/stat : 32655 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 40501 0 0 0 12451 7 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434372087152 4257231 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32621/tid=32623] ppid=32618 vsize=27984808 memory=4100 CPUtime=2.23 cores=0-7
/proc/32621/task/32623/stat : 32623 (java) S 32618 32621 32478 0 -1 1077944384 17438 0 0 0 212 11 0 0 20 0 24 0 80951620 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063674031104 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32624] ppid=32618 vsize=27984808 memory=1796 CPUtime=0 cores=0-7
/proc/32621/task/32624/stat : 32624 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063706434064 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32625] ppid=32618 vsize=27984808 memory=916 CPUtime=0 cores=0-7
/proc/32621/task/32625/stat : 32625 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063520590480 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32626] ppid=32618 vsize=27984808 memory=4132 CPUtime=0 cores=0-7
/proc/32621/task/32626/stat : 32626 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063519537424 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32627] ppid=32618 vsize=27984808 memory=1412 CPUtime=0 cores=0-7
/proc/32621/task/32627/stat : 32627 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063518484880 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32628] ppid=32618 vsize=27984808 memory=3688 CPUtime=0 cores=0-7
/proc/32621/task/32628/stat : 32628 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063517432848 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32629] ppid=32618 vsize=27984808 memory=572096 CPUtime=0 cores=0-7
/proc/32621/task/32629/stat : 32629 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063516380304 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32630] ppid=32618 vsize=27984808 memory=1792 CPUtime=0 cores=0-7
/proc/32621/task/32630/stat : 32630 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063515327248 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32631] ppid=32618 vsize=27984808 memory=960 CPUtime=0 cores=0-7
/proc/32621/task/32631/stat : 32631 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063118359440 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32632] ppid=32618 vsize=27984808 memory=1232 CPUtime=0 cores=0-7
/proc/32621/task/32632/stat : 32632 (java) S 32618 32621 32478 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 80951623 28656443392 143024 33554432000 4194304 4196468 140736264705216 140062272415984 140063702203010 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32633] ppid=32618 vsize=27984808 memory=1960 CPUtime=0 cores=0-7
/proc/32621/task/32633/stat : 32633 (java) S 32618 32621 32478 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80951624 28656443392 143024 33554432000 4194304 4196468 140736264705216 140061366543520 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32634] ppid=32618 vsize=27984808 memory=5672 CPUtime=0 cores=0-7
/proc/32621/task/32634/stat : 32634 (java) S 32618 32621 32478 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 80951624 28656443392 143024 33554432000 4194304 4196468 140736264705216 140061232321264 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32635] ppid=32618 vsize=27984808 memory=4616 CPUtime=0 cores=0-7
/proc/32621/task/32635/stat : 32635 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951626 28656443392 143024 33554432000 4194304 4196468 140736264705216 140060857817040 140063702210459 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32636] ppid=32618 vsize=27984808 memory=1232 CPUtime=0.73 cores=0-7
/proc/32621/task/32636/stat : 32636 (java) S 32618 32621 32478 0 -1 1077944384 1338 0 0 0 73 0 0 0 20 0 24 0 80951626 28656443392 143024 33554432000 4194304 4196468 140736264705216 140062271363824 140063702203010 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32637] ppid=32618 vsize=27984808 memory=12036 CPUtime=0.86 cores=0-7
/proc/32621/task/32637/stat : 32637 (java) S 32618 32621 32478 0 -1 1077944384 1646 0 0 0 86 0 0 0 20 0 24 0 80951626 28656443392 143024 33554432000 4194304 4196468 140736264705216 140062270311280 140063702203010 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32638] ppid=32618 vsize=27984808 memory=1724 CPUtime=0.6 cores=0-7
/proc/32621/task/32638/stat : 32638 (java) S 32618 32621 32478 0 -1 1077944384 739 0 0 0 59 1 0 0 20 0 24 0 80951627 28656443392 143024 33554432000 4194304 4196468 140736264705216 140062269258224 140063702203010 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32639] ppid=32618 vsize=27984808 memory=8560 CPUtime=0.97 cores=0-7
/proc/32621/task/32639/stat : 32639 (java) S 32618 32621 32478 0 -1 1077944384 3045 0 0 0 95 2 0 0 20 0 24 0 80951627 28656443392 143024 33554432000 4194304 4196468 140736264705216 140062268205680 140063702203010 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32640] ppid=32618 vsize=27984808 memory=1012 CPUtime=0 cores=0-7
/proc/32621/task/32640/stat : 32640 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951627 28656443392 143024 33554432000 4194304 4196468 140736264705216 140060359911904 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32641] ppid=32618 vsize=27984808 memory=1444 CPUtime=0.07 cores=0-7
/proc/32621/task/32641/stat : 32641 (java) S 32618 32621 32478 0 -1 1077944384 11 0 0 0 0 7 0 0 20 0 24 0 80951627 28656443392 143024 33554432000 4194304 4196468 140736264705216 140062267153072 140063702203010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32643] ppid=32618 vsize=27984808 memory=1200 CPUtime=0 cores=0-7
/proc/32621/task/32643/stat : 32643 (java) S 32618 32621 32478 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80951842 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063514272704 140063702216473 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32645] ppid=32618 vsize=27984808 memory=15872 CPUtime=0.02 cores=0-7
/proc/32621/task/32645/stat : 32645 (java) S 32618 32621 32478 0 -1 4202560 690 0 0 0 1 1 0 0 20 0 24 0 80951842 28656443392 143024 33554432000 4194304 4196468 140736264705216 140059688812656 140063702213789 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32646] ppid=32618 vsize=27984808 memory=14648 CPUtime=0 cores=0-7
/proc/32621/task/32646/stat : 32646 (java) S 32618 32621 32478 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 80951842 28656443392 143024 33554432000 4194304 4196468 140736264705216 140059957248048 140063702213789 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32647] ppid=32618 vsize=27984808 memory=16436 CPUtime=0 cores=0-7
/proc/32621/task/32647/stat : 32647 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951844 28656443392 143024 33554432000 4194304 4196468 140736264705216 140059420384672 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
Current children cumulated CPU time: 999.88 s
Current children cumulated vsize: 28688600 KiB
Current children cumulated memory: 1025860 KiB

[startup+127.302 s]
/proc/loadavg: 8.02 8.41 8.67 9/212 32662
/proc/meminfo: memFree=10083800/32770624 swapFree=67108860/67108860
[pid=32621] ppid=32618 vsize=27984808 memory=572096 CPUtime=5.54 cores=0-7
/proc/32621/stat : 32621 (java) S 32618 32621 32478 0 -1 1077944320 26323 0 0 0 536 18 0 0 20 0 24 0 80951619 28656443392 143024 33554432000 4194304 4196468 140736264705216 140736264687760 140063702191863 0 0 0 25189583 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
/proc/32621/statm: 6996202 143024 3224 1 0 6957058 0
[pid=32642] ppid=32621 vsize=703792 memory=453764 CPUtime=995.14 cores=0-7
/proc/32642/stat : 32642 (glucose-syrup) S 32621 32621 32478 0 -1 1077944320 327161 0 0 0 99433 81 0 0 20 0 9 0 80951842 720683008 113441 33554432000 4194304 4373367 140725697838624 140725697837168 140434585852546 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
/proc/32642/statm: 175948 113441 382 44 0 171636 0
[pid=32642/tid=32648] ppid=32621 vsize=703792 memory=453764 CPUtime=122.86 cores=0-7
/proc/32642/task/32648/stat : 32648 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 36988 0 0 0 12273 13 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434565053808 4271828 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32642/tid=32649] ppid=32621 vsize=703792 memory=453764 CPUtime=124.7 cores=0-7
/proc/32642/task/32649/stat : 32649 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 38688 0 0 0 12463 7 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434556661104 4271828 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32642/tid=32650] ppid=32621 vsize=703792 memory=453764 CPUtime=124.69 cores=0-7
/proc/32642/task/32650/stat : 32650 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 39827 0 0 0 12459 10 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434548268176 4259510 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32642/tid=32651] ppid=32621 vsize=703792 memory=2244 CPUtime=124.66 cores=0-7
/proc/32642/task/32651/stat : 32651 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 36621 0 0 0 12458 8 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434539875600 4271828 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32642/tid=32652] ppid=32621 vsize=703792 memory=453764 CPUtime=123.74 cores=0-7
/proc/32642/task/32652/stat : 32652 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 38321 0 0 0 12363 11 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434531482992 4271828 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32642/tid=32653] ppid=32621 vsize=703792 memory=572096 CPUtime=124.72 cores=0-7
/proc/32642/task/32653/stat : 32653 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 37384 0 0 0 12464 8 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434523090288 4272272 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32642/tid=32654] ppid=32621 vsize=703792 memory=453764 CPUtime=124.7 cores=0-7
/proc/32642/task/32654/stat : 32654 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 39146 0 0 0 12459 11 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434514697488 4271828 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32642/tid=32655] ppid=32621 vsize=703792 memory=453764 CPUtime=124.68 cores=0-7
/proc/32642/task/32655/stat : 32655 (glucose-syrup) R 32621 32621 32478 0 -1 4202560 40501 0 0 0 12461 7 0 0 20 0 9 0 80951876 720683008 113441 33554432000 4194304 4373367 140725697838624 140434372087152 4258831 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 7118848 140725697840047 140725697840300 140725697840300 140725697843143 0
[pid=32621/tid=32623] ppid=32618 vsize=27984808 memory=928 CPUtime=2.23 cores=0-7
/proc/32621/task/32623/stat : 32623 (java) S 32618 32621 32478 0 -1 1077944384 17438 0 0 0 212 11 0 0 20 0 24 0 80951620 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063674031104 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32624] ppid=32618 vsize=27984808 memory=453764 CPUtime=0 cores=0-7
/proc/32621/task/32624/stat : 32624 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063706434064 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32625] ppid=32618 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/32621/task/32625/stat : 32625 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063520590480 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32626] ppid=32618 vsize=27984808 memory=453764 CPUtime=0 cores=0-7
/proc/32621/task/32626/stat : 32626 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063519537424 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32627] ppid=32618 vsize=27984808 memory=24068 CPUtime=0 cores=0-7
/proc/32621/task/32627/stat : 32627 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063518484880 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32628] ppid=32618 vsize=27984808 memory=572096 CPUtime=0 cores=0-7
/proc/32621/task/32628/stat : 32628 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063517432848 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32629] ppid=32618 vsize=27984808 memory=572096 CPUtime=0 cores=0-7
/proc/32621/task/32629/stat : 32629 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063516380304 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32630] ppid=32618 vsize=27984808 memory=928 CPUtime=0 cores=0-7
/proc/32621/task/32630/stat : 32630 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063515327248 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32631] ppid=32618 vsize=27984808 memory=1580 CPUtime=0 cores=0-7
/proc/32621/task/32631/stat : 32631 (java) S 32618 32621 32478 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80951622 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063118359440 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32632] ppid=32618 vsize=27984808 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/32621/task/32632/stat : 32632 (java) S 32618 32621 32478 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 80951623 28656443392 143024 33554432000 4194304 4196468 140736264705216 140062272415984 140063702203010 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32633] ppid=32618 vsize=27984808 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/32621/task/32633/stat : 32633 (java) S 32618 32621 32478 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80951624 28656443392 143024 33554432000 4194304 4196468 140736264705216 140061366543520 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32634] ppid=32618 vsize=27984808 memory=24080 CPUtime=0 cores=0-7
/proc/32621/task/32634/stat : 32634 (java) S 32618 32621 32478 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 80951624 28656443392 143024 33554432000 4194304 4196468 140736264705216 140061232321264 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32635] ppid=32618 vsize=27984808 memory=1296 CPUtime=0 cores=0-7
/proc/32621/task/32635/stat : 32635 (java) S 32618 32621 32478 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80951626 28656443392 143024 33554432000 4194304 4196468 140736264705216 140060857817040 140063702210459 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32636] ppid=32618 vsize=27984808 memory=2412 CPUtime=0.73 cores=0-7
/proc/32621/task/32636/stat : 32636 (java) S 32618 32621 32478 0 -1 1077944384 1338 0 0 0 73 0 0 0 20 0 24 0 80951626 28656443392 143024 33554432000 4194304 4196468 140736264705216 140062271363824 140063702203010 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32637] ppid=32618 vsize=27984808 memory=4136 CPUtime=0.86 cores=0-7
/proc/32621/task/32637/stat : 32637 (java) S 32618 32621 32478 0 -1 1077944384 1646 0 0 0 86 0 0 0 20 0 24 0 80951626 28656443392 143024 33554432000 4194304 4196468 140736264705216 140062270311280 140063702203010 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32638] ppid=32618 vsize=27984808 memory=572096 CPUtime=0.6 cores=0-7
/proc/32621/task/32638/stat : 32638 (java) S 32618 32621 32478 0 -1 1077944384 739 0 0 0 59 1 0 0 20 0 24 0 80951627 28656443392 143024 33554432000 4194304 4196468 140736264705216 140062269258224 140063702203010 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32639] ppid=32618 vsize=27984808 memory=453764 CPUtime=0.97 cores=0-7
/proc/32621/task/32639/stat : 32639 (java) S 32618 32621 32478 0 -1 1077944384 3045 0 0 0 95 2 0 0 20 0 24 0 80951627 28656443392 143024 33554432000 4194304 4196468 140736264705216 140062268205680 140063702203010 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32640] ppid=32618 vsize=27984808 memory=572096 CPUtime=0 cores=0-7
/proc/32621/task/32640/stat : 32640 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951627 28656443392 143024 33554432000 4194304 4196468 140736264705216 140060359911904 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32641] ppid=32618 vsize=27984808 memory=453764 CPUtime=0.07 cores=0-7
/proc/32621/task/32641/stat : 32641 (java) S 32618 32621 32478 0 -1 1077944384 11 0 0 0 0 7 0 0 20 0 24 0 80951627 28656443392 143024 33554432000 4194304 4196468 140736264705216 140062267153072 140063702203010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32643] ppid=32618 vsize=27984808 memory=572096 CPUtime=0 cores=0-7
/proc/32621/task/32643/stat : 32643 (java) S 32618 32621 32478 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80951842 28656443392 143024 33554432000 4194304 4196468 140736264705216 140063514272704 140063702216473 0 4 0 25189583 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32645] ppid=32618 vsize=27984808 memory=569392 CPUtime=0.02 cores=0-7
/proc/32621/task/32645/stat : 32645 (java) S 32618 32621 32478 0 -1 4202560 690 0 0 0 1 1 0 0 20 0 24 0 80951842 28656443392 143024 33554432000 4194304 4196468 140736264705216 140059688812656 140063702213789 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32646] ppid=32618 vsize=27984808 memory=453764 CPUtime=0 cores=0-7
/proc/32621/task/32646/stat : 32646 (java) S 32618 32621 32478 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 80951842 28656443392 143024 33554432000 4194304 4196468 140736264705216 140059957248048 140063702213789 0 4 0 25189583 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
[pid=32621/tid=32647] ppid=32618 vsize=27984808 memory=572096 CPUtime=0 cores=0-7
/proc/32621/task/32647/stat : 32647 (java) S 32618 32621 32478 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80951844 28656443392 143024 33554432000 4194304 4196468 140736264705216 140059420384672 140063702202069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21262336 140736264713177 140736264713477 140736264713477 140736264716239 0
Current children cumulated CPU time: 1000.68 s
Current children cumulated vsize: 28688600 KiB
Current children cumulated memory: 1025860 KiB

Child status: 0
Real time (s): 127.397
CPU time (s): 1001.15
CPU user time (s): 1000.12
CPU system time (s): 1.03504
CPU usage (%): 785.854
Max. virtual memory (cumulated for all children) (KiB): 28745184
Max. memory (cumulated for all children) (KiB): 1025860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1000.12
system time used= 1.03503
maximum resident set size= 576988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14992
involuntary context switches= 10360


# summary of solver processes directly reported to runsolver:
#   pid: 32621
#   total CPU time (s): 1001.15
#   total CPU user time (s): 1000.12
#   total CPU system time (s): 1.03504

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21469 second user time and 1.71755 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-26 21:38:04
IDJOB=4297019
IDBENCH=141132
IDSOLVER=2758
FILE ID=node104/4297019-1532633884
RUNJOBID= node104-1532633882-32505
PBS_JOBID= 21022178
Free space on /tmp= 48344 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/StripPacking/StripPacking-N1b_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297019-1532633884/watcher-4297019-1532633884 -o /tmp/evaluation-result-4297019-1532633884/solver-4297019-1532633884 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532633882-32505 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297019-1532633884.xml

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

MD5SUM BENCH= d6d9a16a398659a401a93dc83363d7ca
RANDOM SEED=475229813

node104.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.11
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.11
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.11
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.11
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:        11096012 kB
MemAvailable:   31928112 kB
Buffers:          227548 kB
Cached:         20596008 kB
SwapCached:            0 kB
Active:          4198260 kB
Inactive:       16678304 kB
Active(anon):       4696 kB
Inactive(anon):    76236 kB
Active(file):    4193564 kB
Inactive(file): 16602068 kB
Unevictable:        7168 kB
Mlocked:            7168 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8588 kB
Writeback:             0 kB
AnonPages:         67420 kB
Mapped:            41272 kB
Shmem:             25228 kB
Slab:             493172 kB
SReclaimable:     464928 kB
SUnreclaim:        28244 kB
KernelStack:        3520 kB
PageTables:         5108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48336 MiB
End job on node104 at 2018-07-26 21:40:12