Trace number 4297063

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 1258.86 307.289

General information on the benchmark

NameCrossword/
Crossword-m18-ogd2008-vg-06-07_c18.xml
MD5SUMeed26ff9eb0f4f7c4bd196d19099a77a
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 benchmark14.5487
Satisfiable
(Un)Satisfiability was proved
Number of variables42
Number of constraints13
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":42}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":42}]
Minimum constraint arity6
Maximum constraint arity7
Distribution of constraint arities[{"arity":6,"count":7},{"arity":7,"count":6}]
Number of extensional constraints13
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":13}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.53	
0.66/0.54	scop order+glucose-syrup (2018-07-07)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Fri Jul 27 05:28:04 CEST 2018
0.66/0.56	c PID: 17154
0.66/0.56	c IP: 172.20.3.102
0.66/0.56	c HOST: node102.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.61/1.21	c (0,0) Parsing End
2.61/1.21	c (0,0) CSP: 42 int (0 aux), 0 bool (0 aux), 13 ctr, max domain size 26
2.61/1.22	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
2.61/1.22	c (0,0) Constraint Name Generate Begin
2.61/1.22	c (0,0) Ctr:HOME/instance-4297063-1532662084.xml,ExtensionSupport:IntVar
2.61/1.22	c (0,0) Constraint Name Generate End
2.61/1.22	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.61/1.22	c (0,0) CSP to CSPinCNF Begin
38.64/24.36	c (23,23) translated 2 (10%) constraints
48.28/32.45	c (31,31) translated 3 (20%) constraints
59.97/40.83	c (40,39) translated 4 (30%) constraints
80.33/57.39	c (56,55) translated 6 (40%) constraints
93.49/66.02	c (65,63) translated 7 (50%) constraints
111.37/77.99	c (77,74) translated 8 (60%) constraints
120.78/87.35	c (86,83) translated 10 (70%) constraints
131.78/92.77	c (92,88) translated 11 (80%) constraints
136.50/97.42	c (96,93) translated 12 (90%) constraints
147.14/102.75	c (102,97) translated 13 (100%) constraints
165.02/112.43	c (111,106) STATISTICS1:HOME/instance-4297063-1532662084.xml,ExtensionSupport:IntVar,186691,2042811,-1,26,27,1,,26:3285520;2:3852469,27:323;26:177;25:99;24:219;23:226;22:254;21:261;20:348;19:287;18:440;17:382;16:530;15:464;14:652;13:1015;12:1069;11:1589;10:1891;9:2737;8:4067;7:6096;6:10195;5:16957;4:1111948;3:532116;2:348469,1:7137989;0:13,
165.02/112.43	c (111,106) ===========================================
165.02/112.43	c (111,106) Order
165.02/112.43	c (111,106) ===========================================
173.17/115.86	c (115,109) translated 204282 (10%) constraints
176.03/118.69	c (118,111) translated 408563 (20%) constraints
178.88/121.49	c (120,114) translated 612844 (30%) constraints
181.90/124.30	c (123,117) translated 817125 (40%) constraints
187.33/127.45	c (126,120) translated 1021406 (50%) constraints
190.24/130.33	c (129,123) translated 1225687 (60%) constraints
193.14/133.21	c (132,126) translated 1429968 (70%) constraints
196.03/136.06	c (135,128) translated 1634249 (80%) constraints
203.99/139.55	c (139,131) translated 1838530 (90%) constraints
206.90/142.41	c (141,134) translated 2042811 (100%) constraints
206.90/142.41	c (141,134) CSP to CSPinCNF End
206.90/142.49	c (141,134) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
206.90/142.49	c (141,134) Heap : 3945 MiB used (max 21168 MiB), NonHeap : 28 MiB used (max 0 MiB)
206.90/142.49	c (141,134) CSPinCNF Propagation Begin
228.80/153.73	c (153,144) 0 values, 13 unsatisfiable literals, and 0 valid clauses are removed
228.80/153.73	c (153,144) CSPinCNF Propagation End
228.90/153.81	c (153,144) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
228.90/153.81	c (153,144) Heap : 6539 MiB used (max 21235 MiB), NonHeap : 28 MiB used (max 0 MiB)
228.90/153.81	c (153,144) Simplify CSPinCNF Begin
232.48/157.33	c (156,148) Simplify CSPinCNF End
232.58/157.41	c (156,148) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
232.58/157.41	c (156,148) Heap : 8006 MiB used (max 21235 MiB), NonHeap : 28 MiB used (max 0 MiB)
232.58/157.41	c (156,148) Calculate Precise Domain Begin
232.58/157.41	c (156,148) 0 values are removed by re-calculation
232.58/157.41	c (156,148) Calculate Precise Domain End
232.58/157.49	c (156,148) CSP: 42 int (0 aux), 186649 bool (186649 aux), 2042811 ctr, max domain size 26
232.58/157.49	c (156,148) Heap : 8006 MiB used (max 21235 MiB), NonHeap : 28 MiB used (max 0 MiB)
232.58/157.49	c (156,148) CSPinCNF to SatSolver Begin
240.21/159.53	c (158,149) 204282 (10 %) CSP clauses are encoded (187699 SAT variables, 205289 SAT clauses)
241.22/160.58	c (160,150) 408563 (20 %) CSP clauses are encoded (187699 SAT variables, 409570 SAT clauses)
242.33/161.61	c (161,151) 612844 (30 %) CSP clauses are encoded (187699 SAT variables, 613851 SAT clauses)
243.36/162.65	c (162,152) 817125 (40 %) CSP clauses are encoded (187699 SAT variables, 818132 SAT clauses)
251.88/164.63	c (164,153) 1021406 (50 %) CSP clauses are encoded (187699 SAT variables, 1022413 SAT clauses)
252.88/165.67	c (165,154) 1225687 (60 %) CSP clauses are encoded (187699 SAT variables, 1226694 SAT clauses)
253.97/166.72	c (166,155) 1429968 (70 %) CSP clauses are encoded (187699 SAT variables, 1430975 SAT clauses)
254.99/167.78	c (167,156) 1634249 (80 %) CSP clauses are encoded (187699 SAT variables, 1635256 SAT clauses)
256.09/168.84	c (168,157) 1838530 (90 %) CSP clauses are encoded (187699 SAT variables, 1839537 SAT clauses)
257.34/169.92	c (169,159) 2042811 (100 %) CSP clauses are encoded (187699 SAT variables, 2043818 SAT clauses)
257.34/169.92	c (169,159) CSPinCNF to SatSolver End
257.34/169.92	c (169,159) Heap : 4644 MiB used (max 20025 MiB), NonHeap : 29 MiB used (max 0 MiB)
263.06/175.39	c (174,164) STATISTICS2:HOME/instance-4297063-1532662084.xml,ExtensionSupport:IntVar,186691,2042811,-1,26,27,1,,26:3285520;2:3852469,27:310;26:190;25:99;24:219;23:226;22:254;21:261;20:348;19:287;18:440;17:382;16:530;15:464;14:652;13:1015;12:1069;11:1589;10:1891;9:2737;8:4067;7:6096;6:10195;5:16957;4:1111948;3:532116;2:348469,1:7137989,
263.06/175.39	c (174,164) SatSolver.solve Begin
263.06/175.39	c (174,164) 187699 bool, 2043819 clause
263.06/175.39	c (174,164) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297063-1532662084.xml-scop-17154.cnf HOME/instance-4297063-1532662084.xml-scop-17154.cnf.out
346.20/192.72	c (192,0) c
346.20/192.72	c (192,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
346.20/192.72	c (192,0) c
346.20/192.72	c (192,0) c WARNING: for repeatability, setting FPU to use double precision
346.20/192.72	c (192,0) c 8 solvers engines and 1 companion as a blackboard created.
346.20/192.72	c (192,0) c ========================================[ Problem Statistics ]===========================================
346.20/192.72	c (192,0) c |                                                                                                       |
346.20/192.72	c (192,0) c |  Number of variables:        187699                                                                   |
346.20/192.72	c (192,0) c |  Number of clauses:         2043819                                                                   |
346.20/192.72	c (192,0) c |  Parse time:                   0.75 s                                                                 |
346.20/192.72	c (192,0) c |                                                                                                       |
346.20/192.72	c (192,0) c |  Eliminated clauses:           1.10 Mb                                                                |
346.20/192.72	c (192,0) c |  Simplification time:          6.19 s                                                                 |
346.20/192.72	c (192,0) c |                                                                                                       |
346.20/192.72	c (192,0) c |  Generating clones                                                                                    |
346.20/192.72	c (192,0) c |  all clones generated. Memory = 1370.06Mb.                                                             |
346.20/192.72	c (192,0) c ========================================================================================================|
346.20/192.72	c (192,0) c
346.20/192.72	c (192,0) c |-------------------------------------------------------------------------------------------------------|
346.20/192.72	c (192,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
346.20/192.72	c (192,0) c |-------------------------------------------------------------------------------------------------------|
346.20/192.72	c (192,0) c |  0 |      3 |      13381 |       1266 |    60055 |     1266 |       76 |      212 |        0 |  0.000 |
346.20/192.72	c (192,0) c |  1 |      2 |       8448 |        814 |    23604 |      814 |       92 |      555 |        0 |  0.000 |
346.20/192.72	c (192,0) c |  2 |      1 |       7435 |        720 |    20244 |      720 |       86 |        0 |        0 |  0.000 |
346.20/192.72	c (192,0) c |  3 |      1 |       7318 |        687 |    19812 |      687 |       79 |        0 |        0 |  0.000 |
346.20/192.72	c (192,0) c |  4 |      1 |       7490 |        727 |    20849 |      727 |       86 |        0 |        0 |  0.000 |
346.20/192.72	c (192,0) c |  5 |      1 |       7318 |        688 |    19817 |      688 |       79 |        0 |        0 |  0.000 |
346.20/192.72	c (192,0) c |  6 |      1 |       7401 |        716 |    20209 |      716 |       86 |        0 |        0 |  0.000 |
346.20/192.72	c (192,0) c |  7 |      1 |       7386 |        712 |    20143 |      712 |       85 |        0 |        0 |  0.000 |
346.20/192.72	c (192,0) c 
346.20/192.72	c (192,0) c synthesis        6330 conflicts    74017812 propagations      159 conflicts/sec  1855139 propagations/sec
346.20/192.72	c (192,0) c Total Memory so far : 1997.42Mb
346.20/192.72	c (192,0) c
346.20/192.72	c (192,0) c |-------------------------------------------------------------------------------------------------------|
346.20/192.72	c (192,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
346.20/192.72	c (192,0) c |-------------------------------------------------------------------------------------------------------|
346.20/192.72	c (192,0) c |  0 |      9 |      22476 |       2299 |    99061 |     1303 |      121 |     1230 |        0 |  0.000 |
346.20/192.72	c (192,0) c |  1 |      8 |      14788 |       1912 |    62523 |     1912 |      176 |     1192 |        0 |  0.000 |
346.20/192.72	c (192,0) c |  2 |      5 |      15627 |       2410 |    65838 |     1416 |      199 |     1170 |        0 |  0.000 |
346.20/192.72	c (192,0) c |  3 |      8 |      15750 |       1843 |    84389 |     1843 |      143 |     1162 |        0 |  0.000 |
346.20/192.72	c (192,0) c |  4 |      7 |      14456 |       2272 |    64645 |     1281 |      210 |     1092 |        0 |  0.000 |
346.20/192.72	c (192,0) c |  5 |      9 |      15819 |       1914 |    86059 |     1914 |      144 |     1213 |        0 |  0.000 |
346.20/192.72	c (192,0) c |  6 |      5 |      13347 |       2054 |    55294 |     1061 |      213 |      978 |        1 |  0.000 |
346.20/192.72	c (192,0) c |  7 |      9 |      15636 |       1872 |    80335 |     1872 |      166 |     1017 |        1 |  0.000 |
346.20/192.72	c (192,0) c 
441.87/204.71	c (204,0) c synthesis       16576 conflicts   169446355 propagations      209 conflicts/sec  2141569 propagations/sec
441.87/204.71	c (204,0) c Total Memory so far : 2003.29Mb
441.87/204.71	c (204,0) c
441.87/204.71	c (204,0) c |-------------------------------------------------------------------------------------------------------|
441.87/204.71	c (204,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
441.87/204.71	c (204,0) c |-------------------------------------------------------------------------------------------------------|
441.87/204.71	c (204,0) c |  0 |      9 |      25781 |       3422 |   115983 |     2426 |      179 |     1230 |        1 |  0.000 |
441.87/204.71	c (204,0) c |  1 |     10 |      18475 |       2685 |   113150 |     1689 |      252 |     1539 |        1 |  0.000 |
441.87/204.71	c (204,0) c |  2 |     10 |      22662 |       3216 |   112637 |     2222 |      238 |     1633 |        0 |  0.000 |
441.87/204.71	c (204,0) c |  3 |     10 |      18488 |       2568 |    95240 |     1575 |      212 |     1299 |        0 |  0.000 |
441.87/204.71	c (204,0) c |  4 |     11 |      20092 |       3208 |   102581 |     2217 |      306 |     1546 |        0 |  0.000 |
441.87/204.71	c (204,0) c |  5 |      9 |      17147 |       2409 |   100110 |     1418 |      203 |     1213 |        0 |  0.000 |
441.87/204.71	c (204,0) c |  6 |      9 |      22527 |       2820 |    87418 |     1827 |      257 |     1334 |        2 |  0.000 |
441.87/204.71	c (204,0) c |  7 |      9 |      16920 |       2581 |    90684 |     1591 |      226 |     1017 |        1 |  0.000 |
441.87/204.71	c (204,0) c 
441.87/204.71	c (204,0) c synthesis       22909 conflicts   242214934 propagations      207 conflicts/sec  2189949 propagations/sec
441.87/204.71	c (204,0) c Total Memory so far : 2005.23Mb
441.87/204.71	c (204,0) c
441.87/204.71	c (204,0) c |-------------------------------------------------------------------------------------------------------|
441.87/204.71	c (204,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
441.87/204.71	c (204,0) c |-------------------------------------------------------------------------------------------------------|
441.87/204.71	c (204,0) c |  0 |     11 |      29881 |       4455 |   130600 |     3459 |      237 |     1921 |        1 |  0.000 |
441.87/204.71	c (204,0) c |  1 |     12 |      25002 |       3347 |   137785 |     2351 |      294 |     1876 |        1 |  0.000 |
441.87/204.71	c (204,0) c |  2 |     14 |      26629 |       3965 |   146978 |     2971 |      313 |     2044 |        0 |  0.000 |
441.87/204.71	c (204,0) c |  3 |     12 |      22891 |       3250 |   174377 |     2257 |      254 |     2095 |        1 |  0.000 |
441.87/204.71	c (204,0) c |  4 |     13 |      23988 |       4236 |   128548 |     3245 |      372 |     1878 |        3 |  0.000 |
441.87/204.71	c (204,0) c |  5 |     11 |      19603 |       2923 |   115843 |     1933 |      242 |     1985 |        0 |  0.000 |
441.87/204.71	c (204,0) c |  6 |     10 |      25063 |       3804 |   101698 |     2811 |      373 |     1633 |        2 |  0.000 |
441.87/204.71	c (204,0) c |  7 |      9 |      18188 |       3169 |    98076 |     2179 |      295 |     1017 |        1 |  0.000 |
441.87/204.71	c (204,0) c 
441.87/204.71	c (204,0) c synthesis       29149 conflicts   319199487 propagations      205 conflicts/sec  2243166 propagations/sec
441.87/204.71	c (204,0) c Total Memory so far : 2006.26Mb
441.87/204.71	c (204,0) c
441.87/204.71	c (204,0) c |-------------------------------------------------------------------------------------------------------|
441.87/204.71	c (204,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
441.87/204.71	c (204,0) c |-------------------------------------------------------------------------------------------------------|
441.87/204.71	c (204,0) c |  0 |     13 |      35328 |       5456 |   170209 |     4460 |      355 |     2475 |        3 |  0.000 |
441.87/204.71	c (204,0) c |  1 |     13 |      28318 |       4011 |   180353 |     3014 |      360 |     2460 |        1 |  0.000 |
441.87/204.71	c (204,0) c |  2 |     17 |      35507 |       5064 |   196468 |     4070 |      406 |     2221 |        1 |  0.000 |
441.87/204.71	c (204,0) c |  3 |     18 |      31473 |       4403 |   216361 |     3410 |      335 |     2363 |        1 |  0.000 |
441.87/204.71	c (204,0) c |  4 |     16 |      30003 |       5056 |   142091 |     4065 |      430 |     2462 |        3 |  0.000 |
441.87/204.71	c (204,0) c |  5 |     14 |      26150 |       3957 |   147725 |     2967 |      312 |     2487 |        3 |  0.000 |
441.87/204.71	c (204,0) c |  6 |     10 |      26723 |       4564 |   112409 |     3571 |      421 |     1633 |        2 |  0.000 |
441.87/204.71	c (204,0) c |  7 |      9 |      19353 |       3683 |   103370 |     2693 |      356 |     1017 |        1 |  0.000 |
441.87/204.71	c (204,0) c 
441.87/204.71	c (204,0) c synthesis       36194 conflicts   395644137 propagations      208 conflicts/sec  2271666 propagations/sec
585.42/222.71	c (222,0) c Total Memory so far : 2007.32Mb
585.42/222.71	c (222,0) c
585.42/222.71	c (222,0) c |-------------------------------------------------------------------------------------------------------|
585.42/222.71	c (222,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
585.42/222.71	c (222,0) c |-------------------------------------------------------------------------------------------------------|
585.42/222.71	c (222,0) c |  0 |     18 |      43943 |       6521 |   214278 |     5525 |      611 |     3447 |        8 |  0.000 |
585.42/222.71	c (222,0) c |  1 |     18 |      38946 |       5185 |   218524 |     4189 |      440 |     3594 |        9 |  0.000 |
585.42/222.71	c (222,0) c |  2 |     17 |      38866 |       5936 |   218998 |     4942 |      659 |     2221 |        2 |  0.000 |
585.42/222.71	c (222,0) c |  3 |     22 |      35057 |       5266 |   234397 |     4273 |      416 |     3682 |       11 |  0.000 |
585.42/222.71	c (222,0) c |  4 |     17 |      34928 |       5867 |   187714 |     4876 |      633 |     3383 |        5 |  0.000 |
585.42/222.71	c (222,0) c |  5 |     19 |      31433 |       4903 |   173167 |     3912 |      400 |     3165 |       11 |  0.000 |
585.42/222.71	c (222,0) c |  6 |     13 |      30781 |       5334 |   128276 |     4341 |      530 |     3573 |        2 |  0.000 |
585.42/222.71	c (222,0) c |  7 |      9 |      20739 |       4244 |   113514 |     3254 |      450 |     1017 |        1 |  0.000 |
585.42/222.71	c (222,0) c 
585.42/222.71	c (222,0) c synthesis       43256 conflicts   470148319 propagations      210 conflicts/sec  2283660 propagations/sec
585.42/222.71	c (222,0) c Total Memory so far : 2008.23Mb
585.42/222.71	c (222,0) c
585.42/222.71	c (222,0) c |-------------------------------------------------------------------------------------------------------|
585.42/222.71	c (222,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
585.42/222.71	c (222,0) c |-------------------------------------------------------------------------------------------------------|
585.42/222.71	c (222,0) c |  0 |     18 |      48057 |       7358 |   235122 |     3563 |      802 |     3447 |       16 |  0.000 |
585.42/222.71	c (222,0) c |  1 |     20 |      42615 |       6043 |   246862 |     5047 |      622 |     5263 |       12 |  0.000 |
585.42/222.71	c (222,0) c |  2 |     23 |      42456 |       6858 |   233867 |     3065 |      934 |     4786 |       26 |  0.000 |
585.42/222.71	c (222,0) c |  3 |     30 |      42997 |       6562 |   277239 |     5569 |      635 |     5145 |       37 |  0.000 |
585.42/222.71	c (222,0) c |  4 |     18 |      40578 |       7342 |   197849 |     3566 |     1040 |     4881 |        9 |  0.000 |
585.42/222.71	c (222,0) c |  5 |     21 |      38825 |       6075 |   206745 |     5084 |      649 |     3854 |       24 |  0.000 |
585.42/222.71	c (222,0) c |  6 |     24 |      37249 |       6602 |   162817 |     2807 |      738 |     5160 |       12 |  0.000 |
585.42/222.71	c (222,0) c |  7 |      9 |      22162 |       4900 |   123643 |     3910 |      515 |     1017 |        1 |  0.000 |
585.42/222.71	c (222,0) c 
585.42/222.71	c (222,0) c synthesis       51740 conflicts   563607901 propagations      211 conflicts/sec  2295949 propagations/sec
585.42/222.71	c (222,0) c Total Memory so far : 2009.17Mb
585.42/222.71	c (222,0) c
585.42/222.71	c (222,0) c |-------------------------------------------------------------------------------------------------------|
585.42/222.71	c (222,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
585.42/222.71	c (222,0) c |-------------------------------------------------------------------------------------------------------|
585.42/222.71	c (222,0) c |  0 |     21 |      56849 |       8169 |   266517 |     4374 |      995 |     6698 |       27 |  0.000 |
585.42/222.71	c (222,0) c |  1 |     20 |      44670 |       7010 |   253444 |     3220 |      913 |     5263 |       15 |  0.000 |
585.42/222.71	c (222,0) c |  2 |     30 |      49708 |       8050 |   277354 |     4257 |     1155 |     6125 |       47 |  0.000 |
585.42/222.71	c (222,0) c |  3 |     35 |      48196 |       7748 |   293669 |     3956 |      843 |     6319 |       64 |  0.000 |
585.42/222.71	c (222,0) c |  4 |     23 |      45601 |       8254 |   245870 |     4477 |     1223 |     6455 |       24 |  0.000 |
585.42/222.71	c (222,0) c |  5 |     31 |      48045 |       7556 |   240423 |     3767 |      960 |     6777 |       65 |  0.000 |
585.42/222.71	c (222,0) c |  6 |     24 |      39789 |       7459 |   173083 |     3664 |      977 |     5160 |       20 |  0.000 |
585.42/222.71	c (222,0) c |  7 |     13 |      25667 |       5720 |   139758 |     4730 |      706 |     6973 |       16 |  0.000 |
585.42/222.71	c (222,0) c 
585.42/222.71	c (222,0) c synthesis       59966 conflicts   657122777 propagations      210 conflicts/sec  2304520 propagations/sec
585.42/222.71	c (222,0) c Total Memory so far : 2009.95Mb
585.42/222.71	c (222,0) c
681.12/234.71	c (234,0) c |-------------------------------------------------------------------------------------------------------|
681.12/234.71	c (234,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
681.12/234.71	c (234,0) c |-------------------------------------------------------------------------------------------------------|
681.12/234.71	c (234,0) c |  0 |     23 |      62075 |       9112 |   289407 |     5317 |     1137 |     7691 |       53 |  0.000 |
681.12/234.71	c (234,0) c |  1 |     20 |      46855 |       7773 |   260485 |     3983 |     1115 |     5263 |       25 |  0.000 |
681.12/234.71	c (234,0) c |  2 |     30 |      52410 |       8784 |   292862 |     4991 |     1321 |     6125 |       66 |  0.000 |
681.12/234.71	c (234,0) c |  3 |     40 |      52410 |       8626 |   328678 |     4834 |     1006 |     8159 |       82 |  0.000 |
681.12/234.71	c (234,0) c |  4 |     27 |      51219 |       9312 |   276889 |     5536 |     1469 |     7748 |       57 |  0.000 |
681.12/234.71	c (234,0) c |  5 |     34 |      53301 |       8700 |   266549 |     4911 |     1132 |     7256 |       92 |  0.000 |
681.12/234.71	c (234,0) c |  6 |     29 |      44202 |       8339 |   187033 |     4544 |     1201 |     7928 |       43 |  0.000 |
681.12/234.71	c (234,0) c |  7 |     20 |      32202 |       6466 |   167646 |     5476 |      878 |     7738 |       26 |  0.000 |
681.12/234.71	c (234,0) c 
681.12/234.71	c (234,0) c synthesis       67112 conflicts   734335367 propagations      212 conflicts/sec  2317428 propagations/sec
681.12/234.71	c (234,0) c Total Memory so far : 2010.48Mb
681.12/234.71	c (234,0) c
681.12/234.71	c (234,0) c |-------------------------------------------------------------------------------------------------------|
681.12/234.71	c (234,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
681.12/234.71	c (234,0) c |-------------------------------------------------------------------------------------------------------|
681.12/234.71	c (234,0) c |  0 |     24 |      64883 |       9842 |   324465 |     6047 |     1314 |     8749 |       70 |  0.000 |
681.12/234.71	c (234,0) c |  1 |     24 |      50791 |       8657 |   270730 |     4867 |     1311 |     8941 |       51 |  0.000 |
681.12/234.71	c (234,0) c |  2 |     37 |      60341 |       9842 |   310413 |     6049 |     1520 |     8900 |      105 |  0.000 |
681.12/234.71	c (234,0) c |  3 |     41 |      56127 |       9392 |   343403 |     5600 |     1184 |     9030 |       99 |  0.000 |
681.12/234.71	c (234,0) c |  4 |     30 |      58194 |      10518 |   296069 |     6742 |     1669 |     8486 |       80 |  0.000 |
681.12/234.71	c (234,0) c |  5 |     40 |      62090 |       9610 |   301966 |     5821 |     1324 |     8900 |      108 |  0.000 |
681.12/234.71	c (234,0) c |  6 |     29 |      45203 |       8840 |   193126 |     5045 |     1360 |     7928 |       49 |  0.000 |
681.12/234.71	c (234,0) c |  7 |     25 |      36660 |       7221 |   189280 |     3431 |     1023 |     9662 |       41 |  0.000 |
681.12/234.71	c (234,0) c 
681.12/234.71	c (234,0) c synthesis       73923 conflicts   811757325 propagations      212 conflicts/sec  2328863 propagations/sec
681.12/234.71	c (234,0) c Total Memory so far : 2010.99Mb
681.12/234.71	c (234,0) c
681.12/234.71	c (234,0) c |-------------------------------------------------------------------------------------------------------|
681.12/234.71	c (234,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
681.12/234.71	c (234,0) c |-------------------------------------------------------------------------------------------------------|
681.12/234.71	c (234,0) c |  0 |     27 |      68564 |      10661 |   345028 |     6866 |     1483 |     9985 |       85 |  0.000 |
681.12/234.71	c (234,0) c |  1 |     30 |      56634 |       9679 |   294829 |     5889 |     1541 |    10637 |       82 |  0.000 |
681.12/234.71	c (234,0) c |  2 |     40 |      64623 |      10775 |   326998 |     6982 |     1691 |    10134 |      121 |  0.000 |
681.12/234.71	c (234,0) c |  3 |     41 |      57600 |      10030 |   347239 |     6238 |     1386 |     9030 |      119 |  0.000 |
681.12/234.71	c (234,0) c |  4 |     34 |      62077 |      11603 |   319346 |     7827 |     1907 |     9851 |      100 |  0.000 |
681.12/234.71	c (234,0) c |  5 |     42 |      65840 |      10576 |   329847 |     6787 |     1525 |    10342 |      138 |  0.000 |
681.12/234.71	c (234,0) c |  6 |     32 |      47412 |       9530 |   203201 |     5735 |     1511 |    10423 |       64 |  0.000 |
681.12/234.71	c (234,0) c |  7 |     26 |      41152 |       8185 |   211154 |     4395 |     1187 |    10531 |       60 |  0.000 |
681.12/234.71	c (234,0) c 
681.12/234.71	c (234,0) c synthesis       81039 conflicts   887888142 propagations      213 conflicts/sec  2333936 propagations/sec
681.12/234.71	c (234,0) c Total Memory so far : 2011.39Mb
681.12/234.71	c (234,0) c
681.12/234.71	c (234,0) c |-------------------------------------------------------------------------------------------------------|
784.82/247.71	c (247,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
784.82/247.71	c (247,0) c |-------------------------------------------------------------------------------------------------------|
784.82/247.71	c (247,0) c |  0 |     30 |      73651 |      11671 |   361745 |     7876 |     1727 |    11771 |      128 |  0.000 |
784.82/247.71	c (247,0) c |  1 |     32 |      59967 |      10714 |   306784 |     6924 |     1748 |    11361 |      130 |  0.000 |
784.82/247.71	c (247,0) c |  2 |     41 |      72126 |      11924 |   360915 |     8131 |     1921 |    10956 |      159 |  0.000 |
784.82/247.71	c (247,0) c |  3 |     45 |      62057 |      11003 |   359028 |     7211 |     1569 |    11876 |      162 |  0.000 |
784.82/247.71	c (247,0) c |  4 |     39 |      66452 |      12618 |   337370 |     8842 |     2071 |    11322 |      129 |  0.000 |
784.82/247.71	c (247,0) c |  5 |     43 |      73850 |      11715 |   350541 |     7926 |     1692 |    11289 |      180 |  0.000 |
784.82/247.71	c (247,0) c |  6 |     36 |      51844 |      10493 |   226514 |     6698 |     1694 |    12130 |       99 |  0.000 |
784.82/247.71	c (247,0) c |  7 |     30 |      48359 |       9431 |   244198 |     5641 |     1417 |    12286 |       93 |  0.000 |
784.82/247.71	c (247,0) c 
784.82/247.71	c (247,0) c synthesis       89569 conflicts   964387747 propagations      217 conflicts/sec  2339205 propagations/sec
784.82/247.71	c (247,0) c Total Memory so far : 2011.91Mb
784.82/247.71	c (247,0) c
784.82/247.71	c (247,0) c |-------------------------------------------------------------------------------------------------------|
784.82/247.71	c (247,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
784.82/247.71	c (247,0) c |-------------------------------------------------------------------------------------------------------|
784.82/247.71	c (247,0) c |  0 |     31 |      77359 |      12529 |   380471 |     8734 |     1927 |    12819 |      175 |  0.000 |
784.82/247.71	c (247,0) c |  1 |     35 |      66110 |      12342 |   330094 |     8552 |     2084 |    13407 |      234 |  0.000 |
784.82/247.71	c (247,0) c |  2 |     49 |      86780 |      13288 |   380805 |     9495 |     2193 |    13632 |      179 |  0.000 |
784.82/247.71	c (247,0) c |  3 |     49 |      67805 |      12329 |   374903 |     8537 |     1853 |    13888 |      217 |  0.000 |
784.82/247.71	c (247,0) c |  4 |     42 |      71136 |      13982 |   353945 |     5204 |     2304 |    13597 |      147 |  0.000 |
784.82/247.71	c (247,0) c |  5 |     48 |      85113 |      13133 |   372155 |     9344 |     1957 |    13765 |      230 |  0.000 |
784.82/247.71	c (247,0) c |  6 |     41 |      59180 |      12039 |   254429 |     8244 |     1968 |    13009 |      160 |  0.000 |
784.82/247.71	c (247,0) c |  7 |     34 |      56366 |      11033 |   276185 |     7243 |     1657 |    13690 |      147 |  0.000 |
784.82/247.71	c (247,0) c 
784.82/247.71	c (247,0) c synthesis      100675 conflicts  1059283521 propagations      223 conflicts/sec  2342970 propagations/sec
784.82/247.71	c (247,0) c Total Memory so far : 2012.44Mb
784.82/247.71	c (247,0) c
784.82/247.71	c (247,0) c |-------------------------------------------------------------------------------------------------------|
784.82/247.71	c (247,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
784.82/247.71	c (247,0) c |-------------------------------------------------------------------------------------------------------|
784.82/247.71	c (247,0) c |  0 |     33 |      81304 |      13173 |   391345 |     9378 |     2093 |    15218 |      194 |  0.000 |
784.82/247.71	c (247,0) c |  1 |     42 |      74002 |      13507 |   358095 |     9717 |     2288 |    15241 |      283 |  0.000 |
784.82/247.71	c (247,0) c |  2 |     50 |      91430 |      14231 |   399614 |     5443 |     2356 |    14228 |      215 |  0.000 |
784.82/247.71	c (247,0) c |  3 |     51 |      72509 |      13460 |   392908 |     9667 |     2161 |    14688 |      269 |  0.000 |
784.82/247.71	c (247,0) c |  4 |     44 |      76948 |      15007 |   394361 |     6229 |     2568 |    15031 |      165 |  0.000 |
784.82/247.71	c (247,0) c |  5 |     50 |      89305 |      13887 |   404080 |     5105 |     2179 |    15467 |      252 |  0.000 |
784.82/247.71	c (247,0) c |  6 |     42 |      61375 |      12808 |   269338 |     9013 |     2191 |    14939 |      178 |  0.000 |
784.82/247.71	c (247,0) c |  7 |     37 |      61576 |      12029 |   298579 |     8239 |     1834 |    15821 |      175 |  0.000 |
784.82/247.71	c (247,0) c 
784.82/247.71	c (247,0) c synthesis      108102 conflicts  1134235714 propagations      223 conflicts/sec  2343547 propagations/sec
784.82/247.71	c (247,0) c Total Memory so far : 2012.70Mb
784.82/247.71	c (247,0) c
784.82/247.71	c (247,0) c |-------------------------------------------------------------------------------------------------------|
784.82/247.71	c (247,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
889.31/260.84	c (260,0) c |-------------------------------------------------------------------------------------------------------|
889.31/260.84	c (260,0) c |  0 |     36 |      86105 |      14261 |   421243 |     5478 |     2397 |    15993 |      217 |  0.000 |
889.31/260.84	c (260,0) c |  1 |     46 |      80911 |      14776 |   377010 |     5997 |     2458 |    16483 |      301 |  0.000 |
889.31/260.84	c (260,0) c |  2 |     54 |     100038 |      14995 |   424088 |     6207 |     2506 |    16682 |      229 |  0.000 |
889.31/260.84	c (260,0) c |  3 |     51 |      74951 |      14332 |   398703 |     5556 |     2400 |    14688 |      279 |  0.000 |
889.31/260.84	c (260,0) c |  4 |     47 |      82230 |      16235 |   415981 |     7457 |     2831 |    15784 |      189 |  0.000 |
889.31/260.84	c (260,0) c |  5 |     54 |      95870 |      14986 |   430887 |     6204 |     2383 |    16929 |      273 |  0.000 |
889.31/260.84	c (260,0) c |  6 |     47 |      68626 |      13862 |   315483 |     5076 |     2413 |    16370 |      226 |  0.000 |
889.31/260.84	c (260,0) c |  7 |     39 |      66728 |      13079 |   327980 |     9289 |     2072 |    17173 |      219 |  0.000 |
889.31/260.84	c (260,0) c 
889.31/260.84	c (260,0) c synthesis      116526 conflicts  1208000847 propagations      226 conflicts/sec  2341647 propagations/sec
889.31/260.84	c (260,0) c Total Memory so far : 2013.09Mb
889.31/260.84	c (260,0) c
889.31/260.84	c (260,0) c |-------------------------------------------------------------------------------------------------------|
889.31/260.84	c (260,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
889.31/260.84	c (260,0) c |-------------------------------------------------------------------------------------------------------|
889.31/260.84	c (260,0) c |  0 |     39 |      88950 |      15027 |   435962 |     6244 |     2557 |    17380 |      230 |  0.000 |
889.31/260.84	c (260,0) c |  1 |     50 |      84999 |      15938 |   396731 |     7158 |     2621 |    18146 |      312 |  0.000 |
889.31/260.84	c (260,0) c |  2 |     58 |     103852 |      15898 |   439534 |     7110 |     2667 |    17293 |      238 |  0.000 |
889.31/260.84	c (260,0) c |  3 |     54 |      78141 |      15117 |   414573 |     6341 |     2588 |    17769 |      293 |  0.000 |
889.31/260.84	c (260,0) c |  4 |     49 |      87052 |      17372 |   431032 |     8594 |     3022 |    16943 |      209 |  0.000 |
889.31/260.84	c (260,0) c |  5 |     61 |     106235 |      16312 |   450207 |     7530 |     2559 |    18156 |      301 |  0.000 |
889.31/260.84	c (260,0) c |  6 |     55 |      73576 |      14811 |   334351 |     6025 |     2552 |    18248 |      240 |  0.000 |
889.31/260.84	c (260,0) c |  7 |     43 |      73512 |      14188 |   346184 |     5400 |     2283 |    18313 |      272 |  0.000 |
889.31/260.84	c (260,0) c 
889.31/260.84	c (260,0) c synthesis      124663 conflicts  1281022413 propagations      228 conflicts/sec  2338916 propagations/sec
889.31/260.84	c (260,0) c Total Memory so far : 2013.35Mb
889.31/260.84	c (260,0) c
889.31/260.84	c (260,0) c |-------------------------------------------------------------------------------------------------------|
889.31/260.84	c (260,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
889.31/260.84	c (260,0) c |-------------------------------------------------------------------------------------------------------|
889.31/260.84	c (260,0) c |  0 |     44 |      94011 |      15956 |   455170 |     7172 |     2692 |    19494 |      249 |  0.000 |
889.31/260.84	c (260,0) c |  1 |     55 |      90905 |      16905 |   416126 |     8126 |     2772 |    19079 |      332 |  0.000 |
889.31/260.84	c (260,0) c |  2 |     58 |     105397 |      16543 |   444901 |     7755 |     2826 |    17293 |      258 |  0.000 |
889.31/260.84	c (260,0) c |  3 |     54 |      79022 |      15566 |   417216 |     6790 |     2696 |    17769 |      296 |  0.000 |
889.31/260.84	c (260,0) c |  4 |     55 |      98475 |      18476 |   445475 |     9698 |     3237 |    18852 |      232 |  0.000 |
889.31/260.85	c (260,0) c |  5 |     63 |     114026 |      17520 |   473726 |     8738 |     2794 |    18868 |      335 |  0.000 |
889.31/260.85	c (260,0) c |  6 |     56 |      75912 |      15489 |   349015 |     6703 |     2671 |    18891 |      254 |  0.000 |
889.31/260.85	c (260,0) c |  7 |     45 |      77885 |      15294 |   358730 |     6505 |     2560 |    19298 |      282 |  0.000 |
889.31/260.85	c (260,0) c 
889.31/260.85	c (260,0) c synthesis      131749 conflicts  1353436935 propagations      227 conflicts/sec  2335150 propagations/sec
889.31/260.85	c (260,0) c Total Memory so far : 2013.75Mb
889.31/260.85	c (260,0) c
889.31/260.85	c (260,0) c |-------------------------------------------------------------------------------------------------------|
889.31/260.85	c (260,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
889.31/260.85	c (260,0) c |-------------------------------------------------------------------------------------------------------|
992.21/273.71	c (273,0) c |  0 |     46 |      98676 |      16914 |   465157 |     8131 |     2885 |    20035 |      267 |  0.000 |
992.21/273.71	c (273,0) c |  1 |     58 |      95250 |      17916 |   430356 |     9136 |     2969 |    20702 |      356 |  0.000 |
992.21/273.71	c (273,0) c |  2 |     58 |     107422 |      17448 |   453512 |     8660 |     3023 |    17293 |      275 |  0.000 |
992.21/273.71	c (273,0) c |  3 |     55 |      80530 |      16292 |   422626 |     7515 |     2875 |    20850 |      306 |  0.000 |
992.21/273.71	c (273,0) c |  4 |     58 |     101841 |      19315 |   458883 |    10537 |     3429 |    20194 |      258 |  0.000 |
992.21/273.71	c (273,0) c |  5 |     69 |     125196 |      18568 |   501886 |     9786 |     2971 |    20516 |      356 |  0.000 |
992.21/273.71	c (273,0) c |  6 |     61 |      80641 |      16287 |   363084 |     7501 |     2833 |    20944 |      265 |  0.000 |
992.21/273.71	c (273,0) c |  7 |     45 |      80299 |      16125 |   366584 |     7337 |     2801 |    19298 |      288 |  0.000 |
992.21/273.71	c (273,0) c 
992.21/273.71	c (273,0) c synthesis      138865 conflicts  1442864213 propagations      224 conflicts/sec  2329290 propagations/sec
992.21/273.71	c (273,0) c Total Memory so far : 2014.00Mb
992.21/273.71	c (273,0) c
992.21/273.71	c (273,0) c |-------------------------------------------------------------------------------------------------------|
992.21/273.71	c (273,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
992.21/273.71	c (273,0) c |-------------------------------------------------------------------------------------------------------|
992.21/273.71	c (273,0) c |  0 |     49 |     101470 |      17735 |   472388 |     8952 |     3073 |    22196 |      283 |  0.000 |
992.21/273.71	c (273,0) c |  1 |     61 |      99716 |      18798 |   447439 |    10019 |     3116 |    22268 |      376 |  0.000 |
992.21/273.71	c (273,0) c |  2 |     60 |     112496 |      18468 |   467914 |     9680 |     3240 |    21708 |      312 |  0.000 |
992.21/273.71	c (273,0) c |  3 |     55 |      82116 |      16828 |   438935 |     8052 |     3038 |    20850 |      310 |  0.000 |
992.21/273.71	c (273,0) c |  4 |     62 |     107764 |      20558 |   480719 |    11780 |     3677 |    21568 |      303 |  0.000 |
992.21/273.71	c (273,0) c |  5 |     69 |     126427 |      19136 |   505533 |    10354 |     3135 |    20516 |      356 |  0.000 |
992.21/273.71	c (273,0) c |  6 |     67 |      85420 |      17426 |   377478 |     8640 |     3020 |    22199 |      300 |  0.000 |
992.21/273.71	c (273,0) c |  7 |     48 |      85190 |      17584 |   396056 |     8796 |     3085 |    21639 |      303 |  0.000 |
992.21/273.71	c (273,0) c 
992.21/273.71	c (273,0) c synthesis      146533 conflicts  1537993334 propagations      222 conflicts/sec  2332757 propagations/sec
992.21/273.71	c (273,0) c Total Memory so far : 2014.28Mb
992.21/273.71	c (273,0) c
992.21/273.71	c (273,0) c |-------------------------------------------------------------------------------------------------------|
992.21/273.71	c (273,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
992.21/273.71	c (273,0) c |-------------------------------------------------------------------------------------------------------|
992.21/273.71	c (273,0) c |  0 |     54 |     107555 |      18571 |   488251 |     9788 |     3250 |    23148 |      304 |  0.000 |
992.21/273.71	c (273,0) c |  1 |     63 |     103076 |      19647 |   476567 |    10868 |     3292 |    23011 |      405 |  0.000 |
992.21/273.71	c (273,0) c |  2 |     63 |     117022 |      19245 |   480049 |    10457 |     3396 |    22502 |      344 |  0.000 |
992.21/273.71	c (273,0) c |  3 |     61 |      90041 |      18130 |   452124 |     9354 |     3256 |    23533 |      363 |  0.000 |
992.21/273.71	c (273,0) c |  4 |     64 |     110962 |      21336 |   495276 |    12558 |     3903 |    22652 |      340 |  0.000 |
992.21/273.71	c (273,0) c |  5 |     69 |     127644 |      19677 |   507113 |    10895 |     3284 |    20516 |      358 |  0.000 |
992.21/273.71	c (273,0) c |  6 |     72 |      91437 |      18482 |   398077 |     9696 |     3163 |    23673 |      333 |  0.000 |
992.21/273.71	c (273,0) c |  7 |     53 |      92659 |      18769 |   418438 |     9981 |     3301 |    23349 |      318 |  0.000 |
992.21/273.71	c (273,0) c 
992.21/273.71	c (273,0) c synthesis      153857 conflicts  1613725160 propagations      223 conflicts/sec  2334674 propagations/sec
992.21/273.71	c (273,0) c Total Memory so far : 2014.54Mb
992.21/273.71	c (273,0) c
992.21/273.71	c (273,0) c |-------------------------------------------------------------------------------------------------------|
992.21/273.71	c (273,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
992.21/273.71	c (273,0) c |-------------------------------------------------------------------------------------------------------|
1103.88/287.71	c (287,0) c |  0 |     59 |     113275 |      19560 |   511960 |    10776 |     3423 |    24554 |      318 |  0.000 |
1103.88/287.71	c (287,0) c |  1 |     66 |     107961 |      20601 |   490677 |    11822 |     3444 |    24500 |      431 |  0.000 |
1103.88/287.71	c (287,0) c |  2 |     65 |     120077 |      19992 |   486402 |    11204 |     3595 |    24586 |      355 |  0.000 |
1103.88/287.71	c (287,0) c |  3 |     62 |      94808 |      19111 |   472182 |    10334 |     3397 |    23690 |      408 |  0.000 |
1103.88/287.71	c (287,0) c |  4 |     65 |     112302 |      21873 |   498323 |    13095 |     4082 |    24092 |      355 |  0.000 |
1103.88/287.71	c (287,0) c |  5 |     69 |     128675 |      20200 |   509073 |    11418 |     3407 |    20516 |      364 |  0.000 |
1103.88/287.71	c (287,0) c |  6 |     78 |      97655 |      19414 |   412769 |    10628 |     3306 |    24285 |      360 |  0.000 |
1103.88/287.71	c (287,0) c |  7 |     58 |     100293 |      20164 |   437724 |    11376 |     3538 |    24504 |      348 |  0.000 |
1103.88/287.71	c (287,0) c 
1103.88/287.71	c (287,0) c synthesis      160915 conflicts  1687036645 propagations      223 conflicts/sec  2333060 propagations/sec
1103.88/287.71	c (287,0) c Total Memory so far : 2014.80Mb
1103.88/287.71	c (287,0) c
1103.88/287.71	c (287,0) c |-------------------------------------------------------------------------------------------------------|
1103.88/287.71	c (287,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1103.88/287.71	c (287,0) c |-------------------------------------------------------------------------------------------------------|
1103.88/287.71	c (287,0) c |  0 |     61 |     117758 |      20610 |   523805 |    11827 |     3560 |    25682 |      346 |  0.000 |
1103.88/287.71	c (287,0) c |  1 |     69 |     110495 |      21250 |   515512 |    12471 |     3574 |    25660 |      446 |  0.000 |
1103.88/287.71	c (287,0) c |  2 |     66 |     122160 |      20681 |   494941 |    11893 |     3737 |    24766 |      375 |  0.000 |
1103.88/287.71	c (287,0) c |  3 |     66 |     101213 |      20223 |   487937 |    11447 |     3566 |    25868 |      443 |  0.000 |
1103.88/287.71	c (287,0) c |  4 |     69 |     118440 |      22959 |   530079 |    14181 |     4307 |    24799 |      405 |  0.000 |
1103.88/287.71	c (287,0) c |  5 |     69 |     129501 |      20666 |   510309 |    11884 |     3540 |    20516 |      364 |  0.000 |
1103.88/287.71	c (287,0) c |  6 |     78 |      99945 |      20041 |   422289 |    11255 |     3416 |    24285 |      379 |  0.000 |
1103.88/287.71	c (287,0) c |  7 |     61 |     105480 |      21233 |   475315 |    12445 |     3791 |    25458 |      368 |  0.000 |
1103.88/287.71	c (287,0) c 
1103.88/287.71	c (287,0) c synthesis      167663 conflicts  1760450525 propagations      222 conflicts/sec  2331760 propagations/sec
1103.88/287.71	c (287,0) c Total Memory so far : 2014.93Mb
1103.88/287.71	c (287,0) c
1103.88/287.71	c (287,0) c |-------------------------------------------------------------------------------------------------------|
1103.88/287.71	c (287,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1103.88/287.71	c (287,0) c |-------------------------------------------------------------------------------------------------------|
1103.88/287.71	c (287,0) c |  0 |     66 |     125139 |      21882 |   554012 |    13099 |     3773 |    27306 |      376 |  0.000 |
1103.88/287.71	c (287,0) c |  1 |     74 |     116957 |      22385 |   531306 |    13606 |     3753 |    27129 |      492 |  0.000 |
1103.88/287.71	c (287,0) c |  2 |     68 |     125648 |      21682 |   504952 |    12894 |     3971 |    26153 |      427 |  0.000 |
1103.88/287.71	c (287,0) c |  3 |     70 |     105344 |      21332 |   500138 |    12556 |     3755 |    26959 |      491 |  0.000 |
1103.88/287.71	c (287,0) c |  4 |     71 |     123235 |      24104 |   542056 |     7924 |     4568 |    25692 |      421 |  0.000 |
1103.88/287.71	c (287,0) c |  5 |     72 |     132171 |      21398 |   519778 |    12616 |     3717 |    27459 |      378 |  0.000 |
1103.88/287.71	c (287,0) c |  6 |     80 |     107036 |      21130 |   439841 |    12344 |     3606 |    27475 |      409 |  0.000 |
1103.88/287.71	c (287,0) c |  7 |     67 |     117469 |      22764 |   506581 |    13976 |     4058 |    27019 |      407 |  0.000 |
1103.88/287.71	c (287,0) c 
1103.88/287.71	c (287,0) c synthesis      176677 conflicts  1853493761 propagations      222 conflicts/sec  2331935 propagations/sec
1103.88/287.71	c (287,0) c Total Memory so far : 2015.31Mb
1103.88/287.71	c (287,0) c
1103.88/287.71	c (287,0) c |-------------------------------------------------------------------------------------------------------|
1103.88/287.71	c (287,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1103.88/287.71	c (287,0) c |-------------------------------------------------------------------------------------------------------|
1103.88/287.71	c (287,0) c |  0 |     69 |     130226 |      23225 |   562276 |    14442 |     4024 |    28414 |      421 |  0.000 |
1199.59/299.71	c (299,0) c |  1 |     75 |     120601 |      23279 |   543146 |    14500 |     3932 |    27797 |      531 |  0.000 |
1199.59/299.71	c (299,0) c |  2 |     68 |     127108 |      22345 |   510178 |    13557 |     4106 |    26153 |      451 |  0.000 |
1199.59/299.71	c (299,0) c |  3 |     74 |     110988 |      22384 |   518304 |    13608 |     3921 |    28455 |      531 |  0.000 |
1199.59/299.71	c (299,0) c |  4 |     76 |     127937 |      25605 |   579711 |     9425 |     4839 |    27679 |      435 |  0.000 |
1199.59/299.71	c (299,0) c |  5 |     76 |     140473 |      22980 |   549481 |    14198 |     3940 |    28389 |      441 |  0.000 |
1199.59/299.71	c (299,0) c |  6 |     83 |     113961 |      22306 |   475248 |    13520 |     3800 |    29000 |      452 |  0.000 |
1199.59/299.71	c (299,0) c |  7 |     71 |     121844 |      23749 |   523937 |     7599 |     4273 |    28260 |      424 |  0.000 |
1199.59/299.71	c (299,0) c 
1199.59/299.71	c (299,0) c synthesis      185873 conflicts  1947653542 propagations      223 conflicts/sec  2333335 propagations/sec
1199.59/299.71	c (299,0) c Total Memory so far : 2015.44Mb
1199.59/299.71	c (299,0) c
1199.59/299.71	c (299,0) c |-------------------------------------------------------------------------------------------------------|
1199.59/299.71	c (299,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1199.59/299.71	c (299,0) c |-------------------------------------------------------------------------------------------------------|
1199.59/299.71	c (299,0) c |  0 |     72 |     135217 |      24223 |   572049 |     8051 |     4199 |    29954 |      432 |  0.000 |
1199.59/299.71	c (299,0) c |  1 |     80 |     126841 |      24465 |   559667 |     8300 |     4112 |    30078 |      548 |  0.000 |
1199.59/299.71	c (299,0) c |  2 |     68 |     129128 |      22991 |   516608 |    14203 |     4259 |    26153 |      475 |  0.000 |
1199.59/299.71	c (299,0) c |  3 |     75 |     115001 |      23291 |   527643 |    14515 |     4102 |    30016 |      549 |  0.000 |
1199.59/299.71	c (299,0) c |  4 |     78 |     134565 |      26617 |   597851 |    10437 |     5010 |    28358 |      443 |  0.000 |
1199.59/299.71	c (299,0) c |  5 |     79 |     149548 |      24131 |   572005 |     7952 |     4142 |    29873 |      467 |  0.000 |
1199.59/299.71	c (299,0) c |  6 |     87 |     121383 |      23135 |   505750 |    14349 |     3942 |    30273 |      470 |  0.000 |
1199.59/299.71	c (299,0) c |  7 |     75 |     129151 |      24712 |   547682 |     8562 |     4474 |    29406 |      447 |  0.000 |
1199.59/299.71	c (299,0) c 
1199.59/299.71	c (299,0) c synthesis      193566 conflicts  2023113365 propagations      223 conflicts/sec  2334664 propagations/sec
1199.59/299.71	c (299,0) c Total Memory so far : 1985.60Mb
1199.59/299.71	c (299,0) c
1199.59/299.71	c (299,0) c |-------------------------------------------------------------------------------------------------------|
1199.59/299.71	c (299,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1199.59/299.71	c (299,0) c |-------------------------------------------------------------------------------------------------------|
1199.59/299.71	c (299,0) c |  0 |     74 |     139252 |      25190 |   582385 |     9018 |     4401 |    30944 |      442 |  0.000 |
1199.59/299.71	c (299,0) c |  1 |     83 |     134181 |      25491 |   578943 |     9325 |     4266 |    31228 |      566 |  0.000 |
1199.59/299.71	c (299,0) c |  2 |     72 |     132783 |      23772 |   523442 |     7597 |     4414 |    30993 |      497 |  0.000 |
1199.59/299.71	c (299,0) c |  3 |     77 |     119453 |      24333 |   542957 |     8157 |     4266 |    31029 |      558 |  0.000 |
1199.59/299.71	c (299,0) c |  4 |     83 |     142451 |      27777 |   619978 |    11597 |     5172 |    30363 |      465 |  0.000 |
1199.59/299.71	c (299,0) c |  5 |     82 |     154491 |      25050 |   590636 |     8871 |     4327 |    31161 |      479 |  0.000 |
1199.59/299.71	c (299,0) c |  6 |     94 |     128180 |      24347 |   521314 |     8162 |     4129 |    31234 |      493 |  0.000 |
1199.59/299.71	c (299,0) c |  7 |     77 |     132263 |      25548 |   556653 |     9398 |     4645 |    30806 |      453 |  0.000 |
1199.59/299.71	c (299,0) c 
1199.59/299.71	c (299,0) c synthesis      201509 conflicts  2097969529 propagations      224 conflicts/sec  2335119 propagations/sec
1199.59/299.71	c (299,0) c Total Memory so far : 1985.86Mb
1199.59/299.71	c (299,0) c
1199.59/299.71	c (299,0) c |-------------------------------------------------------------------------------------------------------|
1199.59/299.71	c (299,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1199.59/299.71	c (299,0) c |-------------------------------------------------------------------------------------------------------|
1199.59/299.71	c (299,0) c |  0 |     75 |     142299 |      26185 |   593409 |    10013 |     4590 |    31884 |      455 |  0.000 |
1199.59/299.71	c (299,0) c |  1 |     87 |     138818 |      26348 |   586788 |    10183 |     4386 |    32109 |      577 |  0.000 |
1257.90/307.08	c (306,0) c |  2 |     73 |     136273 |      24489 |   540218 |     8314 |     4586 |    31706 |      507 |  0.000 |
1257.90/307.08	c (306,0) c |  3 |     81 |     124012 |      25235 |   551353 |     9060 |     4428 |    32089 |      563 |  0.000 |
1257.90/307.08	c (306,0) c |  4 |     85 |     146978 |      28987 |   630096 |    12807 |     5334 |    31359 |      488 |  0.000 |
1257.90/307.08	c (306,0) c |  5 |     87 |     159564 |      26052 |   601297 |     9873 |     4476 |    32292 |      491 |  0.000 |
1257.90/307.08	c (306,0) c |  6 |     99 |     133654 |      25306 |   530017 |     9121 |     4263 |    32564 |      506 |  0.000 |
1257.90/307.08	c (306,0) c |  7 |     80 |     134696 |      26174 |   567147 |    10024 |     4774 |    32038 |      467 |  0.000 |
1257.90/307.08	c (306,0) c 
1257.90/307.08	c (306,0) c synthesis      208777 conflicts  2175595807 propagations      224 conflicts/sec  2338484 propagations/sec
1257.90/307.08	c (306,0) c Total Memory so far : 1985.99Mb
1257.90/307.08	c (306,0) c
1257.90/307.08	c (306,0) c |-------------------------------------------------------------------------------------------------------|
1257.90/307.08	c (306,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
1257.90/307.08	c (306,0) c |-------------------------------------------------------------------------------------------------------|
1257.90/307.08	c (306,0) c |  0 |     75 |     144642 |      26847 |   599201 |    10675 |     4720 |    31884 |      466 |  0.000 |
1257.90/307.08	c (306,0) c |  1 |     87 |     140173 |      26820 |   589529 |    10655 |     4524 |    32109 |      584 |  0.000 |
1257.90/307.08	c (306,0) c |  2 |     77 |     140008 |      25211 |   547259 |     9036 |     4675 |    33095 |      516 |  0.000 |
1257.90/307.08	c (306,0) c |  3 |     86 |     131672 |      26480 |   572386 |    10305 |     4586 |    33302 |      584 |  0.000 |
1257.90/307.08	c (306,0) c |  4 |     86 |     148636 |      29607 |   633966 |    13427 |     5478 |    31543 |      500 |  0.000 |
1257.90/307.08	c (306,0) c |  5 |     87 |     164779 |      27265 |   612926 |    11086 |     4649 |    32292 |      506 |  0.000 |
1257.90/307.08	c (306,0) c |  6 |    101 |     138125 |      26309 |   540695 |    10124 |     4478 |    33472 |      523 |  0.000 |
1257.90/307.08	c (306,0) c |  7 |     87 |     152160 |      27510 |   586663 |    11360 |     4943 |    33017 |      496 |  0.000 |
1257.90/307.08	c (306,0) c 
1257.90/307.08	c (306,0) c synthesis      216050 conflicts  2253268380 propagations      225 conflicts/sec  2341784 propagations/sec
1257.90/307.08	c (306,0) c Total Memory so far : 1986.12Mb
1257.90/307.08	c (306,0) c last restart ## conflicts  :  283 349 
1257.90/307.08	c (306,0) c Thread 3 is 100% pure glucose! First thread to finish! (SAT answer).
1257.90/307.08	c (306,0) c Total Memory so far : 1986.38Mb
1257.90/307.08	c (306,0) c
1257.90/307.08	c (306,0) c real time : 131.663 s
1257.90/307.08	c (306,0) c cpu time  : 988.989 s
1257.90/307.08	c (306,0) c
1257.90/307.08	c (306,0) c
1257.90/307.08	c (306,0) c
1257.90/307.08	c (306,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1257.90/307.08	c (306,0) c
1257.90/307.08	c (306,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1257.90/307.08	c (306,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1257.90/307.08	c (306,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1257.90/307.08	c (306,0) c | Conflicts     |          222251 |      27514 |      27475 |      25882 |      27230 |      30562 |      28422 |      27054 |      28112 |
1257.90/307.08	c (306,0) c | Decisions     |         1198200 |     148592 |     144058 |     142233 |     136143 |     154224 |     172900 |     145089 |     154961 |
1257.90/307.08	c (306,0) c | Propagations  |      2317366449 |  283134353 |  279970778 |  283061390 |  293379709 |  304556972 |  281146907 |  296040036 |  296076304 |
1257.90/307.08	c (306,0) c | Avg_Trail     |                 |     101951 |      98531 |      93212 |     100173 |      97299 |      97903 |      92767 |      95431 |
1257.90/307.08	c (306,0) c | Avg_DL        |                 |        117 |        115 |        138 |        100 |        104 |        140 |        106 |        107 |
1257.90/307.08	c (306,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1257.90/307.08	c (306,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1257.90/307.08	c (306,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1257.90/307.08	c (306,0) c | Exported      |           39141 |       4828 |       4657 |       4831 |       4732 |       5622 |       4834 |       4576 |       5061 |
1257.90/307.08	c (306,0) c | Imported      |          270567 |      34148 |      33894 |      33095 |      33819 |      33124 |      33913 |      34549 |      34025 |
1257.90/307.08	c (306,0) c | Good          |           63072 |       8010 |       7862 |       7664 |       7917 |       7844 |       7915 |       7967 |       7893 |
1257.90/307.08	c (306,0) c | Purge         |          207495 |      26138 |      26032 |      25431 |      25902 |      25280 |      25998 |      26582 |      26132 |
1257.90/307.08	c (306,0) c | Promoted      |            4306 |        480 |        601 |        520 |        598 |        525 |        533 |        540 |        509 |
1257.90/307.08	c (306,0) c | Remove_Imp    |          114219 |      14286 |      14307 |      16060 |      15127 |      10833 |      14436 |      15844 |      13326 |
1257.90/307.08	c (306,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1257.90/307.08	c (306,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1257.90/307.08	c (306,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1257.90/307.08	c (306,0) c | Binaries      |                 |       1074 |       1125 |       1205 |       1071 |       1175 |       1102 |       1150 |       1219 |
1257.90/307.08	c (306,0) c | Glues         |                 |       1807 |       1903 |       2047 |       1794 |       2022 |       1977 |       2022 |       2096 |
1257.90/307.08	c (306,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1257.90/307.08	c (306,0) c | Orig_Seen     |            29 % |     606460 |     602714 |     553853 |     588469 |     649048 |     624994 |     551995 |     594303 |
1257.90/307.08	c (306,0) c | Diff Orig seen|                 |      17991 |      14245 | -    34616 |      X     |      60579 |      36525 | -    36474 |       5834 |
1257.90/307.08	c (306,0) c | Hamming       |             4 % |       8902 |      10340 |       8593 |      X     |       9798 |       8767 |       9700 |       9202 |
1257.90/307.08	c (306,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1257.90/307.08	c (306,0) 
1257.90/307.08	c (306,0) s SATISFIABLE
263.80/307.21	c (306,164) SatSolver.solve End
263.80/307.21	c (306,164) Heap : 4007 MiB used (max 21236 MiB), NonHeap : 31 MiB used (max 0 MiB)
263.80/307.21	c (306,164) Show results Begin
263.80/307.22	c (306,164) x[0][0] = 0
263.80/307.22	c (306,164) x[0][1] = 13
263.80/307.22	c (306,164) x[0][2] = 8
263.80/307.22	c (306,164) x[0][3] = 4
263.80/307.22	c (306,164) x[0][4] = 2
263.80/307.22	c (306,164) x[0][5] = 0
263.80/307.22	c (306,164) x[0][6] = 18
263.80/307.22	c (306,164) x[1][0] = 12
263.80/307.22	c (306,164) x[1][1] = 4
263.80/307.22	c (306,164) x[1][2] = 13
263.80/307.22	c (306,164) x[1][3] = 19
263.80/307.22	c (306,164) x[1][4] = 8
263.80/307.22	c (306,164) x[1][5] = 17
263.80/307.22	c (306,164) x[1][6] = 0
263.80/307.22	c (306,164) x[2][0] = 14
263.80/307.22	c (306,164) x[2][1] = 1
263.80/307.22	c (306,164) x[2][2] = 4
263.80/307.22	c (306,164) x[2][3] = 17
263.80/307.22	c (306,164) x[2][4] = 4
263.80/307.22	c (306,164) x[2][5] = 3
263.80/307.22	c (306,164) x[2][6] = 19
263.80/307.22	c (306,164) x[3][0] = 4
263.80/307.22	c (306,164) x[3][1] = 20
263.80/307.22	c (306,164) x[3][2] = 11
263.80/307.22	c (306,164) x[3][3] = 14
263.80/307.22	c (306,164) x[3][4] = 17
263.80/307.22	c (306,164) x[3][5] = 4
263.80/307.22	c (306,164) x[3][6] = 11
263.80/307.22	c (306,164) x[4][0] = 1
263.80/307.22	c (306,164) x[4][1] = 17
263.80/307.22	c (306,164) x[4][2] = 8
263.80/307.22	c (306,164) x[4][3] = 13
263.80/307.22	c (306,164) x[4][4] = 6
263.80/307.22	c (306,164) x[4][5] = 4
263.80/307.22	c (306,164) x[4][6] = 4
263.80/307.22	c (306,164) x[5][0] = 14
263.80/307.22	c (306,164) x[5][1] = 8
263.80/307.22	c (306,164) x[5][2] = 18
263.80/307.22	c (306,164) x[5][3] = 18
263.80/307.22	c (306,164) x[5][4] = 4
263.80/307.22	c (306,164) x[5][5] = 17
263.80/307.22	c (306,164) x[5][6] = 24
263.80/307.22	s SATISFIABLE
263.80/307.22	v <instantiation>
263.80/307.22	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6]</list>
263.80/307.22	v     <values>0 13 8 4 2 0 18 12 4 13 19 8 17 0 14 1 4 17 4 3 19 4 20 11 14 17 4 11 1 17 8 13 6 4 4 14 8 18 18 4 17 24</values>
263.80/307.22	v </instantiation>
263.80/307.22	c (306,164) Show results End
263.80/307.22	c (306,164) Heap : 4007 MiB used (max 21236 MiB), NonHeap : 29 MiB used (max 0 MiB)
263.80/307.22	c (306,164) 0,0,141,153,156,156,169,306,306,STOP-AFTER(ALL)
263.80/307.22	c END-Prog: Fri Jul 27 05:33:11 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 (8152 MiB free)
  memory of node 1: 16384 MiB (15463 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297063-1532662084/watcher-4297063-1532662084 -o /tmp/evaluation-result-4297063-1532662084/solver-4297063-1532662084 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532654328-15628 --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-4297063-1532662084.xml 

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

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

solver pid=17154, runsolver pid=17151

[startup+0.100092 s]*
/proc/loadavg: 3.60 6.98 8.05 2/198 17174
/proc/meminfo: memFree=24088388/32770624 swapFree=67077296/67108860
[pid=17154] ppid=17151 vsize=27312552 memory=109764 CPUtime=0.1 cores=0-7
/proc/17154/stat : 17154 (java) S 17151 17154 15601 0 -1 1077944320 6443 0 0 0 8 2 0 0 20 0 20 0 83771543 27968053248 27441 33554432000 4194304 4196468 140730912443264 140730912425808 140029905010423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
/proc/17154/statm: 6828138 27441 2751 1 0 6790598 0
[pid=17154/tid=17156] ppid=17151 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/17154/task/17156/stat : 17156 (java) R 17151 17154 15601 0 -1 4202560 4561 0 0 0 7 2 0 0 20 0 20 0 83771543 27968053248 27441 33554432000 4194304 4196468 140730912443264 140029876806304 140029889090940 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17157] ppid=17151 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/17154/task/17157/stat : 17157 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 27441 33554432000 4194304 4196468 140730912443264 140029909253008 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17158] ppid=17151 vsize=27312552 memory=139793551578752 CPUtime=0 cores=0-7
/proc/17154/task/17158/stat : 17158 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 27441 33554432000 4194304 4196468 140730912443264 140029692648208 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17159] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17159/stat : 17159 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 27441 33554432000 4194304 4196468 140730912443264 140029326253200 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17160] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17160/stat : 17160 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 27441 33554432000 4194304 4196468 140730912443264 140029325200400 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17161] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17161/stat : 17161 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 27441 33554432000 4194304 4196468 140730912443264 140029324147088 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17162] ppid=17151 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17154/task/17162/stat : 17162 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 27441 33554432000 4194304 4196468 140730912443264 140029323094288 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17163] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17163/stat : 17163 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 27441 33554432000 4194304 4196468 140730912443264 140029322042000 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17164] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17164/stat : 17164 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 27441 33554432000 4194304 4196468 140730912443264 140029320989200 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17165] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17165/stat : 17165 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771547 27968053248 27441 33554432000 4194304 4196468 140730912443264 140028495051376 140029905021570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17166] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17166/stat : 17166 (java) S 17151 17154 15601 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83771548 27968053248 27441 33554432000 4194304 4196468 140730912443264 140027745002784 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17167] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17167/stat : 17167 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83771548 27968053248 27441 33554432000 4194304 4196468 140730912443264 140027476567664 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17168] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17168/stat : 17168 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 27441 33554432000 4194304 4196468 140730912443264 140027102059088 140029905029019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17169] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17169/stat : 17169 (java) S 17151 17154 15601 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 27441 33554432000 4194304 4196468 140730912443264 140028493998192 140029905021570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17170] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17170/stat : 17170 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 27441 33554432000 4194304 4196468 140730912443264 140028492945392 140029905021570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17171] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17171/stat : 17171 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 27441 33554432000 4194304 4196468 140730912443264 140028491893104 140029905021570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17172] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17172/stat : 17172 (java) S 17151 17154 15601 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 27441 33554432000 4194304 4196468 140730912443264 140028490840304 140029905021570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17173] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17173/stat : 17173 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 27441 33554432000 4194304 4196468 140730912443264 140026604153696 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17174] ppid=17151 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17154/task/17174/stat : 17174 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 27441 33554432000 4194304 4196468 140730912443264 140028489788208 140029905021570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 109764 KiB

[startup+0.210474 s]*
/proc/loadavg: 3.60 6.98 8.05 2/198 17174
/proc/meminfo: memFree=24067720/32770624 swapFree=67077296/67108860
[pid=17154] ppid=17151 vsize=27312552 memory=123940 CPUtime=0.25 cores=0-7
/proc/17154/stat : 17154 (java) S 17151 17154 15601 0 -1 1077944320 10233 0 0 0 21 4 0 0 20 0 20 0 83771543 27968053248 30985 33554432000 4194304 4196468 140730912443264 140730912425808 140029905010423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
/proc/17154/statm: 6828138 30985 2906 1 0 6790598 0
[pid=17154/tid=17156] ppid=17151 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/17154/task/17156/stat : 17156 (java) R 17151 17154 15601 0 -1 4202560 8144 0 0 0 17 3 0 0 20 0 20 0 83771543 27968053248 30985 33554432000 4194304 4196468 140730912443264 140029876809168 140029905032349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17157] ppid=17151 vsize=27312552 memory=9237 CPUtime=0 cores=0-7
/proc/17154/task/17157/stat : 17157 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 30985 33554432000 4194304 4196468 140730912443264 140029909253008 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17158] ppid=17151 vsize=27312552 memory=139793551595061 CPUtime=0 cores=0-7
/proc/17154/task/17158/stat : 17158 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 30985 33554432000 4194304 4196468 140730912443264 140029692648208 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17159] ppid=17151 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17154/task/17159/stat : 17159 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 30985 33554432000 4194304 4196468 140730912443264 140029326253200 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17160] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17160/stat : 17160 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 30985 33554432000 4194304 4196468 140730912443264 140029325200400 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17161] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17161/stat : 17161 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 30985 33554432000 4194304 4196468 140730912443264 140029324147088 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17162] ppid=17151 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17154/task/17162/stat : 17162 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 30985 33554432000 4194304 4196468 140730912443264 140029323094288 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17163] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17163/stat : 17163 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 30985 33554432000 4194304 4196468 140730912443264 140029322042000 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17164] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17164/stat : 17164 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 30985 33554432000 4194304 4196468 140730912443264 140029320989200 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17165] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17165/stat : 17165 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771547 27968053248 30985 33554432000 4194304 4196468 140730912443264 140028495051376 140029905021570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17166] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17166/stat : 17166 (java) S 17151 17154 15601 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83771548 27968053248 30985 33554432000 4194304 4196468 140730912443264 140027745002784 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17167] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17167/stat : 17167 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83771548 27968053248 30985 33554432000 4194304 4196468 140730912443264 140027476567664 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17168] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17168/stat : 17168 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 30985 33554432000 4194304 4196468 140730912443264 140027102059088 140029905029019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17169] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17169/stat : 17169 (java) S 17151 17154 15601 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 30985 33554432000 4194304 4196468 140730912443264 140028493998192 140029905021570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17170] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17170/stat : 17170 (java) S 17151 17154 15601 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 30985 33554432000 4194304 4196468 140730912443264 140028492945392 140029905021570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17171] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17171/stat : 17171 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 30985 33554432000 4194304 4196468 140730912443264 140028491893104 140029905021570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17172] ppid=17151 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/17154/task/17172/stat : 17172 (java) S 17151 17154 15601 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 20 0 83771551 27968053248 30985 33554432000 4194304 4196468 140730912443264 140028490840304 140029905021570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17173] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17173/stat : 17173 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 30985 33554432000 4194304 4196468 140730912443264 140026604153696 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17174] ppid=17151 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17154/task/17174/stat : 17174 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 30985 33554432000 4194304 4196468 140730912443264 140028489788208 140029905021570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123940 KiB

[startup+0.309758 s]*
/proc/loadavg: 3.60 6.98 8.05 2/198 17174
/proc/meminfo: memFree=24064508/32770624 swapFree=67077296/67108860
[pid=17154] ppid=17151 vsize=27312552 memory=127940 CPUtime=0.42 cores=0-7
/proc/17154/stat : 17154 (java) S 17151 17154 15601 0 -1 1077944320 10781 0 0 0 38 4 0 0 20 0 20 0 83771543 27968053248 31985 33554432000 4194304 4196468 140730912443264 140730912425808 140029905010423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
/proc/17154/statm: 6828138 31985 3020 1 0 6790598 0
[pid=17154/tid=17156] ppid=17151 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17154/task/17156/stat : 17156 (java) R 17151 17154 15601 0 -1 4202560 8522 0 0 0 26 3 0 0 20 0 20 0 83771543 27968053248 31985 33554432000 4194304 4196468 140730912443264 140029876814576 140029886575401 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17157] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17157/stat : 17157 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 31985 33554432000 4194304 4196468 140730912443264 140029909253008 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17158] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17158/stat : 17158 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 31985 33554432000 4194304 4196468 140730912443264 140029692648208 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17159] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17159/stat : 17159 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 31985 33554432000 4194304 4196468 140730912443264 140029326253200 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17160] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17160/stat : 17160 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 31985 33554432000 4194304 4196468 140730912443264 140029325200400 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17161] ppid=17151 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/17154/task/17161/stat : 17161 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 31985 33554432000 4194304 4196468 140730912443264 140029324147088 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17162] ppid=17151 vsize=27312552 memory=139793400951727 CPUtime=0 cores=0-7
/proc/17154/task/17162/stat : 17162 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 31985 33554432000 4194304 4196468 140730912443264 140029323094288 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17163] ppid=17151 vsize=27312552 memory=139793400954032 CPUtime=0 cores=0-7
/proc/17154/task/17163/stat : 17163 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 31985 33554432000 4194304 4196468 140730912443264 140029322042000 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17164] ppid=17151 vsize=27312552 memory=139793400956336 CPUtime=0 cores=0-7
/proc/17154/task/17164/stat : 17164 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83771546 27968053248 31985 33554432000 4194304 4196468 140730912443264 140029320989200 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17165] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17165/stat : 17165 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771547 27968053248 31985 33554432000 4194304 4196468 140730912443264 140028495051376 140029905021570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17166] ppid=17151 vsize=27312552 memory=279586801919632 CPUtime=0 cores=0-7
/proc/17154/task/17166/stat : 17166 (java) S 17151 17154 15601 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83771548 27968053248 31985 33554432000 4194304 4196468 140730912443264 140027745002784 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17167] ppid=17151 vsize=27312552 memory=279586801926544 CPUtime=0 cores=0-7
/proc/17154/task/17167/stat : 17167 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83771548 27968053248 31985 33554432000 4194304 4196468 140730912443264 140027476567664 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17168] ppid=17151 vsize=27312552 memory=279586801867696 CPUtime=0 cores=0-7
/proc/17154/task/17168/stat : 17168 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 31985 33554432000 4194304 4196468 140730912443264 140027102059088 140029905029019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17169] ppid=17151 vsize=27312552 memory=279586801940368 CPUtime=0.01 cores=0-7
/proc/17154/task/17169/stat : 17169 (java) S 17151 17154 15601 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 20 0 83771551 27968053248 31985 33554432000 4194304 4196468 140730912443264 140028493998192 140029905021570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17170] ppid=17151 vsize=27312552 memory=279586801947280 CPUtime=0.01 cores=0-7
/proc/17154/task/17170/stat : 17170 (java) S 17151 17154 15601 0 -1 1077944384 204 0 0 0 1 0 0 0 20 0 20 0 83771551 27968053248 31985 33554432000 4194304 4196468 140730912443264 140028492945392 140029905021570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17171] ppid=17151 vsize=27312552 memory=279586801944976 CPUtime=0 cores=0-7
/proc/17154/task/17171/stat : 17171 (java) S 17151 17154 15601 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 31985 33554432000 4194304 4196468 140730912443264 140028491893104 140029905021570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17172] ppid=17151 vsize=27312552 memory=279586801961584 CPUtime=0.07 cores=0-7
/proc/17154/task/17172/stat : 17172 (java) S 17151 17154 15601 0 -1 1077944384 296 0 0 0 7 0 0 0 20 0 20 0 83771551 27968053248 31985 33554432000 4194304 4196468 140730912443264 140028490840304 140029905021570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17173] ppid=17151 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17173/stat : 17173 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 31985 33554432000 4194304 4196468 140730912443264 140026604153696 140029905020629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17174] ppid=17151 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/17154/task/17174/stat : 17174 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83771551 27968053248 31985 33554432000 4194304 4196468 140730912443264 140028489788208 140029905021570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127940 KiB

[startup+0.70085 s]
/proc/loadavg: 3.60 6.98 8.05 2/198 17174
/proc/meminfo: memFree=24040512/32770624 swapFree=67077296/67108860
[pid=17154] ppid=17151 vsize=27318824 memory=168512 CPUtime=0.99 cores=0-7
/proc/17154/stat : 17154 (java) S 17151 17154 15601 0 -1 1077944320 17700 0 0 0 92 7 0 0 20 0 20 0 83771543 27974475776 42128 33554432000 4194304 4196468 140730912443264 140730912425808 140029905010423 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
/proc/17154/statm: 6829706 42128 3135 1 0 6791110 0
[pid=17154/tid=17156] ppid=17151 vsize=27318824 memory=0 CPUtime=0.67 cores=0-7
/proc/17154/task/17156/stat : 17156 (java) R 17151 17154 15601 0 -1 4202560 14888 0 0 0 62 5 0 0 20 0 20 0 83771543 27974475776 42128 33554432000 4194304 4196468 140730912443264 140029876846304 140029905032349 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17157] ppid=17151 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17157/stat : 17157 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83771546 27974475776 42128 33554432000 4194304 4196468 140730912443264 140029909253008 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17158] ppid=17151 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17158/stat : 17158 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27974475776 42128 33554432000 4194304 4196468 140730912443264 140029692648208 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17159] ppid=17151 vsize=27318824 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17159/stat : 17159 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27974475776 42128 33554432000 4194304 4196468 140730912443264 140029326253200 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17160] ppid=17151 vsize=27318824 memory=3032 CPUtime=0 cores=0-7
/proc/17154/task/17160/stat : 17160 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27974475776 42128 33554432000 4194304 4196468 140730912443264 140029325200400 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17161] ppid=17151 vsize=27318824 memory=2764 CPUtime=0 cores=0-7
/proc/17154/task/17161/stat : 17161 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27974475776 42128 33554432000 4194304 4196468 140730912443264 140029324147088 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17162] ppid=17151 vsize=27318824 memory=796 CPUtime=0 cores=0-7
/proc/17154/task/17162/stat : 17162 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27974475776 42128 33554432000 4194304 4196468 140730912443264 140029323094288 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17163] ppid=17151 vsize=27318824 memory=1008 CPUtime=0 cores=0-7
/proc/17154/task/17163/stat : 17163 (java) S 17151 17154 15601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83771546 27974475776 42128 33554432000 4194304 4196468 140730912443264 140029322042000 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17164] ppid=17151 vsize=27318824 memory=15316 CPUtime=0 cores=0-7
/proc/17154/task/17164/stat : 17164 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83771546 27974475776 42128 33554432000 4194304 4196468 140730912443264 140029320989200 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17165] ppid=17151 vsize=27318824 memory=3604 CPUtime=0 cores=0-7
/proc/17154/task/17165/stat : 17165 (java) S 17151 17154 15601 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83771547 27974475776 42128 33554432000 4194304 4196468 140730912443264 140028495051376 140029905021570 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0

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

/proc/17154/task/17166/stat : 17166 (java) S 17151 17154 15601 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 24 0 83771548 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140027745002848 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17167] ppid=17151 vsize=27984808 memory=3604 CPUtime=0 cores=0-7
/proc/17154/task/17167/stat : 17167 (java) S 17151 17154 15601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 83771548 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140027476567680 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17168] ppid=17151 vsize=27984808 memory=11568 CPUtime=0 cores=0-7
/proc/17154/task/17168/stat : 17168 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83771551 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140027102059088 140029905029019 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17169] ppid=17151 vsize=27984808 memory=15128 CPUtime=4.48 cores=0-7
/proc/17154/task/17169/stat : 17169 (java) S 17151 17154 15601 0 -1 1077944384 10262 0 0 0 445 3 0 0 20 0 24 0 83771551 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140028493998192 140029905021570 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17170] ppid=17151 vsize=27984808 memory=640 CPUtime=4.77 cores=0-7
/proc/17154/task/17170/stat : 17170 (java) S 17151 17154 15601 0 -1 1077944384 10858 0 0 0 475 2 0 0 20 0 24 0 83771551 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140028492945392 140029905021570 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17171] ppid=17151 vsize=27984808 memory=1760 CPUtime=6.07 cores=0-7
/proc/17154/task/17171/stat : 17171 (java) S 17151 17154 15601 0 -1 1077944384 13868 0 0 0 604 3 0 0 20 0 24 0 83771551 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140028491893104 140029905021570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17172] ppid=17151 vsize=27984808 memory=11662272 CPUtime=1.27 cores=0-7
/proc/17154/task/17172/stat : 17172 (java) S 17151 17154 15601 0 -1 1077944384 15441 0 0 0 123 4 0 0 20 0 24 0 83771551 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140028490840304 140029905021570 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17173] ppid=17151 vsize=27984808 memory=1584800 CPUtime=0 cores=0-7
/proc/17154/task/17173/stat : 17173 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83771551 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140026604153696 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17174] ppid=17151 vsize=27984808 memory=796 CPUtime=0.14 cores=0-7
/proc/17154/task/17174/stat : 17174 (java) S 17151 17154 15601 0 -1 1077944384 952 0 0 0 8 6 0 0 20 0 24 0 83771551 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140028489788208 140029905021570 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17184] ppid=17151 vsize=27984808 memory=1008 CPUtime=0 cores=0-7
/proc/17154/task/17184/stat : 17184 (java) S 17151 17154 15601 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 83789085 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140028484077376 140029905035033 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17186] ppid=17151 vsize=27984808 memory=15316 CPUtime=0.01 cores=0-7
/proc/17154/task/17186/stat : 17186 (java) S 17151 17154 15601 0 -1 4202560 699 0 0 0 1 0 0 0 20 0 24 0 83789086 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140025933053264 140029905032349 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17187] ppid=17151 vsize=27984808 memory=3604 CPUtime=0 cores=0-7
/proc/17154/task/17187/stat : 17187 (java) S 17151 17154 15601 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 83789086 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140026201488560 140029905032349 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17188] ppid=17151 vsize=27984808 memory=11568 CPUtime=0 cores=0-7
/proc/17154/task/17188/stat : 17188 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83789088 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140025664625952 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
Current children cumulated CPU time: 1253.05 s
Current children cumulated vsize: 30018720 KiB
Current children cumulated memory: 13247228 KiB

[startup+306.802 s]
/proc/loadavg: 7.69 5.68 7.00 9/212 17196
/proc/meminfo: memFree=10881724/32770624 swapFree=67077300/67108860
[pid=17154] ppid=17151 vsize=27984808 memory=11662272 CPUtime=263.59 cores=0-7
/proc/17154/stat : 17154 (java) S 17151 17154 15601 0 -1 1077944320 126321 0 0 0 24591 1768 0 0 20 0 24 0 83771543 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140730912425808 140029905010423 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
/proc/17154/statm: 6996202 2915568 3260 1 0 6957058 0
[pid=17183] ppid=17154 vsize=2033912 memory=1584960 CPUtime=992.65 cores=0-7
/proc/17183/stat : 17183 (glucose-syrup) S 17154 17154 15601 0 -1 1077944320 2718167 0 0 0 98683 582 0 0 20 0 9 0 83789084 2082725888 396240 33554432000 4194304 4373367 140730815718560 140730815717104 140079556012674 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6470912 6472264 28868608 140730815722415 140730815722668 140730815722668 140730815725511 0
/proc/17183/statm: 508478 396240 388 44 0 504166 0
[pid=17183/tid=17189] ppid=17154 vsize=2033912 memory=15258134151170438 CPUtime=123.22 cores=0-7
/proc/17183/task/17189/stat : 17189 (glucose-syrup) R 17154 17154 15601 0 -1 4202560 307554 0 0 0 12267 55 0 0 20 0 9 0 83789855 2082725888 396240 33554432000 4194304 4373367 140730815718560 140079525112616 4258831 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 28868608 140730815722415 140730815722668 140730815722668 140730815725511 0
[pid=17183/tid=17190] ppid=17154 vsize=2033912 memory=5824 CPUtime=121.43 cores=0-7
/proc/17183/task/17190/stat : 17190 (glucose-syrup) R 17154 17154 15601 0 -1 4202560 313808 0 0 0 12087 56 0 0 20 0 9 0 83789855 2082725888 396240 33554432000 4194304 4373367 140730815718560 140078744013608 4271808 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 28868608 140730815722415 140730815722668 140730815722668 140730815725511 0
[pid=17183/tid=17191] ppid=17154 vsize=2033912 memory=11662272 CPUtime=123.44 cores=0-7
/proc/17183/task/17191/stat : 17191 (glucose-syrup) R 17154 17154 15601 0 -1 4202560 309911 0 0 0 12277 67 0 0 20 0 9 0 83789855 2082725888 396240 33554432000 4194304 4373367 140730815718560 140078735620904 4271828 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 28868608 140730815722415 140730815722668 140730815722668 140730815725511 0
[pid=17183/tid=17192] ppid=17154 vsize=2033912 memory=1584324 CPUtime=123.45 cores=0-7
/proc/17183/task/17192/stat : 17192 (glucose-syrup) R 17154 17154 15601 0 -1 4202560 304964 0 0 0 12268 77 0 0 20 0 9 0 83789855 2082725888 396240 33554432000 4194304 4373367 140730815718560 140078727228616 4258831 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 28868608 140730815722415 140730815722668 140730815722668 140730815725511 0
[pid=17183/tid=17193] ppid=17154 vsize=2033912 memory=-5155631293087968645 CPUtime=123.39 cores=0-7
/proc/17183/task/17193/stat : 17193 (glucose-syrup) R 17154 17154 15601 0 -1 4202560 314232 0 0 0 12269 70 0 0 20 0 9 0 83789855 2082725888 396240 33554432000 4194304 4373367 140730815718560 140078718835496 4249146 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 28868608 140730815722415 140730815722668 140730815722668 140730815725511 0
[pid=17183/tid=17194] ppid=17154 vsize=2033912 memory=4126316290023845779 CPUtime=123.05 cores=0-7
/proc/17183/task/17194/stat : 17194 (glucose-syrup) R 17154 17154 15601 0 -1 4202560 315557 0 0 0 12224 81 0 0 20 0 9 0 83789855 2082725888 396240 33554432000 4194304 4373367 140730815718560 140078710442792 4272576 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 28868608 140730815722415 140730815722668 140730815722668 140730815725511 0
[pid=17183/tid=17195] ppid=17154 vsize=2033912 memory=1008 CPUtime=123.43 cores=0-7
/proc/17183/task/17195/stat : 17195 (glucose-syrup) R 17154 17154 15601 0 -1 4202560 308941 0 0 0 12278 65 0 0 20 0 9 0 83789855 2082725888 396240 33554432000 4194304 4373367 140730815718560 140078702050448 4271828 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 28868608 140730815722415 140730815722668 140730815722668 140730815725511 0
[pid=17183/tid=17196] ppid=17154 vsize=2033912 memory=15316 CPUtime=123.44 cores=0-7
/proc/17183/task/17196/stat : 17196 (glucose-syrup) R 17154 17154 15601 0 -1 4202560 294892 0 0 0 12271 73 0 0 20 0 9 0 83789855 2082725888 396240 33554432000 4194304 4373367 140730815718560 140078693657384 4272316 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 28868608 140730815722415 140730815722668 140730815722668 140730815725511 0
[pid=17154/tid=17156] ppid=17151 vsize=27984808 memory=3604 CPUtime=165.09 cores=0-7
/proc/17154/task/17156/stat : 17156 (java) S 17151 17154 15601 0 -1 1077944384 37759 0 0 0 16409 100 0 0 20 0 24 0 83771543 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140029876849664 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17157] ppid=17151 vsize=27984808 memory=11568 CPUtime=10.22 cores=0-7
/proc/17154/task/17157/stat : 17157 (java) S 17151 17154 15601 0 -1 1077944384 3877 0 0 0 795 227 0 0 20 0 24 0 83771546 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140029909253008 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17158] ppid=17151 vsize=27984808 memory=15128 CPUtime=10.2 cores=0-7
/proc/17154/task/17158/stat : 17158 (java) S 17151 17154 15601 0 -1 1077944384 3917 0 0 0 791 229 0 0 20 0 24 0 83771546 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140029692648208 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17159] ppid=17151 vsize=27984808 memory=640 CPUtime=10.22 cores=0-7
/proc/17154/task/17159/stat : 17159 (java) S 17151 17154 15601 0 -1 1077944384 4240 0 0 0 845 177 0 0 20 0 24 0 83771546 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140029326253200 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17160] ppid=17151 vsize=27984808 memory=7091874538138462057 CPUtime=10.24 cores=0-7
/proc/17154/task/17160/stat : 17160 (java) S 17151 17154 15601 0 -1 1077944384 4507 0 0 0 793 231 0 0 20 0 24 0 83771546 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140029325200400 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17161] ppid=17151 vsize=27984808 memory=7811888765481861220 CPUtime=10.09 cores=0-7
/proc/17154/task/17161/stat : 17161 (java) S 17151 17154 15601 0 -1 1077944384 4522 0 0 0 816 193 0 0 20 0 24 0 83771546 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140029324147088 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17162] ppid=17151 vsize=27984808 memory=7811888765481861220 CPUtime=10.21 cores=0-7
/proc/17154/task/17162/stat : 17162 (java) S 17151 17154 15601 0 -1 1077944384 3526 0 0 0 805 216 0 0 20 0 24 0 83771546 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140029323094288 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17163] ppid=17151 vsize=27984808 memory=7811888765481861220 CPUtime=10.17 cores=0-7
/proc/17154/task/17163/stat : 17163 (java) S 17151 17154 15601 0 -1 1077944384 4186 0 0 0 836 181 0 0 20 0 24 0 83771546 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140029322042000 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17164] ppid=17151 vsize=27984808 memory=7811888765481861220 CPUtime=10.21 cores=0-7
/proc/17154/task/17164/stat : 17164 (java) S 17151 17154 15601 0 -1 1077944384 5423 0 0 0 831 190 0 0 20 0 24 0 83771546 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140029320989200 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17165] ppid=17151 vsize=27984808 memory=7811888765481861220 CPUtime=0.04 cores=0-7
/proc/17154/task/17165/stat : 17165 (java) S 17151 17154 15601 0 -1 1077944384 885 0 0 0 4 0 0 0 20 0 24 0 83771547 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140028495051376 140029905021570 0 0 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17166] ppid=17151 vsize=27984808 memory=7812148134228552039 CPUtime=0 cores=0-7
/proc/17154/task/17166/stat : 17166 (java) S 17151 17154 15601 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 24 0 83771548 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140027745002848 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17167] ppid=17151 vsize=27984808 memory=7164218013404195945 CPUtime=0 cores=0-7
/proc/17154/task/17167/stat : 17167 (java) S 17151 17154 15601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 83771548 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140027476567680 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17168] ppid=17151 vsize=27984808 memory=7164218013404195945 CPUtime=0 cores=0-7
/proc/17154/task/17168/stat : 17168 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83771551 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140027102059088 140029905029019 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17169] ppid=17151 vsize=27984808 memory=7954320570786933100 CPUtime=4.48 cores=0-7
/proc/17154/task/17169/stat : 17169 (java) S 17151 17154 15601 0 -1 1077944384 10262 0 0 0 445 3 0 0 20 0 24 0 83771551 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140028493998192 140029905021570 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17170] ppid=17151 vsize=27984808 memory=7596562564472596800 CPUtime=4.77 cores=0-7
/proc/17154/task/17170/stat : 17170 (java) S 17151 17154 15601 0 -1 1077944384 10858 0 0 0 475 2 0 0 20 0 24 0 83771551 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140028492945392 140029905021570 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17171] ppid=17151 vsize=27984808 memory=7596562564472596800 CPUtime=6.07 cores=0-7
/proc/17154/task/17171/stat : 17171 (java) S 17151 17154 15601 0 -1 1077944384 13868 0 0 0 604 3 0 0 20 0 24 0 83771551 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140028491893104 140029905021570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17172] ppid=17151 vsize=27984808 memory=7596562564472596800 CPUtime=1.27 cores=0-7
/proc/17154/task/17172/stat : 17172 (java) S 17151 17154 15601 0 -1 1077944384 15441 0 0 0 123 4 0 0 20 0 24 0 83771551 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140028490840304 140029905021570 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17173] ppid=17151 vsize=27984808 memory=7596562564472596800 CPUtime=0 cores=0-7
/proc/17154/task/17173/stat : 17173 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83771551 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140026604153696 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17174] ppid=17151 vsize=27984808 memory=7954320570786933100 CPUtime=0.14 cores=0-7
/proc/17154/task/17174/stat : 17174 (java) S 17151 17154 15601 0 -1 1077944384 952 0 0 0 8 6 0 0 20 0 24 0 83771551 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140028489788208 140029905021570 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17184] ppid=17151 vsize=27984808 memory=7661562401877747569 CPUtime=0 cores=0-7
/proc/17154/task/17184/stat : 17184 (java) S 17151 17154 15601 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 83789085 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140028484077376 140029905035033 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17186] ppid=17151 vsize=27984808 memory=7595723619836777302 CPUtime=0.01 cores=0-7
/proc/17154/task/17186/stat : 17186 (java) S 17151 17154 15601 0 -1 4202560 699 0 0 0 1 0 0 0 20 0 24 0 83789086 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140025933053264 140029905032349 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17187] ppid=17151 vsize=27984808 memory=7597118938712069737 CPUtime=0 cores=0-7
/proc/17154/task/17187/stat : 17187 (java) S 17151 17154 15601 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 83789086 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140026201488560 140029905032349 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17188] ppid=17151 vsize=27984808 memory=7595723619836777302 CPUtime=0 cores=0-7
/proc/17154/task/17188/stat : 17188 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83789088 28656443392 2915568 33554432000 4194304 4196468 140730912443264 140025664625952 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
Current children cumulated CPU time: 1256.24 s
Current children cumulated vsize: 30018720 KiB
Current children cumulated memory: 13247232 KiB

[startup+307.201 s]
/proc/loadavg: 7.69 5.68 7.00 9/212 17196
/proc/meminfo: memFree=10881972/32770624 swapFree=67077300/67108860
[pid=17154] ppid=17151 vsize=27984808 memory=11662292 CPUtime=263.8 cores=0-7
/proc/17154/stat : 17154 (java) S 17151 17154 15601 0 -1 1077944320 126572 0 0 0 24611 1769 0 0 20 0 24 0 83771543 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140730912425808 140029905010423 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
/proc/17154/statm: 6996202 2915573 3260 1 0 6957058 0
[pid=17154/tid=17156] ppid=17151 vsize=27984808 memory=776 CPUtime=165.09 cores=0-7
/proc/17154/task/17156/stat : 17156 (java) S 17151 17154 15601 0 -1 1077944384 37759 0 0 0 16409 100 0 0 20 0 24 0 83771543 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140029876849664 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17157] ppid=17151 vsize=27984808 memory=-6000919489886643566 CPUtime=10.22 cores=0-7
/proc/17154/task/17157/stat : 17157 (java) S 17151 17154 15601 0 -1 1077944384 3877 0 0 0 795 227 0 0 20 0 24 0 83771546 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140029909253008 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17158] ppid=17151 vsize=27984808 memory=0 CPUtime=10.2 cores=0-7
/proc/17154/task/17158/stat : 17158 (java) S 17151 17154 15601 0 -1 1077944384 3917 0 0 0 791 229 0 0 20 0 24 0 83771546 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140029692648208 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17159] ppid=17151 vsize=27984808 memory=0 CPUtime=10.22 cores=0-7
/proc/17154/task/17159/stat : 17159 (java) S 17151 17154 15601 0 -1 1077944384 4240 0 0 0 845 177 0 0 20 0 24 0 83771546 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140029326253200 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17160] ppid=17151 vsize=27984808 memory=0 CPUtime=10.24 cores=0-7
/proc/17154/task/17160/stat : 17160 (java) S 17151 17154 15601 0 -1 1077944384 4507 0 0 0 793 231 0 0 20 0 24 0 83771546 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140029325200400 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17161] ppid=17151 vsize=27984808 memory=164 CPUtime=10.09 cores=0-7
/proc/17154/task/17161/stat : 17161 (java) S 17151 17154 15601 0 -1 1077944384 4522 0 0 0 816 193 0 0 20 0 24 0 83771546 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140029324147088 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17162] ppid=17151 vsize=27984808 memory=324 CPUtime=10.21 cores=0-7
/proc/17154/task/17162/stat : 17162 (java) S 17151 17154 15601 0 -1 1077944384 3526 0 0 0 805 216 0 0 20 0 24 0 83771546 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140029323094288 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17163] ppid=17151 vsize=27984808 memory=6656426216303648864 CPUtime=10.17 cores=0-7
/proc/17154/task/17163/stat : 17163 (java) S 17151 17154 15601 0 -1 1077944384 4186 0 0 0 836 181 0 0 20 0 24 0 83771546 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140029322042000 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17164] ppid=17151 vsize=27984808 memory=6655300316396806240 CPUtime=10.21 cores=0-7
/proc/17154/task/17164/stat : 17164 (java) S 17151 17154 15601 0 -1 1077944384 5423 0 0 0 831 190 0 0 20 0 24 0 83771546 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140029320989200 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17165] ppid=17151 vsize=27984808 memory=0 CPUtime=0.04 cores=0-7
/proc/17154/task/17165/stat : 17165 (java) S 17151 17154 15601 0 -1 1077944384 886 0 0 0 4 0 0 0 20 0 24 0 83771547 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140028495051376 140029905021570 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17166] ppid=17151 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17166/stat : 17166 (java) S 17151 17154 15601 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 24 0 83771548 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140027745002848 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17167] ppid=17151 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17167/stat : 17167 (java) S 17151 17154 15601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 83771548 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140027476567680 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17168] ppid=17151 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/17154/task/17168/stat : 17168 (java) S 17151 17154 15601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 83771551 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140027102059088 140029905029019 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17169] ppid=17151 vsize=27984808 memory=-5155631293087968645 CPUtime=4.51 cores=0-7
/proc/17154/task/17169/stat : 17169 (java) S 17151 17154 15601 0 -1 1077944384 10269 0 0 0 448 3 0 0 20 0 24 0 83771551 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140028493998192 140029905021570 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17170] ppid=17151 vsize=27984808 memory=21960 CPUtime=4.79 cores=0-7
/proc/17154/task/17170/stat : 17170 (java) S 17151 17154 15601 0 -1 1077944384 10875 0 0 0 477 2 0 0 20 0 24 0 83771551 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140028492945392 140029905021570 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17171] ppid=17151 vsize=27984808 memory=776 CPUtime=6.12 cores=0-7
/proc/17154/task/17171/stat : 17171 (java) S 17151 17154 15601 0 -1 1077944384 13886 0 0 0 609 3 0 0 20 0 24 0 83771551 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140028491893104 140029905021570 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17172] ppid=17151 vsize=27984808 memory=1876 CPUtime=1.29 cores=0-7
/proc/17154/task/17172/stat : 17172 (java) S 17151 17154 15601 0 -1 1077944384 15595 0 0 0 125 4 0 0 20 0 24 0 83771551 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140028490840304 140029905021570 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17173] ppid=17151 vsize=27984808 memory=1664 CPUtime=0 cores=0-7
/proc/17154/task/17173/stat : 17173 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83771551 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140026604153696 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17174] ppid=17151 vsize=27984808 memory=1580840 CPUtime=0.14 cores=0-7
/proc/17154/task/17174/stat : 17174 (java) S 17151 17154 15601 0 -1 1077944384 952 0 0 0 8 6 0 0 20 0 24 0 83771551 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140028489788208 140029905021570 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17184] ppid=17151 vsize=27984808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/17154/task/17184/stat : 17184 (java) S 17151 17154 15601 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 83789085 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140028484077376 140029905035033 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17186] ppid=17151 vsize=27984808 memory=3728836921089 CPUtime=0.1 cores=0-7
/proc/17154/task/17186/stat : 17186 (java) S 17151 17154 15601 0 -1 4202560 753 0 0 0 10 0 0 0 20 0 24 0 83789086 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140025933053552 140029905032349 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17187] ppid=17151 vsize=27984808 memory=-5155631293087968645 CPUtime=0 cores=0-7
/proc/17154/task/17187/stat : 17187 (java) S 17151 17154 15601 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 83789086 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140026201488560 140029905032349 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
[pid=17154/tid=17188] ppid=17151 vsize=27984808 memory=4012304762625 CPUtime=0 cores=0-7
/proc/17154/task/17188/stat : 17188 (java) S 17151 17154 15601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 83789088 28656443392 2915573 33554432000 4194304 4196468 140730912443264 140025664625952 140029905020629 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39837696 140730912449497 140730912449797 140730912449797 140730912452559 0
Current children cumulated CPU time: 263.8 s
Current children cumulated vsize: 27984808 KiB
Current children cumulated memory: 11662292 KiB

Child status: 0
Real time (s): 307.289
CPU time (s): 1258.86
CPU user time (s): 1235.2
CPU system time (s): 23.6612
CPU usage (%): 409.666
Max. virtual memory (cumulated for all children) (KiB): 30128360
Max. memory (cumulated for all children) (KiB): 13329732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1235.2
system time used= 23.6612
maximum resident set size= 11662292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2845458
page faults= 0
swaps= 0
block input operations= 0
block output operations= 89496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 236728
involuntary context switches= 11039


# summary of solver processes directly reported to runsolver:
#   pid: 17154
#   total CPU time (s): 1258.86
#   total CPU user time (s): 1235.2
#   total CPU system time (s): 23.6612

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.37071 second user time and 3.31975 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-27 05:28:04
IDJOB=4297063
IDBENCH=141440
IDSOLVER=2758
FILE ID=node102/4297063-1532662084
RUNJOBID= node102-1532654328-15628
PBS_JOBID= 21022218
Free space on /tmp= 52748 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/Crossword/Crossword-m18-ogd2008-vg-06-07_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-4297063-1532662084/watcher-4297063-1532662084 -o /tmp/evaluation-result-4297063-1532662084/solver-4297063-1532662084 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1532654328-15628 --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-4297063-1532662084.xml

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

MD5SUM BENCH= eed26ff9eb0f4f7c4bd196d19099a77a
RANDOM SEED=194480158

node102.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.51
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.51
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.51
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.51
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:        24182664 kB
MemAvailable:   31957160 kB
Buffers:          206840 kB
Cached:          7803300 kB
SwapCached:         5064 kB
Active:          1369128 kB
Inactive:        6675672 kB
Active(anon):       5724 kB
Inactive(anon):    53704 kB
Active(file):    1363404 kB
Inactive(file):  6621968 kB
Unevictable:        6616 kB
Mlocked:            6616 kB
SwapTotal:      67108860 kB
SwapFree:       67077296 kB
Dirty:             10156 kB
Writeback:             0 kB
AnonPages:         52828 kB
Mapped:            34380 kB
Shmem:             22212 kB
Slab:             237508 kB
SReclaimable:     209916 kB
SUnreclaim:        27592 kB
KernelStack:        3520 kB
PageTables:         5056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52736 MiB
End job on node102 at 2018-07-27 05:33:11