Trace number 4391290

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 NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23SAT (TO)18 2400.07 2394.61

General information on the benchmark

NameBinPacking/
BinPacking-tab-fu/BinPacking-tab-fu0120-04.xml
MD5SUM2e923e7e276bbb1d78c8186edf745710
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables477
Number of constraints71
Number of domains2
Minimum domain size63
Maximum domain size69
Distribution of domain sizes[{"size":63,"count":476},{"size":69,"count":1}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":408},{"degree":4,"count":68}]
Minimum constraint arity7
Maximum constraint arity476
Distribution of constraint arities[{"arity":7,"count":68},{"arity":69,"count":1},{"arity":476,"count":2}]
Number of extensional constraints68
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":68},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

2.62/1.90	
2.62/1.90	AbsCon 2 
2.62/1.91	
3.51/2.22	  Instance
3.51/2.22	    name=instance-4391290-1568390920, framework=COP, bounds=-infty..+infty
3.51/2.22	
3.51/2.22	  Loading variables...
3.88/2.37	  Loading constraints...
4.50/2.58	
4.50/2.58	  Domains
4.50/2.58	    nTypes=2, nValues=30057, sizes=[63#476,69#1]
4.50/2.58	  Variables
4.50/2.58	    count=477, degrees=[2#1,3#12,4#398,5#66]
4.50/2.58	  Objectives
4.50/2.58	    way=max, type=ObjVarGE
4.50/2.58	  Constraints
4.50/2.58	    count=138, nSpecific=138, arities=[1#1,7#68,14#67,69#1,476#1]
4.50/2.58	    distribution=[CardinalityConstant#1,CtrExtensionCT-Table#68,ExactlyKVariable#1,LexicographicLe#67,ObjVarGE#1]
4.50/2.58	    tables=[33893#68], nTotalTuples=2304724
4.50/2.58	    nExtStructures=(1,shared:67)
4.50/2.58	    wck=0.708, cpu=2.506, mem=162M40
4.70/2.61	  Solver SolverBacktrack being built...
4.70/2.61	
4.70/2.64	
4.70/2.64	  Solver
4.70/2.64	    guaranteedGAC=true
4.70/2.64	    wck=0.773, cpu=2.569, mem=186M277
5.29/2.94	
5.29/2.94	  Preprocessing
5.29/2.94	    filters=68, nACremovedValues=19380, nTotalRemovedValues=19380, inconcistency=false
5.29/2.94	    wck=0.304, cpu=2.874, mem=188M893
5.29/2.94	
6.00/3.24	    num=0, depth=1..1, filters=321, wck=0.598, mem=188M893
6.00/3.24	    decisions=21, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
6.00/3.24	    nFilterCalls=595, avgTableProportion=0.9999704953825223, avgTableSize=33892.0
6.00/3.24	    
7.02/4.05	    num=1, depth=0..0, filters=959, wck=1.413, mem=188M893
7.02/4.05	    decisions=43, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
7.02/4.05	    nFilterCalls=962, avgTableProportion=0.9999704953825187, avgTableSize=33892.0
7.02/4.05	    
7.83/4.81	    num=2, depth=0..0, filters=1725, wck=2.169, mem=188M893
7.83/4.81	    decisions=67, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
7.83/4.81	    nFilterCalls=1442, avgTableProportion=0.9999704953825168, avgTableSize=33892.0
7.83/4.81	    
8.84/5.87	    num=3, depth=0..0, filters=2756, wck=3.229, mem=188M893
8.84/5.87	    decisions=93, wrong=46, backtracks=0, failedAssignments=46, nogoods=10
8.84/5.87	    nFilterCalls=2025, avgTableProportion=0.9999704953825157, avgTableSize=33892.0
8.84/5.87	    
9.95/6.90	    num=4, depth=0..0, filters=3667, wck=4.263, mem=188M893
9.95/6.90	    decisions=121, wrong=60, backtracks=0, failedAssignments=60, nogoods=10
9.95/6.90	    nFilterCalls=2722, avgTableProportion=0.999970495382515, avgTableSize=33892.0
9.95/6.90	    
11.24/8.11	    num=5, depth=0..111, filters=4723, wck=5.473, mem=188M893
11.24/8.11	    decisions=263, wrong=76, backtracks=0, failedAssignments=76, nogoods=14
11.24/8.11	    nFilterCalls=3755, avgTableProportion=0.9999704953825145, avgTableSize=33892.0
11.24/8.11	    
12.64/9.59	    num=6, depth=0..0, filters=6304, wck=6.947, mem=188M893
12.64/9.59	    decisions=297, wrong=93, backtracks=0, failedAssignments=93, nogoods=14
12.64/9.59	    nFilterCalls=4761, avgTableProportion=0.9999704953825141, avgTableSize=33892.0
12.64/9.59	    
15.05/11.94	    num=7, depth=0..0, filters=8626, wck=9.305, mem=188M893
15.05/11.94	    decisions=335, wrong=112, backtracks=0, failedAssignments=112, nogoods=14
15.05/11.94	    nFilterCalls=6204, avgTableProportion=0.9999704953825139, avgTableSize=33892.0
15.05/11.94	    
17.01/13.86	    num=8, depth=0..129, filters=10362, wck=11.22, mem=188M893
17.01/13.86	    decisions=506, wrong=133, backtracks=0, failedAssignments=133, nogoods=23
17.01/13.86	    nFilterCalls=7591, avgTableProportion=0.9999704953825137, avgTableSize=33892.0
17.01/13.86	    
17.72/14.58	    num=9, depth=0..107, filters=10965, wck=11.939, mem=188M893
17.72/14.58	    decisions=658, wrong=156, backtracks=0, failedAssignments=156, nogoods=36
17.72/14.58	    nFilterCalls=8229, avgTableProportion=0.9999704953825137, avgTableSize=33892.0
17.72/14.58	    
18.34/15.18	    num=10, depth=0..91, filters=11438, wck=12.541, mem=188M893
18.34/15.18	    decisions=797, wrong=181, backtracks=0, failedAssignments=181, nogoods=53
18.34/15.18	    nFilterCalls=8713, avgTableProportion=0.9999704953825137, avgTableSize=33892.0
18.34/15.18	    
19.13/15.91	    num=11, depth=0..191, filters=11874, wck=13.267, mem=188M893
19.13/15.91	    decisions=1036, wrong=209, backtracks=0, failedAssignments=209, nogoods=75
19.13/15.91	    nFilterCalls=9295, avgTableProportion=0.9999704953825136, avgTableSize=33892.0
19.13/15.91	    
20.76/17.52	    num=12, depth=0..0, filters=13508, wck=14.876, mem=188M893
20.76/17.52	    decisions=1098, wrong=240, backtracks=0, failedAssignments=240, nogoods=75
20.76/17.52	    nFilterCalls=10201, avgTableProportion=0.9999704953825136, avgTableSize=33892.0
20.76/17.52	    
22.49/19.25	    num=13, depth=0..199, filters=15018, wck=16.614, mem=188M893
22.49/19.25	    decisions=1364, wrong=274, backtracks=0, failedAssignments=274, nogoods=93
22.49/19.25	    nFilterCalls=11403, avgTableProportion=0.9999704953825135, avgTableSize=33892.0
22.49/19.25	    
25.12/21.81	    num=14, depth=0..0, filters=17541, wck=19.169, mem=188M893
25.12/21.81	    decisions=1438, wrong=311, backtracks=0, failedAssignments=311, nogoods=93
25.12/21.81	    nFilterCalls=12887, avgTableProportion=0.9999704953825135, avgTableSize=33892.0
25.12/21.81	    
25.86/22.50	    num=15, depth=12..144, filters=18140, wck=19.865, mem=188M893
25.86/22.50	    decisions=1667, wrong=360, backtracks=8, failedAssignments=352, nogoods=121
25.86/22.50	    nFilterCalls=13486, avgTableProportion=0.9999704953825135, avgTableSize=33892.0
25.86/22.50	    
27.10/23.77	    num=16, depth=0..216, filters=19282, wck=21.127, mem=188M893
27.10/23.77	    decisions=1967, wrong=405, backtracks=8, failedAssignments=397, nogoods=159
27.10/23.77	    nFilterCalls=14749, avgTableProportion=0.9999704953825134, avgTableSize=33892.0
27.10/23.77	    
27.80/24.43	    num=17, depth=1..113, filters=19990, wck=21.789, mem=188M893
27.80/24.43	    decisions=2186, wrong=464, backtracks=17, failedAssignments=447, nogoods=196
27.80/24.43	    nFilterCalls=15789, avgTableProportion=0.9999704953825134, avgTableSize=33892.0
27.80/24.43	    
29.96/26.58	    num=18, depth=0..87, filters=22002, wck=23.942, mem=188M893
29.96/26.58	    decisions=2376, wrong=519, backtracks=17, failedAssignments=502, nogoods=215
29.96/26.58	    nFilterCalls=16999, avgTableProportion=0.9999704953825791, avgTableSize=33892.0
29.96/26.58	    
31.27/27.89	    num=19, depth=0..211, filters=23438, wck=25.252, mem=188M893
31.27/27.89	    decisions=2722, wrong=594, backtracks=31, failedAssignments=563, nogoods=254
31.27/27.89	    nFilterCalls=18577, avgTableProportion=0.999970495382728, avgTableSize=33892.0
31.27/27.89	    
32.58/29.13	    num=20, depth=7..213, filters=24725, wck=26.495, mem=188M893
32.58/29.13	    decisions=3053, wrong=661, backtracks=31, failedAssignments=630, nogoods=321
32.58/29.13	    nFilterCalls=19897, avgTableProportion=0.9999704953828343, avgTableSize=33892.0
32.58/29.13	    
33.98/30.56	    num=21, depth=7..195, filters=26265, wck=27.924, mem=188M893
33.98/30.56	    decisions=3388, wrong=736, backtracks=32, failedAssignments=704, nogoods=390
33.98/30.56	    nFilterCalls=21180, avgTableProportion=0.9999704953829252, avgTableSize=33892.0
33.98/30.56	    
35.68/32.27	    num=22, depth=5..207, filters=28315, wck=29.63, mem=188M893
35.68/32.27	    decisions=3793, wrong=842, backtracks=57, failedAssignments=785, nogoods=434
35.68/32.27	    nFilterCalls=23602, avgTableProportion=0.9999704953830695, avgTableSize=33892.0
35.68/32.27	    
37.31/33.87	    num=23, depth=3..211, filters=29956, wck=31.235, mem=188M893
37.31/33.87	    decisions=4207, wrong=950, backtracks=78, failedAssignments=874, nogoods=476
37.31/33.87	    nFilterCalls=25292, avgTableProportion=0.9999704953831539, avgTableSize=33892.0
37.31/33.87	    
38.81/35.31	    num=24, depth=2..213, filters=31301, wck=32.674, mem=188M893
38.81/35.31	    decisions=4604, wrong=1050, backtracks=80, failedAssignments=972, nogoods=555
38.81/35.31	    nFilterCalls=26688, avgTableProportion=0.9999704953832155, avgTableSize=33892.0
38.81/35.31	    
41.11/37.61	    num=25, depth=2..183, filters=33646, wck=34.969, mem=188M893
41.11/37.61	    decisions=4999, wrong=1166, backtracks=88, failedAssignments=1080, nogoods=605
41.11/37.61	    nFilterCalls=28526, avgTableProportion=0.9999704953832874, avgTableSize=33892.0
41.11/37.61	    
44.91/41.41	    num=26, depth=4..139, filters=37684, wck=38.773, mem=188M893
44.91/41.41	    decisions=5397, wrong=1300, backtracks=104, failedAssignments=1199, nogoods=701
44.91/41.41	    nFilterCalls=31078, avgTableProportion=0.9999704953833732, avgTableSize=33892.0
44.91/41.41	    
47.31/43.81	o 13
47.31/43.81	    num=27, depth=4..476, filters=40183, ccks=138, wck=41.175, mem=188M893
47.31/43.81	    decisions=5851, wrong=1423, backtracks=119, failedAssignments=1311, nogoods=796, foundSolutions=1, bestBound=13
47.31/43.81	    nFilterCalls=33092, avgTableProportion=0.999970495383396, avgTableSize=33892.0
47.31/43.81	    
49.93/46.49	o 14
49.93/46.50	    num=28, depth=4..476, filters=42778, ccks=276, wck=43.855, mem=191M508
49.93/46.50	    decisions=6241, wrong=1508, backtracks=121, failedAssignments=1394, nogoods=877, foundSolutions=2, bestBound=14
49.93/46.50	    nFilterCalls=35143, avgTableProportion=0.9999704953832383, avgTableSize=33892.0
49.93/46.50	    
50.05/46.59	    num=29, depth=3..13, filters=42877, ccks=276, wck=43.949, mem=191M508
50.05/46.59	    decisions=6270, wrong=1519, backtracks=121, failedAssignments=1405, nogoods=888, foundSolutions=2, bestBound=14
50.05/46.59	    nFilterCalls=35298, avgTableProportion=0.9999704953832271, avgTableSize=33892.0
50.05/46.59	    
50.17/46.69	    num=30, depth=0..9, filters=42998, ccks=276, wck=44.051, mem=191M508
50.17/46.69	    decisions=6296, wrong=1530, backtracks=121, failedAssignments=1416, nogoods=898, foundSolutions=2, bestBound=14
50.17/46.69	    nFilterCalls=35398, avgTableProportion=0.99997049538322, avgTableSize=33892.0
50.17/46.69	    
50.37/46.81	    num=31, depth=0..22, filters=43110, ccks=276, wck=44.167, mem=191M508
50.37/46.81	    decisions=6336, wrong=1542, backtracks=121, failedAssignments=1428, nogoods=909, foundSolutions=2, bestBound=14
50.37/46.81	    nFilterCalls=35508, avgTableProportion=0.9999704953832121, avgTableSize=33892.0
50.37/46.81	    
50.70/47.19	    num=32, depth=0..68, filters=43460, ccks=276, wck=44.555, mem=191M508
50.70/47.19	    decisions=6428, wrong=1555, backtracks=121, failedAssignments=1441, nogoods=918, foundSolutions=2, bestBound=14
50.70/47.19	    nFilterCalls=35805, avgTableProportion=0.9999704953831913, avgTableSize=33892.0
50.70/47.19	    
51.40/47.83	    num=33, depth=0..101, filters=44085, ccks=276, wck=45.186, mem=191M508
51.40/47.83	    decisions=6554, wrong=1569, backtracks=121, failedAssignments=1455, nogoods=926, foundSolutions=2, bestBound=14
51.40/47.83	    nFilterCalls=36311, avgTableProportion=0.9999704953831565, avgTableSize=33892.0
51.40/47.83	    
52.24/48.61	    num=34, depth=0..106, filters=44788, ccks=276, wck=45.966, mem=191M508
52.24/48.61	    decisions=6690, wrong=1585, backtracks=121, failedAssignments=1471, nogoods=937, foundSolutions=2, bestBound=14
52.24/48.61	    nFilterCalls=36849, avgTableProportion=0.9999704953831206, avgTableSize=33892.0
52.24/48.61	    
53.06/49.45	    num=35, depth=0..0, filters=45591, ccks=276, wck=46.812, mem=191M508
53.06/49.45	    decisions=6724, wrong=1602, backtracks=121, failedAssignments=1488, nogoods=937, foundSolutions=2, bestBound=14
53.06/49.45	    nFilterCalls=37311, avgTableProportion=0.9999704953830905, avgTableSize=33892.0
53.06/49.45	    
54.07/50.42	    num=36, depth=0..0, filters=46617, ccks=276, wck=47.785, mem=191M508
54.07/50.42	    decisions=6762, wrong=1621, backtracks=121, failedAssignments=1507, nogoods=937, foundSolutions=2, bestBound=14
54.07/50.42	    nFilterCalls=37878, avgTableProportion=0.9999704953830546, avgTableSize=33892.0
54.07/50.42	    
54.78/51.11	    num=37, depth=1..193, filters=47040, ccks=276, wck=48.472, mem=191M508
54.78/51.11	    decisions=6994, wrong=1642, backtracks=121, failedAssignments=1528, nogoods=958, foundSolutions=2, bestBound=14
54.78/51.11	    nFilterCalls=38412, avgTableProportion=0.9999704953830219, avgTableSize=33892.0
54.78/51.11	    
55.37/51.76	    num=38, depth=1..189, filters=47460, ccks=276, wck=49.119, mem=191M508
55.37/51.76	    decisions=7224, wrong=1665, backtracks=121, failedAssignments=1551, nogoods=981, foundSolutions=2, bestBound=14
55.37/51.76	    nFilterCalls=38981, avgTableProportion=0.9999704953829879, avgTableSize=33892.0
55.37/51.76	    
56.10/52.43	    num=39, depth=1..196, filters=47875, ccks=276, wck=49.792, mem=191M508
56.10/52.43	    decisions=7466, wrong=1690, backtracks=121, failedAssignments=1576, nogoods=1006, foundSolutions=2, bestBound=14
56.10/52.43	    nFilterCalls=39543, avgTableProportion=0.9999704953829552, avgTableSize=33892.0
56.10/52.43	    
56.73/53.11	    num=40, depth=7..195, filters=48407, ccks=276, wck=50.466, mem=191M508
56.73/53.11	    decisions=7721, wrong=1726, backtracks=131, failedAssignments=1604, nogoods=1024, foundSolutions=2, bestBound=14
56.73/53.11	    nFilterCalls=40340, avgTableProportion=0.9999704953829106, avgTableSize=33892.0
56.73/53.11	    
57.43/53.78	    num=41, depth=1..210, filters=48824, ccks=276, wck=51.137, mem=191M508
57.43/53.78	    decisions=7986, wrong=1760, backtracks=134, failedAssignments=1635, nogoods=1055, foundSolutions=2, bestBound=14
57.43/53.78	    nFilterCalls=40964, avgTableProportion=0.9999704953828767, avgTableSize=33892.0
57.43/53.78	    
58.03/54.38	    num=42, depth=7..74, filters=49362, ccks=276, wck=51.743, mem=191M508
58.03/54.38	    decisions=8188, wrong=1827, backtracks=168, failedAssignments=1669, nogoods=1064, foundSolutions=2, bestBound=14
58.03/54.38	    nFilterCalls=41628, avgTableProportion=0.999970495382842, avgTableSize=33892.0
58.03/54.38	    
59.13/55.48	    num=43, depth=2..202, filters=50344, ccks=276, wck=52.843, mem=191M508
59.13/55.48	    decisions=8481, wrong=1884, backtracks=188, failedAssignments=1706, nogoods=1087, foundSolutions=2, bestBound=14
59.13/55.48	    nFilterCalls=42544, avgTableProportion=0.9999704953827957, avgTableSize=33892.0
59.13/55.48	    
59.74/56.04	    num=44, depth=2..93, filters=50899, ccks=276, wck=53.403, mem=191M508
59.74/56.04	    decisions=8660, wrong=1928, backtracks=191, failedAssignments=1747, nogoods=1122, foundSolutions=2, bestBound=14
59.74/56.04	    nFilterCalls=43106, avgTableProportion=0.9999704953827684, avgTableSize=33892.0
59.74/56.04	    
60.63/56.99	    num=45, depth=1..193, filters=51619, ccks=276, wck=54.346, mem=191M508
60.63/56.99	    decisions=8951, wrong=1986, backtracks=208, failedAssignments=1792, nogoods=1142, foundSolutions=2, bestBound=14
60.63/56.99	    nFilterCalls=44099, avgTableProportion=0.9999704953827216, avgTableSize=33892.0
60.63/56.99	    
62.03/58.31	    num=46, depth=1..203, filters=52986, ccks=276, wck=55.674, mem=191M508
62.03/58.31	    decisions=9285, wrong=2061, backtracks=234, failedAssignments=1842, nogoods=1163, foundSolutions=2, bestBound=14
62.03/58.31	    nFilterCalls=46287, avgTableProportion=0.9999704953826258, avgTableSize=33892.0
62.03/58.31	    
63.13/59.49	    num=47, depth=1..204, filters=54124, ccks=276, wck=56.849, mem=191M508
63.13/59.49	    decisions=9635, wrong=2142, backtracks=261, failedAssignments=1897, nogoods=1182, foundSolutions=2, bestBound=14
63.13/59.49	    nFilterCalls=47658, avgTableProportion=0.9999704953825702, avgTableSize=33892.0
63.13/59.49	    
64.31/60.53	    num=48, depth=5..129, filters=55796, ccks=276, wck=57.889, mem=191M508
64.31/60.53	    decisions=9941, wrong=2235, backtracks=293, failedAssignments=1958, nogoods=1197, foundSolutions=2, bestBound=14
64.31/60.53	    nFilterCalls=50167, avgTableProportion=0.9999704953824764, avgTableSize=33892.0
64.31/60.53	    
65.45/61.68	    num=49, depth=1..207, filters=56976, ccks=276, wck=59.043, mem=191M508
65.45/61.68	    decisions=10297, wrong=2313, backtracks=304, failedAssignments=2025, nogoods=1230, foundSolutions=2, bestBound=14
65.45/61.68	    nFilterCalls=52100, avgTableProportion=0.9999704953824102, avgTableSize=33892.0
65.45/61.68	    
66.45/62.61	    num=50, depth=6..64, filters=57856, ccks=276, wck=59.971, mem=191M508
66.45/62.61	    decisions=10549, wrong=2409, backtracks=328, failedAssignments=2099, nogoods=1264, foundSolutions=2, bestBound=14
66.45/62.61	    nFilterCalls=52935, avgTableProportion=0.9999704953823831, avgTableSize=33892.0
66.45/62.61	    
68.35/64.59	    num=51, depth=2..159, filters=59833, ccks=276, wck=61.947, mem=191M508
68.35/64.59	    decisions=10896, wrong=2507, backtracks=345, failedAssignments=2180, nogoods=1323, foundSolutions=2, bestBound=14
68.35/64.59	    nFilterCalls=54357, avgTableProportion=0.999970495382339, avgTableSize=33892.0
68.35/64.59	    
69.05/65.27	    num=52, depth=1..69, filters=60488, ccks=276, wck=62.633, mem=191M508
69.05/65.27	    decisions=11145, wrong=2601, backtracks=351, failedAssignments=2269, nogoods=1363, foundSolutions=2, bestBound=14
69.05/65.27	    nFilterCalls=55082, avgTableProportion=0.9999704953823173, avgTableSize=33892.0
69.05/65.27	    
71.15/67.38	    num=53, depth=1..168, filters=62363, ccks=276, wck=64.743, mem=191M508
71.15/67.38	    decisions=11549, wrong=2725, backtracks=380, failedAssignments=2367, nogoods=1431, foundSolutions=2, bestBound=14
71.15/67.38	    nFilterCalls=57053, avgTableProportion=0.9999704953822612, avgTableSize=33892.0
71.15/67.38	    
73.45/69.64	    num=54, depth=1..172, filters=64654, ccks=276, wck=66.996, mem=191M508
73.45/69.64	    decisions=11934, wrong=2838, backtracks=387, failedAssignments=2475, nogoods=1489, foundSolutions=2, bestBound=14
73.45/69.64	    nFilterCalls=58631, avgTableProportion=0.999970495382219, avgTableSize=33892.0
73.45/69.64	    
75.35/71.52	    num=55, depth=1..88, filters=66393, ccks=276, wck=68.879, mem=191M508
75.35/71.52	    decisions=12336, wrong=3000, backtracks=431, failedAssignments=2594, nogoods=1540, foundSolutions=2, bestBound=14
75.35/71.52	    nFilterCalls=61277, avgTableProportion=0.9999704953821532, avgTableSize=33892.0
75.35/71.52	    
78.96/75.15	    num=56, depth=1..199, filters=70434, ccks=276, wck=72.507, mem=191M508
78.96/75.15	    decisions=12905, wrong=3195, backtracks=514, failedAssignments=2725, nogoods=1589, foundSolutions=2, bestBound=14
78.96/75.15	    nFilterCalls=65013, avgTableProportion=0.9999704953820694, avgTableSize=33892.0
78.96/75.15	    
80.96/77.16	o 15
80.96/77.16	    num=57, depth=2..476, filters=72468, ccks=414, wck=74.518, mem=191M508
80.96/77.16	    decisions=13296, wrong=3283, backtracks=524, failedAssignments=2803, nogoods=1647, foundSolutions=3, bestBound=15
80.96/77.16	    nFilterCalls=66665, avgTableProportion=0.9999704953820354, avgTableSize=33892.0
80.96/77.16	    
85.32/81.42	    num=58, depth=1..210, filters=77280, ccks=414, wck=78.78, mem=191M508
85.32/81.42	    decisions=13955, wrong=3523, backtracks=617, failedAssignments=2961, nogoods=1658, foundSolutions=3, bestBound=15
85.32/81.42	    nFilterCalls=70819, avgTableProportion=0.9999704953819567, avgTableSize=33892.0
85.32/81.42	    
85.62/81.79	    num=59, depth=1..118, filters=77487, ccks=414, wck=79.151, mem=191M508
85.62/81.79	    decisions=14091, wrong=3534, backtracks=617, failedAssignments=2972, nogoods=1669, foundSolutions=3, bestBound=15
85.62/81.79	    nFilterCalls=71148, avgTableProportion=0.9999704953819509, avgTableSize=33892.0
85.62/81.79	    
86.22/82.37	    num=60, depth=6..187, filters=77769, ccks=414, wck=79.73, mem=191M508
86.22/82.37	    decisions=14299, wrong=3546, backtracks=617, failedAssignments=2984, nogoods=1681, foundSolutions=3, bestBound=15
86.22/82.37	    nFilterCalls=71543, avgTableProportion=0.9999704953819439, avgTableSize=33892.0
86.22/82.37	    
86.72/82.81	    num=61, depth=88..96, filters=78213, ccks=414, wck=80.169, mem=191M508
86.72/82.81	    decisions=14427, wrong=3563, backtracks=621, failedAssignments=2997, nogoods=1690, foundSolutions=3, bestBound=15
86.72/82.81	    nFilterCalls=72103, avgTableProportion=0.9999704953819343, avgTableSize=33892.0
86.72/82.81	    
87.34/83.48	    num=62, depth=1..200, filters=78585, ccks=414, wck=80.838, mem=191M508
87.34/83.48	    decisions=14650, wrong=3577, backtracks=621, failedAssignments=3011, nogoods=1704, foundSolutions=3, bestBound=15
87.34/83.48	    nFilterCalls=72594, avgTableProportion=0.9999704953819258, avgTableSize=33892.0
87.34/83.48	    
87.74/83.87	    num=63, depth=50..55, filters=78860, ccks=414, wck=81.236, mem=191M508
87.74/83.87	    decisions=14737, wrong=3593, backtracks=621, failedAssignments=3027, nogoods=1720, foundSolutions=3, bestBound=15
87.74/83.87	    nFilterCalls=72909, avgTableProportion=0.9999704953819205, avgTableSize=33892.0
87.74/83.87	    
88.54/84.67	    num=64, depth=1..198, filters=79392, ccks=414, wck=82.033, mem=191M508
88.54/84.67	    decisions=14964, wrong=3610, backtracks=621, failedAssignments=3044, nogoods=1737, foundSolutions=3, bestBound=15
88.54/84.67	    nFilterCalls=73519, avgTableProportion=0.9999704953819104, avgTableSize=33892.0
88.54/84.67	    
89.27/85.35	    num=65, depth=37..53, filters=79950, ccks=414, wck=82.714, mem=191M508
89.27/85.35	    decisions=15167, wrong=3686, backtracks=678, failedAssignments=3063, nogoods=1741, foundSolutions=3, bestBound=15
89.27/85.35	    nFilterCalls=74100, avgTableProportion=0.9999704953819009, avgTableSize=33892.0
89.27/85.35	    
90.17/86.24	    num=66, depth=1..203, filters=80629, ccks=414, wck=83.597, mem=191M508
90.17/86.24	    decisions=15408, wrong=3707, backtracks=678, failedAssignments=3084, nogoods=1762, foundSolutions=3, bestBound=15
90.17/86.24	    nFilterCalls=74785, avgTableProportion=0.9999704953818898, avgTableSize=33892.0
90.17/86.24	    
90.47/86.55	    num=67, depth=51..55, filters=80877, ccks=414, wck=83.911, mem=191M508
90.47/86.55	    decisions=15517, wrong=3736, backtracks=684, failedAssignments=3107, nogoods=1763, foundSolutions=3, bestBound=15
90.47/86.55	    nFilterCalls=75091, avgTableProportion=0.9999704953818849, avgTableSize=33892.0
90.47/86.55	    
91.48/87.50	    num=68, depth=1..196, filters=81686, ccks=414, wck=84.863, mem=191M508
91.48/87.50	    decisions=15757, wrong=3761, backtracks=684, failedAssignments=3132, nogoods=1788, foundSolutions=3, bestBound=15
91.48/87.50	    nFilterCalls=75809, avgTableProportion=0.9999704953818737, avgTableSize=33892.0
91.48/87.50	    
92.89/88.95	    num=69, depth=0..92, filters=82845, ccks=414, wck=86.315, mem=191M508
92.89/88.95	    decisions=15906, wrong=3791, backtracks=688, failedAssignments=3160, nogoods=1798, foundSolutions=3, bestBound=15
92.89/88.95	    nFilterCalls=76698, avgTableProportion=0.9999704953818599, avgTableSize=33892.0
92.89/88.95	    
93.29/89.37	    num=70, depth=28..52, filters=83205, ccks=414, wck=86.729, mem=191M508
93.29/89.37	    decisions=16036, wrong=3834, backtracks=701, failedAssignments=3191, nogoods=1810, foundSolutions=3, bestBound=15
93.29/89.37	    nFilterCalls=77113, avgTableProportion=0.9999704953818537, avgTableSize=33892.0
93.29/89.37	    
94.10/90.15	    num=71, depth=2..129, filters=83772, ccks=414, wck=87.508, mem=191M508
94.10/90.15	    decisions=16237, wrong=3874, backtracks=709, failedAssignments=3225, nogoods=1823, foundSolutions=3, bestBound=15
94.10/90.15	    nFilterCalls=77690, avgTableProportion=0.999970495381845, avgTableSize=33892.0
94.10/90.15	    
94.39/90.48	    num=72, depth=42..49, filters=84064, ccks=414, wck=87.844, mem=191M508
94.39/90.48	    decisions=16369, wrong=3919, backtracks=718, failedAssignments=3262, nogoods=1833, foundSolutions=3, bestBound=15
94.39/90.48	    nFilterCalls=78047, avgTableProportion=0.9999704953818398, avgTableSize=33892.0
94.39/90.48	    
95.19/91.26	    num=73, depth=93..108, filters=84709, ccks=414, wck=88.623, mem=191M508
95.19/91.26	    decisions=16582, wrong=3973, backtracks=732, failedAssignments=3303, nogoods=1855, foundSolutions=3, bestBound=15
95.19/91.26	    nFilterCalls=78763, avgTableProportion=0.9999704953818294, avgTableSize=33892.0
95.19/91.26	    
96.89/92.94	    num=74, depth=3..155, filters=86351, ccks=414, wck=90.3, mem=191M508
96.89/92.94	    decisions=16917, wrong=4083, backtracks=797, failedAssignments=3348, nogoods=1872, foundSolutions=3, bestBound=15
96.89/92.94	    nFilterCalls=80279, avgTableProportion=0.9999704953818079, avgTableSize=33892.0
96.89/92.94	    
97.49/93.59	o 16
97.49/93.60	    num=75, depth=2..476, filters=86910, ccks=552, wck=90.956, mem=194M126
97.49/93.60	    decisions=17104, wrong=4126, backtracks=800, failedAssignments=3389, nogoods=1906, foundSolutions=4, bestBound=16
97.49/93.60	    nFilterCalls=81062, avgTableProportion=0.9999704953817972, avgTableSize=33892.0
97.49/93.60	    
98.70/94.75	    num=76, depth=2..148, filters=87949, ccks=552, wck=92.107, mem=194M126
98.70/94.75	    decisions=17375, wrong=4195, backtracks=815, failedAssignments=3444, nogoods=1934, foundSolutions=4, bestBound=16
98.70/94.75	    nFilterCalls=82233, avgTableProportion=0.9999704953817815, avgTableSize=33892.0
98.70/94.75	    
98.90/94.97	    num=77, depth=28..37, filters=88101, ccks=552, wck=92.33, mem=194M126
98.90/94.97	    decisions=17434, wrong=4206, backtracks=815, failedAssignments=3455, nogoods=1945, foundSolutions=4, bestBound=16
98.90/94.97	    nFilterCalls=82414, avgTableProportion=0.9999704953817791, avgTableSize=33892.0
98.90/94.97	    
99.50/95.59	    num=78, depth=4..140, filters=88496, ccks=552, wck=92.953, mem=194M126
99.50/95.59	    decisions=17595, wrong=4218, backtracks=815, failedAssignments=3467, nogoods=1957, foundSolutions=4, bestBound=16
99.50/95.59	    nFilterCalls=82867, avgTableProportion=0.9999704953817732, avgTableSize=33892.0
99.50/95.59	    
99.81/95.83	    num=79, depth=4..59, filters=88655, ccks=552, wck=93.194, mem=194M126
99.81/95.83	    decisions=17679, wrong=4231, backtracks=815, failedAssignments=3480, nogoods=1970, foundSolutions=4, bestBound=16
99.81/95.83	    nFilterCalls=83095, avgTableProportion=0.9999704953817702, avgTableSize=33892.0
99.81/95.83	    
100.11/96.16	    num=80, depth=22..33, filters=88946, ccks=552, wck=93.517, mem=194M126
100.11/96.16	    decisions=17760, wrong=4260, backtracks=830, failedAssignments=3494, nogoods=1977, foundSolutions=4, bestBound=16
100.11/96.16	    nFilterCalls=83370, avgTableProportion=0.9999704953817666, avgTableSize=33892.0
100.11/96.16	    
100.81/96.80	    num=81, depth=1..152, filters=89327, ccks=552, wck=94.161, mem=194M126
100.81/96.80	    decisions=17938, wrong=4276, backtracks=830, failedAssignments=3510, nogoods=1993, foundSolutions=4, bestBound=16
100.81/96.80	    nFilterCalls=83842, avgTableProportion=0.9999704953817606, avgTableSize=33892.0
100.81/96.80	    
101.02/97.03	    num=82, depth=56..58, filters=89476, ccks=552, wck=94.389, mem=194M126
101.02/97.03	    decisions=18030, wrong=4293, backtracks=830, failedAssignments=3527, nogoods=2010, foundSolutions=4, bestBound=16
101.02/97.03	    nFilterCalls=84069, avgTableProportion=0.9999704953817578, avgTableSize=33892.0
101.02/97.03	    
101.71/97.76	    num=83, depth=3..145, filters=90021, ccks=552, wck=95.122, mem=194M126
101.71/97.76	    decisions=18214, wrong=4315, backtracks=833, failedAssignments=3546, nogoods=2028, foundSolutions=4, bestBound=16
101.71/97.76	    nFilterCalls=84625, avgTableProportion=0.9999704953817508, avgTableSize=33892.0
101.71/97.76	    
102.21/98.23	    num=84, depth=1..96, filters=90390, ccks=552, wck=95.588, mem=194M126
102.21/98.23	    decisions=18353, wrong=4340, backtracks=837, failedAssignments=3567, nogoods=2043, foundSolutions=4, bestBound=16
102.21/98.23	    nFilterCalls=85026, avgTableProportion=0.9999704953817458, avgTableSize=33892.0
102.21/98.23	    
102.51/98.53	    num=85, depth=61..68, filters=90609, ccks=552, wck=95.886, mem=194M126
102.51/98.53	    decisions=18467, wrong=4363, backtracks=837, failedAssignments=3590, nogoods=2066, foundSolutions=4, bestBound=16
102.51/98.53	    nFilterCalls=85302, avgTableProportion=0.9999704953817423, avgTableSize=33892.0
102.51/98.53	    
103.31/99.32	    num=86, depth=1..157, filters=91192, ccks=552, wck=96.681, mem=194M126
103.31/99.32	    decisions=18670, wrong=4389, backtracks=838, failedAssignments=3615, nogoods=2091, foundSolutions=4, bestBound=16
103.31/99.32	    nFilterCalls=85884, avgTableProportion=0.9999704953817352, avgTableSize=33892.0
103.31/99.32	    
104.31/100.35	    num=87, depth=7..156, filters=92095, ccks=552, wck=97.706, mem=194M126
104.31/100.35	    decisions=18898, wrong=4436, backtracks=857, failedAssignments=3643, nogoods=2098, foundSolutions=4, bestBound=16
104.31/100.35	    nFilterCalls=86724, avgTableProportion=0.9999704953817251, avgTableSize=33892.0
104.31/100.35	    
104.71/100.74	    num=88, depth=3..83, filters=92378, ccks=552, wck=98.1, mem=194M126
104.71/100.74	    decisions=19044, wrong=4468, backtracks=859, failedAssignments=3674, nogoods=2128, foundSolutions=4, bestBound=16
104.71/100.74	    nFilterCalls=87104, avgTableProportion=0.9999704953817207, avgTableSize=33892.0
104.71/100.74	    
105.12/101.17	    num=89, depth=5..57, filters=92736, ccks=552, wck=98.527, mem=194M126
105.12/101.17	    decisions=19173, wrong=4505, backtracks=862, failedAssignments=3708, nogoods=2146, foundSolutions=4, bestBound=16
105.12/101.17	    nFilterCalls=87499, avgTableProportion=0.999970495381716, avgTableSize=33892.0
105.12/101.17	    
106.21/102.25	    num=90, depth=1..160, filters=93640, ccks=552, wck=99.608, mem=194M126
106.21/102.25	    decisions=19457, wrong=4570, backtracks=890, failedAssignments=3745, nogoods=2176, foundSolutions=4, bestBound=16
106.21/102.25	    nFilterCalls=88290, avgTableProportion=0.9999704953817069, avgTableSize=33892.0
106.21/102.25	    
106.61/102.70	    num=91, depth=2..65, filters=94017, ccks=552, wck=100.057, mem=194M126
106.61/102.70	    decisions=19602, wrong=4613, backtracks=892, failedAssignments=3786, nogoods=2206, foundSolutions=4, bestBound=16
106.61/102.70	    nFilterCalls=88732, avgTableProportion=0.9999704953817018, avgTableSize=33892.0
106.61/102.70	    
107.71/103.71	    num=92, depth=2..160, filters=94884, ccks=552, wck=101.073, mem=194M126
107.71/103.71	    decisions=19888, wrong=4681, backtracks=915, failedAssignments=3831, nogoods=2237, foundSolutions=4, bestBound=16
107.71/103.71	    nFilterCalls=89507, avgTableProportion=0.9999704953816931, avgTableSize=33892.0
107.71/103.71	    
108.92/104.92	    num=93, depth=2..149, filters=96002, ccks=552, wck=102.277, mem=194M126
108.92/104.92	    decisions=20159, wrong=4750, backtracks=935, failedAssignments=3881, nogoods=2258, foundSolutions=4, bestBound=16
108.92/104.92	    nFilterCalls=90422, avgTableProportion=0.999970495381683, avgTableSize=33892.0
108.92/104.92	    
109.42/105.46	    num=94, depth=44..61, filters=96434, ccks=552, wck=102.82, mem=194M126
109.42/105.46	    decisions=20328, wrong=4805, backtracks=935, failedAssignments=3936, nogoods=2313, foundSolutions=4, bestBound=16
109.42/105.46	    nFilterCalls=90838, avgTableProportion=0.9999704953816785, avgTableSize=33892.0
109.42/105.46	    
110.92/106.92	    num=95, depth=4..158, filters=97894, ccks=552, wck=104.279, mem=194M126
110.92/106.92	    decisions=20698, wrong=4917, backtracks=986, failedAssignments=3997, nogoods=2325, foundSolutions=4, bestBound=16
110.92/106.92	    nFilterCalls=92256, avgTableProportion=0.9999704953816633, avgTableSize=33892.0
110.92/106.92	    
111.32/107.37	    num=96, depth=3..81, filters=98243, ccks=552, wck=104.73, mem=194M126
111.32/107.37	    decisions=20913, wrong=4985, backtracks=987, failedAssignments=4064, nogoods=2380, foundSolutions=4, bestBound=16
111.32/107.37	    nFilterCalls=92753, avgTableProportion=0.9999704953816582, avgTableSize=33892.0
111.32/107.37	    
112.52/108.56	    num=97, depth=1..177, filters=99432, ccks=552, wck=105.921, mem=194M126
112.52/108.56	    decisions=21289, wrong=5091, backtracks=1023, failedAssignments=4138, nogoods=2406, foundSolutions=4, bestBound=16
112.52/108.56	    nFilterCalls=93803, avgTableProportion=0.9999704953816473, avgTableSize=33892.0
112.52/108.56	    
113.22/109.21	    num=98, depth=29..40, filters=100068, ccks=552, wck=106.573, mem=194M126
113.22/109.21	    decisions=21533, wrong=5195, backtracks=1046, failedAssignments=4219, nogoods=2434, foundSolutions=4, bestBound=16
113.22/109.21	    nFilterCalls=94404, avgTableProportion=0.9999704953816413, avgTableSize=33892.0
113.22/109.21	    
114.84/110.90	    num=99, depth=4..175, filters=101821, ccks=552, wck=108.257, mem=194M126
114.84/110.90	    decisions=21981, wrong=5341, backtracks=1107, failedAssignments=4308, nogoods=2448, foundSolutions=4, bestBound=16
114.84/110.90	    nFilterCalls=96013, avgTableProportion=0.9999704953816254, avgTableSize=33892.0
114.84/110.90	    
116.35/112.39	    num=100, depth=5..190, filters=103407, ccks=552, wck=109.755, mem=194M126
116.35/112.39	    decisions=22498, wrong=5512, backtracks=1186, failedAssignments=4406, nogoods=2470, foundSolutions=4, bestBound=16
116.35/112.39	    nFilterCalls=97605, avgTableProportion=0.9999704953816102, avgTableSize=33892.0
116.35/112.39	    
117.67/113.65	    num=101, depth=4..87, filters=104789, ccks=552, wck=111.014, mem=194M126
117.67/113.65	    decisions=22814, wrong=5628, backtracks=1195, failedAssignments=4514, nogoods=2522, foundSolutions=4, bestBound=16
117.67/113.65	    nFilterCalls=99528, avgTableProportion=0.9999704953815926, avgTableSize=33892.0
117.67/113.65	    
119.47/115.47	    num=102, depth=2..206, filters=106765, ccks=552, wck=112.835, mem=194M126
119.47/115.47	    decisions=23380, wrong=5823, backtracks=1277, failedAssignments=4633, nogoods=2558, foundSolutions=4, bestBound=16
119.47/115.47	    nFilterCalls=101546, avgTableProportion=0.9999704953815747, avgTableSize=33892.0
119.47/115.47	    
121.60/117.50	    num=103, depth=1..98, filters=108707, ccks=552, wck=114.861, mem=194M126
121.60/117.50	    decisions=23886, wrong=6031, backtracks=1407, failedAssignments=4764, nogoods=2571, foundSolutions=4, bestBound=16
121.60/117.50	    nFilterCalls=104649, avgTableProportion=0.9999704953815486, avgTableSize=33892.0
121.60/117.50	    
123.82/119.72	    num=104, depth=2..194, filters=111581, ccks=552, wck=117.085, mem=194M126
123.82/119.72	    decisions=24389, wrong=6195, backtracks=1427, failedAssignments=4908, nogoods=2587, foundSolutions=4, bestBound=16
123.82/119.72	    nFilterCalls=106844, avgTableProportion=0.9999704953815309, avgTableSize=33892.0
123.82/119.72	    
125.42/121.37	    num=105, depth=0..88, filters=113442, ccks=552, wck=118.731, mem=194M126
125.42/121.37	    decisions=24831, wrong=6383, backtracks=1473, failedAssignments=5066, nogoods=2630, foundSolutions=4, bestBound=16
125.42/121.37	    nFilterCalls=108513, avgTableProportion=0.999970495381518, avgTableSize=33892.0
125.42/121.37	    
127.62/123.55	    num=106, depth=3..174, filters=116133, ccks=552, wck=120.911, mem=194M126
127.62/123.55	    decisions=25457, wrong=6614, backtracks=1544, failedAssignments=5240, nogoods=2665, foundSolutions=4, bestBound=16
127.62/123.55	    nFilterCalls=113189, avgTableProportion=0.9999704953814841, avgTableSize=33892.0
127.62/123.55	    
130.32/126.23	    num=107, depth=1..172, filters=119763, ccks=552, wck=123.594, mem=194M126
130.32/126.23	    decisions=26154, wrong=6884, backtracks=1629, failedAssignments=5431, nogoods=2691, foundSolutions=4, bestBound=16
130.32/126.23	    nFilterCalls=120327, avgTableProportion=0.9999704953814372, avgTableSize=33892.0
130.32/126.23	    
132.53/128.49	    num=108, depth=3..168, filters=122918, ccks=552, wck=125.855, mem=194M126
132.53/128.49	    decisions=26834, wrong=7144, backtracks=1681, failedAssignments=5642, nogoods=2711, foundSolutions=4, bestBound=16
132.53/128.49	    nFilterCalls=124685, avgTableProportion=0.9999704953814113, avgTableSize=33892.0
132.53/128.49	    
135.83/131.72	    num=109, depth=1..180, filters=127585, ccks=552, wck=129.08, mem=194M126
135.83/131.72	    decisions=27611, wrong=7447, backtracks=1753, failedAssignments=5874, nogoods=2763, foundSolutions=4, bestBound=16
135.83/131.72	    nFilterCalls=130157, avgTableProportion=0.999970495381381, avgTableSize=33892.0
135.83/131.72	    
138.93/134.82	    num=110, depth=2..48, filters=130519, ccks=552, wck=132.176, mem=194M126
138.93/134.82	    decisions=28389, wrong=7819, backtracks=1876, failedAssignments=6129, nogoods=2773, foundSolutions=4, bestBound=16
138.93/134.82	    nFilterCalls=132870, avgTableProportion=0.9999704953813672, avgTableSize=33892.0
138.93/134.82	    
141.63/137.53	    num=111, depth=2..150, filters=133484, ccks=552, wck=134.886, mem=194M126
141.63/137.53	    decisions=29202, wrong=8163, backtracks=1973, failedAssignments=6410, nogoods=2794, foundSolutions=4, bestBound=16
141.63/137.53	    nFilterCalls=136185, avgTableProportion=0.9999704953813507, avgTableSize=33892.0
141.63/137.53	    
144.54/140.44	    num=112, depth=2..184, filters=136755, ccks=552, wck=137.805, mem=194M126
144.54/140.44	    decisions=30142, wrong=8552, backtracks=2087, failedAssignments=6719, nogoods=2813, foundSolutions=4, bestBound=16
144.54/140.44	    nFilterCalls=140614, avgTableProportion=0.9999704953813301, avgTableSize=33892.0
144.54/140.44	    
145.74/141.61	o 17
145.74/141.61	    num=113, depth=3..476, filters=137857, ccks=690, wck=138.968, mem=194M126
145.74/141.61	    decisions=30426, wrong=8598, backtracks=2103, failedAssignments=6751, nogoods=2835, foundSolutions=5, bestBound=17
145.74/141.61	    nFilterCalls=142479, avgTableProportion=0.9999704953813218, avgTableSize=33892.0
145.74/141.61	    
148.26/144.17	    num=114, depth=2..172, filters=140885, ccks=690, wck=141.532, mem=194M126
148.26/144.17	    decisions=31479, wrong=9043, backtracks=2190, failedAssignments=7125, nogoods=2891, foundSolutions=5, bestBound=17
148.26/144.17	    nFilterCalls=146435, avgTableProportion=0.9999704953813048, avgTableSize=33892.0
148.26/144.17	    
148.65/144.58	    num=115, depth=1..153, filters=141059, ccks=690, wck=141.94, mem=194M126
148.65/144.58	    decisions=31648, wrong=9054, backtracks=2190, failedAssignments=7136, nogoods=2902, foundSolutions=5, bestBound=17
148.65/144.58	    nFilterCalls=146744, avgTableProportion=0.9999704953813036, avgTableSize=33892.0
148.65/144.58	    
148.85/144.71	    num=116, depth=2..17, filters=141194, ccks=690, wck=142.067, mem=194M126
148.85/144.71	    decisions=31681, wrong=9066, backtracks=2190, failedAssignments=7148, nogoods=2914, foundSolutions=5, bestBound=17
148.85/144.71	    nFilterCalls=146862, avgTableProportion=0.999970495381303, avgTableSize=33892.0
148.85/144.71	    
149.26/145.15	    num=117, depth=0..159, filters=141387, ccks=690, wck=142.513, mem=194M126
149.26/145.15	    decisions=31858, wrong=9079, backtracks=2190, failedAssignments=7161, nogoods=2925, foundSolutions=5, bestBound=17
149.26/145.15	    nFilterCalls=147155, avgTableProportion=0.9999704953813018, avgTableSize=33892.0
149.26/145.15	    
149.75/145.68	    num=118, depth=3..171, filters=141688, ccks=690, wck=143.04, mem=194M126
149.75/145.68	    decisions=32051, wrong=9093, backtracks=2190, failedAssignments=7175, nogoods=2939, foundSolutions=5, bestBound=17
149.75/145.68	    nFilterCalls=147566, avgTableProportion=0.9999704953813001, avgTableSize=33892.0
149.75/145.68	    
150.46/146.33	    num=119, depth=3..77, filters=142264, ccks=690, wck=143.695, mem=194M126
150.46/146.33	    decisions=32192, wrong=9131, backtracks=2213, failedAssignments=7191, nogoods=2949, foundSolutions=5, bestBound=17
150.46/146.33	    nFilterCalls=148176, avgTableProportion=0.9999704953812977, avgTableSize=33892.0
150.46/146.33	    
151.17/147.07	    num=120, depth=2..188, filters=142798, ccks=690, wck=144.434, mem=194M126
151.17/147.07	    decisions=32425, wrong=9163, backtracks=2228, failedAssignments=7208, nogoods=2955, foundSolutions=5, bestBound=17
151.17/147.07	    nFilterCalls=148833, avgTableProportion=0.999970495381295, avgTableSize=33892.0
151.17/147.07	    
151.66/147.58	    num=121, depth=3..100, filters=143428, ccks=690, wck=144.94, mem=196M742
151.66/147.58	    decisions=32561, wrong=9182, backtracks=2228, failedAssignments=7227, nogoods=2974, foundSolutions=5, bestBound=17
151.66/147.58	    nFilterCalls=149534, avgTableProportion=0.9999704953812921, avgTableSize=33892.0
151.66/147.58	    
152.17/148.06	    num=122, depth=2..88, filters=143739, ccks=690, wck=145.416, mem=196M742
152.17/148.06	    decisions=32691, wrong=9206, backtracks=2231, failedAssignments=7248, nogoods=2994, foundSolutions=5, bestBound=17
152.17/148.06	    nFilterCalls=149964, avgTableProportion=0.9999704953812905, avgTableSize=33892.0
152.17/148.06	    
153.06/148.92	    num=123, depth=2..200, filters=144401, ccks=690, wck=146.286, mem=196M742
153.06/148.92	    decisions=32948, wrong=9244, backtracks=2246, failedAssignments=7271, nogoods=3005, foundSolutions=5, bestBound=17
153.06/148.92	    nFilterCalls=150708, avgTableProportion=0.9999704953812875, avgTableSize=33892.0
153.06/148.92	    
153.56/149.42	    num=124, depth=1..131, filters=144920, ccks=690, wck=146.78, mem=196M742
153.56/149.42	    decisions=33124, wrong=9271, backtracks=2248, failedAssignments=7296, nogoods=3028, foundSolutions=5, bestBound=17
153.56/149.42	    nFilterCalls=151766, avgTableProportion=0.9999704953812834, avgTableSize=33892.0
153.56/149.42	    
154.17/150.06	    num=125, depth=72..79, filters=145608, ccks=690, wck=147.419, mem=196M742
154.17/150.06	    decisions=33268, wrong=9304, backtracks=2253, failedAssignments=7324, nogoods=3045, foundSolutions=5, bestBound=17
154.17/150.06	    nFilterCalls=152729, avgTableProportion=0.9999704953812796, avgTableSize=33892.0
154.17/150.06	    
155.06/150.98	    num=126, depth=4..190, filters=146448, ccks=690, wck=148.342, mem=196M742
155.06/150.98	    decisions=33529, wrong=9350, backtracks=2270, failedAssignments=7355, nogoods=3064, foundSolutions=5, bestBound=17
155.06/150.98	    nFilterCalls=153618, avgTableProportion=0.9999704953812762, avgTableSize=33892.0
155.06/150.98	    
155.66/151.55	    num=127, depth=1..113, filters=146894, ccks=690, wck=148.907, mem=196M742
155.66/151.55	    decisions=33715, wrong=9393, backtracks=2284, failedAssignments=7389, nogoods=3080, foundSolutions=5, bestBound=17
155.66/151.55	    nFilterCalls=154436, avgTableProportion=0.9999704953812731, avgTableSize=33892.0
155.66/151.55	    
156.66/152.58	    num=128, depth=3..198, filters=147808, ccks=690, wck=149.939, mem=196M742
156.66/152.58	    decisions=34014, wrong=9449, backtracks=2305, failedAssignments=7426, nogoods=3101, foundSolutions=5, bestBound=17
156.66/152.58	    nFilterCalls=155623, avgTableProportion=0.9999704953812687, avgTableSize=33892.0
156.66/152.58	    
157.76/153.68	    num=129, depth=1..194, filters=148838, ccks=690, wck=151.037, mem=196M742
157.76/153.68	    decisions=34309, wrong=9504, backtracks=2320, failedAssignments=7467, nogoods=3115, foundSolutions=5, bestBound=17
157.76/153.68	    nFilterCalls=156796, avgTableProportion=0.9999704953812645, avgTableSize=33892.0
157.76/153.68	    
159.17/155.08	    num=130, depth=6..183, filters=150439, ccks=690, wck=152.437, mem=196M742
159.17/155.08	    decisions=34590, wrong=9556, backtracks=2327, failedAssignments=7512, nogoods=3157, foundSolutions=5, bestBound=17
159.17/155.08	    nFilterCalls=158032, avgTableProportion=0.99997049538126, avgTableSize=33892.0
159.17/155.08	    
160.36/156.28	    num=131, depth=2..209, filters=151597, ccks=690, wck=153.638, mem=196M742
160.36/156.28	    decisions=34954, wrong=9641, backtracks=2369, failedAssignments=7562, nogoods=3170, foundSolutions=5, bestBound=17
160.36/156.28	    nFilterCalls=159664, avgTableProportion=0.9999704953812542, avgTableSize=33892.0
160.36/156.28	    
161.06/156.95	    num=132, depth=2..170, filters=152056, ccks=690, wck=154.309, mem=196M742
161.06/156.95	    decisions=35233, wrong=9700, backtracks=2373, failedAssignments=7617, nogoods=3219, foundSolutions=5, bestBound=17
161.06/156.95	    nFilterCalls=160291, avgTableProportion=0.999970495381252, avgTableSize=33892.0
161.06/156.95	    
162.06/157.93	    num=133, depth=3..159, filters=152863, ccks=690, wck=155.286, mem=196M742
162.06/157.93	    decisions=35516, wrong=9768, backtracks=2380, failedAssignments=7678, nogoods=3232, foundSolutions=5, bestBound=17
162.06/157.93	    nFilterCalls=161151, avgTableProportion=0.999970495381249, avgTableSize=33892.0
162.06/157.93	    
164.08/159.91	    num=134, depth=4..160, filters=154930, ccks=690, wck=157.271, mem=196M742
164.08/159.91	    decisions=35861, wrong=9867, backtracks=2414, failedAssignments=7745, nogoods=3242, foundSolutions=5, bestBound=17
164.08/159.91	    nFilterCalls=162823, avgTableProportion=0.9999704953812434, avgTableSize=33892.0
164.08/159.91	    
165.78/161.64	    num=135, depth=3..167, filters=156701, ccks=690, wck=158.996, mem=196M742
165.78/161.64	    decisions=36225, wrong=9975, backtracks=2453, failedAssignments=7819, nogoods=3251, foundSolutions=5, bestBound=17
165.78/161.64	    nFilterCalls=164306, avgTableProportion=0.9999704953812384, avgTableSize=33892.0
165.78/161.64	    
167.99/163.85	    num=136, depth=1..186, filters=159026, ccks=690, wck=161.214, mem=196M742
167.99/163.85	    decisions=36653, wrong=10108, backtracks=2512, failedAssignments=7900, nogoods=3257, foundSolutions=5, bestBound=17
167.99/163.85	    nFilterCalls=166312, avgTableProportion=0.9999704953812318, avgTableSize=33892.0
167.99/163.85	    
169.20/165.06	    num=137, depth=1..119, filters=160327, ccks=690, wck=162.422, mem=196M742
169.20/165.06	    decisions=37027, wrong=10246, backtracks=2581, failedAssignments=7989, nogoods=3264, foundSolutions=5, bestBound=17
169.20/165.06	    nFilterCalls=168449, avgTableProportion=0.999970495381225, avgTableSize=33892.0
169.20/165.06	    
170.99/166.80	    num=138, depth=4..103, filters=162111, ccks=690, wck=164.16, mem=196M742
170.99/166.80	    decisions=37393, wrong=10380, backtracks=2620, failedAssignments=8087, nogoods=3307, foundSolutions=5, bestBound=17
170.99/166.80	    nFilterCalls=170706, avgTableProportion=0.999970495381218, avgTableSize=33892.0
170.99/166.80	    
172.69/168.50	    num=139, depth=1..179, filters=164102, ccks=690, wck=165.863, mem=196M742
172.69/168.50	    decisions=37825, wrong=10513, backtracks=2646, failedAssignments=8195, nogoods=3325, foundSolutions=5, bestBound=17
172.69/168.50	    nFilterCalls=172871, avgTableProportion=0.9999704953812114, avgTableSize=33892.0
172.69/168.50	    
174.59/170.42	    num=140, depth=1..186, filters=166367, ccks=690, wck=167.784, mem=196M742
174.59/170.42	    decisions=38279, wrong=10652, backtracks=2667, failedAssignments=8314, nogoods=3361, foundSolutions=5, bestBound=17
174.59/170.42	    nFilterCalls=174832, avgTableProportion=0.9999704953812056, avgTableSize=33892.0
174.59/170.42	    
175.49/171.39	    num=141, depth=48..54, filters=167313, ccks=690, wck=168.747, mem=196M742
175.49/171.39	    decisions=38615, wrong=10796, backtracks=2681, failedAssignments=8445, nogoods=3365, foundSolutions=5, bestBound=17
175.49/171.39	    nFilterCalls=175721, avgTableProportion=0.999970495381203, avgTableSize=33892.0
175.49/171.39	    
180.39/176.27	    num=142, depth=1..150, filters=172840, ccks=690, wck=173.626, mem=196M742
180.39/176.27	    decisions=39157, wrong=11000, backtracks=2741, failedAssignments=8589, nogoods=3379, foundSolutions=5, bestBound=17
180.39/176.27	    nFilterCalls=179387, avgTableProportion=0.9999704953811926, avgTableSize=33892.0
180.39/176.27	    
181.89/177.78	    num=143, depth=72..84, filters=174353, ccks=690, wck=175.138, mem=196M742
181.89/177.78	    decisions=39567, wrong=11166, backtracks=2755, failedAssignments=8747, nogoods=3443, foundSolutions=5, bestBound=17
181.89/177.78	    nFilterCalls=181521, avgTableProportion=0.9999704953811868, avgTableSize=33892.0
181.89/177.78	    
185.10/180.91	    num=144, depth=2..188, filters=178455, ccks=690, wck=178.275, mem=196M742
185.10/180.91	    decisions=40256, wrong=11424, backtracks=2846, failedAssignments=8921, nogoods=3475, foundSolutions=5, bestBound=17
185.10/180.91	    nFilterCalls=187437, avgTableProportion=0.9999704953811712, avgTableSize=33892.0
185.10/180.91	    
187.70/183.59	    num=145, depth=2..213, filters=181529, ccks=690, wck=180.949, mem=196M742
187.70/183.59	    decisions=41026, wrong=11709, backtracks=2955, failedAssignments=9112, nogoods=3506, foundSolutions=5, bestBound=17
187.70/183.59	    nFilterCalls=190950, avgTableProportion=0.9999704953811624, avgTableSize=33892.0
187.70/183.59	    
190.60/186.44	    num=146, depth=2..212, filters=185171, ccks=690, wck=183.805, mem=196M742
190.60/186.44	    decisions=41863, wrong=12033, backtracks=3077, failedAssignments=9323, nogoods=3524, foundSolutions=5, bestBound=17
190.60/186.44	    nFilterCalls=195051, avgTableProportion=0.9999704953811526, avgTableSize=33892.0
190.60/186.44	    
193.60/189.41	    num=147, depth=3..156, filters=189008, ccks=690, wck=186.767, mem=196M742
193.60/189.41	    decisions=42662, wrong=12362, backtracks=3201, failedAssignments=9555, nogoods=3554, foundSolutions=5, bestBound=17
193.60/189.41	    nFilterCalls=200717, avgTableProportion=0.9999704953811396, avgTableSize=33892.0
193.60/189.41	    
196.31/192.13	    num=148, depth=156..170, filters=192313, ccks=690, wck=189.488, mem=196M742
196.31/192.13	    decisions=43402, wrong=12649, backtracks=3242, failedAssignments=9810, nogoods=3627, foundSolutions=5, bestBound=17
196.31/192.13	    nFilterCalls=204620, avgTableProportion=0.9999704953811311, avgTableSize=33892.0
196.31/192.13	    
199.31/195.17	    num=149, depth=2..164, filters=195188, ccks=690, wck=192.53, mem=196M742
199.31/195.17	    decisions=44278, wrong=13013, backtracks=3341, failedAssignments=10091, nogoods=3663, foundSolutions=5, bestBound=17
199.31/195.17	    nFilterCalls=207904, avgTableProportion=0.9999704953811243, avgTableSize=33892.0
199.31/195.17	    
202.70/198.52	    num=150, depth=1..183, filters=199657, ccks=690, wck=195.876, mem=196M742
202.70/198.52	    decisions=45293, wrong=13442, backtracks=3492, failedAssignments=10400, nogoods=3705, foundSolutions=5, bestBound=17
202.70/198.52	    nFilterCalls=213339, avgTableProportion=0.9999704953811133, avgTableSize=33892.0
202.70/198.52	    
206.80/202.63	    num=151, depth=1..194, filters=205529, ccks=690, wck=199.989, mem=196M742
206.80/202.63	    decisions=46441, wrong=13939, backtracks=3653, failedAssignments=10740, nogoods=3729, foundSolutions=5, bestBound=17
206.80/202.63	    nFilterCalls=222122, avgTableProportion=0.9999704953810967, avgTableSize=33892.0
206.80/202.63	    
210.40/206.27	    num=152, depth=1..94, filters=210211, ccks=690, wck=203.631, mem=196M742
210.40/206.27	    decisions=47711, wrong=14540, backtracks=3908, failedAssignments=11114, nogoods=3767, foundSolutions=5, bestBound=17
210.40/206.27	    nFilterCalls=225814, avgTableProportion=0.9999704953810901, avgTableSize=33892.0
210.40/206.27	    
216.32/212.15	    num=153, depth=24..84, filters=220188, ccks=690, wck=209.508, mem=196M742
216.32/212.15	    decisions=49050, wrong=15172, backtracks=4148, failedAssignments=11525, nogoods=3790, foundSolutions=5, bestBound=17
216.32/212.15	    nFilterCalls=244577, avgTableProportion=0.9999704953810598, avgTableSize=33892.0
216.32/212.15	    
221.71/217.58	    num=154, depth=1..188, filters=227651, ccks=690, wck=214.94, mem=196M742
221.71/217.58	    decisions=50529, wrong=15828, backtracks=4392, failedAssignments=11977, nogoods=3834, foundSolutions=5, bestBound=17
221.71/217.58	    nFilterCalls=258194, avgTableProportion=0.9999704953810404, avgTableSize=33892.0
221.71/217.58	    
228.52/224.32	    num=155, depth=1..162, filters=236894, ccks=690, wck=221.682, mem=196M742
228.52/224.32	    decisions=52276, wrong=16629, backtracks=4736, failedAssignments=12474, nogoods=3877, foundSolutions=5, bestBound=17
228.52/224.32	    nFilterCalls=271795, avgTableProportion=0.9999704953820557, avgTableSize=33892.0
228.52/224.32	    
234.52/230.39	    num=156, depth=1..184, filters=245247, ccks=690, wck=227.748, mem=196M742
234.52/230.39	    decisions=53922, wrong=17371, backtracks=4944, failedAssignments=13021, nogoods=3892, foundSolutions=5, bestBound=17
234.52/230.39	    nFilterCalls=285168, avgTableProportion=0.9999704953833568, avgTableSize=33892.0
234.52/230.39	    
237.42/233.23	    num=157, depth=1..168, filters=247855, ccks=690, wck=230.587, mem=196M742
237.42/233.23	    decisions=55352, wrong=18010, backtracks=5020, failedAssignments=13623, nogoods=3944, foundSolutions=5, bestBound=17
237.42/233.23	    nFilterCalls=288840, avgTableProportion=0.9999704953836929, avgTableSize=33892.0
237.42/233.23	    
246.82/242.66	    num=158, depth=1..170, filters=263806, ccks=690, wck=240.018, mem=196M742
246.82/242.66	    decisions=57704, wrong=19109, backtracks=5478, failedAssignments=14285, nogoods=3973, foundSolutions=5, bestBound=17
246.82/242.66	    nFilterCalls=326606, avgTableProportion=0.9999704953867115, avgTableSize=33892.0
246.82/242.66	    
256.72/252.58	    num=159, depth=1..172, filters=278313, ccks=690, wck=249.937, mem=196M742
256.72/252.58	    decisions=60155, wrong=20255, backtracks=5944, failedAssignments=15013, nogoods=3996, foundSolutions=5, bestBound=17
256.72/252.58	    nFilterCalls=349106, avgTableProportion=0.9999704953881994, avgTableSize=33892.0
256.72/252.58	    
266.43/262.20	    num=160, depth=1..177, filters=293564, ccks=690, wck=259.559, mem=196M742
266.43/262.20	    decisions=62469, wrong=21332, backtracks=6297, failedAssignments=15814, nogoods=4016, foundSolutions=5, bestBound=17
266.43/262.20	    nFilterCalls=374766, avgTableProportion=0.9999704953896782, avgTableSize=33892.0
266.43/262.20	    
276.03/271.84	    num=161, depth=1..213, filters=307611, ccks=690, wck=269.205, mem=196M742
276.03/271.84	    decisions=65383, wrong=22696, backtracks=6846, failedAssignments=16695, nogoods=4057, foundSolutions=5, bestBound=17
276.03/271.84	    nFilterCalls=399540, avgTableProportion=0.9999704953909258, avgTableSize=33892.0
276.03/271.84	    
288.64/284.47	    num=162, depth=1..188, filters=326087, ccks=690, wck=281.832, mem=196M742
288.64/284.47	    decisions=68390, wrong=24114, backtracks=7361, failedAssignments=17665, nogoods=4078, foundSolutions=5, bestBound=17
288.64/284.47	    nFilterCalls=432613, avgTableProportion=0.9999704953923685, avgTableSize=33892.0
288.64/284.47	    
294.64/290.48	    num=163, depth=1..162, filters=333694, ccks=690, wck=287.841, mem=199M357
294.64/290.48	    decisions=70941, wrong=25320, backtracks=7541, failedAssignments=18732, nogoods=4116, foundSolutions=5, bestBound=17
294.64/290.48	    nFilterCalls=441414, avgTableProportion=0.999970495392716, avgTableSize=33892.0
294.64/290.48	    
305.14/300.96	    num=164, depth=1..195, filters=348842, ccks=690, wck=298.32, mem=199M357
305.14/300.96	    decisions=74143, wrong=26843, backtracks=7938, failedAssignments=19905, nogoods=4139, foundSolutions=5, bestBound=17
305.14/300.96	    nFilterCalls=464750, avgTableProportion=0.9999704953935737, avgTableSize=33892.0
305.14/300.96	    
307.27/303.01	o 18
307.27/303.01	    num=165, depth=1..476, filters=351559, ccks=828, wck=300.361, mem=199M357
307.27/303.01	    decisions=74789, wrong=27073, backtracks=7994, failedAssignments=20080, nogoods=4169, foundSolutions=6, bestBound=18
307.27/303.01	    nFilterCalls=468726, avgTableProportion=0.9999704953937114, avgTableSize=33892.0
307.27/303.01	    
316.18/312.00	    num=166, depth=1..190, filters=362880, ccks=828, wck=309.358, mem=199M357
316.18/312.00	    decisions=78078, wrong=28631, backtracks=8194, failedAssignments=21500, nogoods=4256, foundSolutions=6, bestBound=18
316.18/312.00	    nFilterCalls=483092, avgTableProportion=0.9999704953941897, avgTableSize=33892.0
316.18/312.00	    
316.68/312.46	    num=167, depth=2..176, filters=363101, ccks=828, wck=309.825, mem=199M357
316.68/312.46	    decisions=78273, wrong=28642, backtracks=8194, failedAssignments=21511, nogoods=4267, foundSolutions=6, bestBound=18
316.68/312.46	    nFilterCalls=483430, avgTableProportion=0.9999704953942007, avgTableSize=33892.0
316.68/312.46	    
316.98/312.78	    num=168, depth=57..62, filters=363346, ccks=828, wck=310.142, mem=199M357
316.98/312.78	    decisions=78383, wrong=28667, backtracks=8207, failedAssignments=21523, nogoods=4276, foundSolutions=6, bestBound=18
316.98/312.78	    nFilterCalls=483702, avgTableProportion=0.9999704953942095, avgTableSize=33892.0
316.98/312.78	    
317.48/313.27	    num=169, depth=1..188, filters=363573, ccks=828, wck=310.635, mem=199M357
317.48/313.27	    decisions=78589, wrong=28680, backtracks=8207, failedAssignments=21536, nogoods=4289, foundSolutions=6, bestBound=18
317.48/313.27	    nFilterCalls=484061, avgTableProportion=0.999970495394221, avgTableSize=33892.0
317.48/313.27	    
317.88/313.69	    num=170, depth=56..65, filters=363914, ccks=828, wck=311.054, mem=199M357
317.88/313.69	    decisions=78726, wrong=28719, backtracks=8232, failedAssignments=21550, nogoods=4292, foundSolutions=6, bestBound=18
317.88/313.69	    nFilterCalls=484501, avgTableProportion=0.9999704953942351, avgTableSize=33892.0
317.88/313.69	    
318.48/314.21	    num=171, depth=1..185, filters=364182, ccks=828, wck=311.573, mem=199M357
318.48/314.21	    decisions=78935, wrong=28735, backtracks=8232, failedAssignments=21566, nogoods=4308, foundSolutions=6, bestBound=18
318.48/314.21	    nFilterCalls=484879, avgTableProportion=0.9999704953942473, avgTableSize=33892.0
318.48/314.21	    
318.88/314.61	    num=172, depth=58..66, filters=364556, ccks=828, wck=311.969, mem=199M357
318.88/314.61	    decisions=79069, wrong=28772, backtracks=8252, failedAssignments=21583, nogoods=4317, foundSolutions=6, bestBound=18
318.88/314.61	    nFilterCalls=485432, avgTableProportion=0.999970495394265, avgTableSize=33892.0
318.88/314.61	    
319.39/315.15	    num=173, depth=1..186, filters=364860, ccks=828, wck=312.511, mem=199M357
319.39/315.15	    decisions=79286, wrong=28791, backtracks=8252, failedAssignments=21602, nogoods=4336, foundSolutions=6, bestBound=18
319.39/315.15	    nFilterCalls=485801, avgTableProportion=0.9999704953942767, avgTableSize=33892.0
319.39/315.15	    
319.88/315.66	    num=174, depth=59..69, filters=365607, ccks=828, wck=313.024, mem=199M357
319.88/315.66	    decisions=79442, wrong=28837, backtracks=8279, failedAssignments=21623, nogoods=4340, foundSolutions=6, bestBound=18
319.88/315.66	    nFilterCalls=486804, avgTableProportion=0.9999704953943087, avgTableSize=33892.0
319.88/315.66	    
320.58/316.31	    num=175, depth=1..184, filters=366021, ccks=828, wck=313.673, mem=199M357
320.58/316.31	    decisions=79667, wrong=28861, backtracks=8280, failedAssignments=21646, nogoods=4363, foundSolutions=6, bestBound=18
320.58/316.31	    nFilterCalls=487298, avgTableProportion=0.9999704953943245, avgTableSize=33892.0
320.58/316.31	    
320.99/316.71	    num=176, depth=56..62, filters=366327, ccks=828, wck=314.066, mem=199M357
320.99/316.71	    decisions=79797, wrong=28895, backtracks=8290, failedAssignments=21671, nogoods=4376, foundSolutions=6, bestBound=18
320.99/316.71	    nFilterCalls=487877, avgTableProportion=0.9999704953943428, avgTableSize=33892.0
320.99/316.71	    
321.59/317.34	    num=177, depth=3..179, filters=366790, ccks=828, wck=314.703, mem=199M357
321.59/317.34	    decisions=80042, wrong=28930, backtracks=8297, failedAssignments=21699, nogoods=4385, foundSolutions=6, bestBound=18
321.59/317.34	    nFilterCalls=488424, avgTableProportion=0.9999704953943601, avgTableSize=33892.0
321.59/317.34	    
322.09/317.87	    num=178, depth=50..67, filters=367261, ccks=828, wck=315.228, mem=199M357
322.09/317.87	    decisions=80229, wrong=28995, backtracks=8332, failedAssignments=21730, nogoods=4390, foundSolutions=6, bestBound=18
322.09/317.87	    nFilterCalls=489043, avgTableProportion=0.9999704953943797, avgTableSize=33892.0
322.09/317.87	    
322.79/318.54	    num=179, depth=1..185, filters=367735, ccks=828, wck=315.897, mem=199M357
322.79/318.54	    decisions=80486, wrong=29037, backtracks=8341, failedAssignments=21764, nogoods=4400, foundSolutions=6, bestBound=18
322.79/318.54	    nFilterCalls=489641, avgTableProportion=0.9999704953943985, avgTableSize=33892.0
322.79/318.54	    
323.69/319.43	    num=180, depth=68..78, filters=368492, ccks=828, wck=316.789, mem=199M357
323.69/319.43	    decisions=80666, wrong=29091, backtracks=8361, failedAssignments=21801, nogoods=4409, foundSolutions=6, bestBound=18
323.69/319.43	    nFilterCalls=491112, avgTableProportion=0.9999704953944446, avgTableSize=33892.0
323.69/319.43	    
324.59/320.33	    num=181, depth=3..199, filters=369318, ccks=828, wck=317.694, mem=199M357
324.59/320.33	    decisions=80960, wrong=29142, backtracks=8372, failedAssignments=21842, nogoods=4425, foundSolutions=6, bestBound=18
324.59/320.33	    nFilterCalls=492590, avgTableProportion=0.9999704953944907, avgTableSize=33892.0
324.59/320.33	    
325.40/321.18	    num=182, depth=2..212, filters=369983, ccks=828, wck=318.542, mem=199M357
325.40/321.18	    decisions=81290, wrong=29211, backtracks=8400, failedAssignments=21887, nogoods=4444, foundSolutions=6, bestBound=18
325.40/321.18	    nFilterCalls=494689, avgTableProportion=0.9999704953945556, avgTableSize=33892.0
325.40/321.18	    
326.20/321.92	    num=183, depth=1..196, filters=370528, ccks=828, wck=319.277, mem=199M357
326.20/321.92	    decisions=81591, wrong=29273, backtracks=8412, failedAssignments=21937, nogoods=4467, foundSolutions=6, bestBound=18
326.20/321.92	    nFilterCalls=495250, avgTableProportion=0.999970495394573, avgTableSize=33892.0
326.20/321.92	    
327.10/322.84	    num=184, depth=72..82, filters=371402, ccks=828, wck=320.203, mem=199M357
327.10/322.84	    decisions=81821, wrong=29350, backtracks=8435, failedAssignments=21992, nogoods=4483, foundSolutions=6, bestBound=18
327.10/322.84	    nFilterCalls=496946, avgTableProportion=0.9999704953946249, avgTableSize=33892.0
327.10/322.84	    
328.20/323.98	    num=185, depth=3..184, filters=372338, ccks=828, wck=321.345, mem=199M357
328.20/323.98	    decisions=82193, wrong=29446, backtracks=8474, failedAssignments=22053, nogoods=4514, foundSolutions=6, bestBound=18
328.20/323.98	    nFilterCalls=499003, avgTableProportion=0.9999704953946874, avgTableSize=33892.0
328.20/323.98	    
329.50/325.23	    num=186, depth=1..204, filters=373352, ccks=828, wck=322.586, mem=199M357
329.50/325.23	    decisions=82580, wrong=29546, backtracks=8518, failedAssignments=22120, nogoods=4540, foundSolutions=6, bestBound=18
329.50/325.23	    nFilterCalls=500556, avgTableProportion=0.9999704953947343, avgTableSize=33892.0
329.50/325.23	    
330.31/326.06	    num=187, depth=2..182, filters=374123, ccks=828, wck=323.422, mem=199M357
330.31/326.06	    decisions=82918, wrong=29628, backtracks=8533, failedAssignments=22194, nogoods=4551, foundSolutions=6, bestBound=18
330.31/326.06	    nFilterCalls=501328, avgTableProportion=0.9999704953947575, avgTableSize=33892.0
330.31/326.06	    
331.10/326.81	    num=188, depth=43..61, filters=374821, ccks=828, wck=324.173, mem=199M357
331.10/326.81	    decisions=83205, wrong=29744, backtracks=8575, failedAssignments=22275, nogoods=4562, foundSolutions=6, bestBound=18
331.10/326.81	    nFilterCalls=502182, avgTableProportion=0.9999704953947831, avgTableSize=33892.0
331.10/326.81	    
333.71/329.49	    num=189, depth=14..52, filters=377113, ccks=828, wck=326.846, mem=199M357
333.71/329.49	    decisions=83994, wrong=30121, backtracks=8868, failedAssignments=22364, nogoods=4564, foundSolutions=6, bestBound=18
333.71/329.49	    nFilterCalls=504356, avgTableProportion=0.9999704953948478, avgTableSize=33892.0
333.71/329.49	    
335.32/331.02	    num=190, depth=1..214, filters=378528, ccks=828, wck=328.376, mem=199M357
335.32/331.02	    decisions=84500, wrong=30274, backtracks=8956, failedAssignments=22462, nogoods=4584, foundSolutions=6, bestBound=18
335.32/331.02	    nFilterCalls=506976, avgTableProportion=0.9999704953949251, avgTableSize=33892.0
335.32/331.02	    
336.91/332.70	    num=191, depth=2..195, filters=380158, ccks=828, wck=330.056, mem=199M357
336.91/332.70	    decisions=84941, wrong=30404, backtracks=8983, failedAssignments=22570, nogoods=4633, foundSolutions=6, bestBound=18
336.91/332.70	    nFilterCalls=509207, avgTableProportion=0.9999704953949902, avgTableSize=33892.0
336.91/332.70	    
338.42/334.15	    num=192, depth=1..204, filters=381698, ccks=828, wck=331.506, mem=199M357
338.42/334.15	    decisions=85425, wrong=30555, backtracks=9016, failedAssignments=22689, nogoods=4648, foundSolutions=6, bestBound=18
338.42/334.15	    nFilterCalls=510639, avgTableProportion=0.9999704953950318, avgTableSize=33892.0
338.42/334.15	    
339.71/335.44	    num=193, depth=54..63, filters=382858, ccks=828, wck=332.802, mem=199M357
339.71/335.44	    decisions=85766, wrong=30698, backtracks=9034, failedAssignments=22820, nogoods=4664, foundSolutions=6, bestBound=18
339.71/335.44	    nFilterCalls=511919, avgTableProportion=0.9999704953950687, avgTableSize=33892.0
339.71/335.44	    
341.44/337.17	    num=194, depth=2..196, filters=384151, ccks=828, wck=334.531, mem=199M357
341.44/337.17	    decisions=86259, wrong=30854, backtracks=9076, failedAssignments=22964, nogoods=4753, foundSolutions=6, bestBound=18
341.44/337.17	    nFilterCalls=514335, avgTableProportion=0.9999704953951378, avgTableSize=33892.0
341.44/337.17	    
343.83/339.50	    num=195, depth=164..189, filters=386453, ccks=828, wck=336.859, mem=199M357
343.83/339.50	    decisions=86930, wrong=31101, backtracks=9185, failedAssignments=23122, nogoods=4780, foundSolutions=6, bestBound=18
343.83/339.50	    nFilterCalls=517091, avgTableProportion=0.999970495395216, avgTableSize=33892.0
343.83/339.50	    
345.23/340.94	    num=196, depth=1..192, filters=387948, ccks=828, wck=338.305, mem=199M357
345.23/340.94	    decisions=87508, wrong=31300, backtracks=9214, failedAssignments=23296, nogoods=4818, foundSolutions=6, bestBound=18
345.23/340.94	    nFilterCalls=518867, avgTableProportion=0.999970495395266, avgTableSize=33892.0
345.23/340.94	    
346.64/342.39	    num=197, depth=60..78, filters=389499, ccks=828, wck=339.754, mem=199M357
346.64/342.39	    decisions=88045, wrong=31535, backtracks=9265, failedAssignments=23487, nogoods=4823, foundSolutions=6, bestBound=18
346.64/342.39	    nFilterCalls=520826, avgTableProportion=0.9999704953953206, avgTableSize=33892.0
346.64/342.39	    
348.94/344.68	    num=198, depth=1..173, filters=392287, ccks=828, wck=342.037, mem=199M357
348.94/344.68	    decisions=88890, wrong=31873, backtracks=9402, failedAssignments=23698, nogoods=4836, foundSolutions=6, bestBound=18
348.94/344.68	    nFilterCalls=523080, avgTableProportion=0.999970495395383, avgTableSize=33892.0
348.94/344.68	    
352.04/347.76	    num=199, depth=45..69, filters=395328, ccks=828, wck=345.116, mem=199M357
352.04/347.76	    decisions=89606, wrong=32202, backtracks=9511, failedAssignments=23930, nogoods=4879, foundSolutions=6, bestBound=18
352.04/347.76	    nFilterCalls=525838, avgTableProportion=0.9999704953952886, avgTableSize=33892.0
352.04/347.76	    
355.54/351.22	    num=200, depth=145..185, filters=399120, ccks=828, wck=348.579, mem=199M357
355.54/351.22	    decisions=90631, wrong=32632, backtracks=9725, failedAssignments=24185, nogoods=4901, foundSolutions=6, bestBound=18
355.54/351.22	    nFilterCalls=530256, avgTableProportion=0.9999704953949246, avgTableSize=33892.0
355.54/351.22	    
358.64/354.35	    num=201, depth=1..200, filters=403487, ccks=828, wck=351.711, mem=199M357
358.64/354.35	    decisions=91630, wrong=33041, backtracks=9866, failedAssignments=24466, nogoods=4926, foundSolutions=6, bestBound=18
358.64/354.35	    nFilterCalls=535172, avgTableProportion=0.9999704953945265, avgTableSize=33892.0
358.64/354.35	    
361.65/357.30	    num=202, depth=1..222, filters=407135, ccks=828, wck=354.657, mem=199M357
361.65/357.30	    decisions=92726, wrong=33498, backtracks=10043, failedAssignments=24775, nogoods=4950, foundSolutions=6, bestBound=18
361.65/357.30	    nFilterCalls=538831, avgTableProportion=0.9999704953942349, avgTableSize=33892.0
361.65/357.30	    
365.65/361.36	    num=203, depth=62..77, filters=411460, ccks=828, wck=358.719, mem=199M357
365.65/361.36	    decisions=93711, wrong=33955, backtracks=10167, failedAssignments=25115, nogoods=4994, foundSolutions=6, bestBound=18
365.65/361.36	    nFilterCalls=543479, avgTableProportion=0.9999704953938702, avgTableSize=33892.0
365.65/361.36	    
369.25/364.95	    num=204, depth=1..188, filters=416163, ccks=828, wck=362.314, mem=199M357
369.25/364.95	    decisions=94998, wrong=34510, backtracks=10365, failedAssignments=25489, nogoods=5019, foundSolutions=6, bestBound=18
369.25/364.95	    nFilterCalls=547586, avgTableProportion=0.9999704953935531, avgTableSize=33892.0
369.25/364.95	    
372.75/368.44	    num=205, depth=1..97, filters=420633, ccks=828, wck=365.803, mem=199M357
372.75/368.44	    decisions=96022, wrong=34983, backtracks=10446, failedAssignments=25900, nogoods=5084, foundSolutions=6, bestBound=18
372.75/368.44	    nFilterCalls=553459, avgTableProportion=0.9999704953931078, avgTableSize=33892.0
372.75/368.44	    
378.05/373.71	    num=206, depth=1..145, filters=427173, ccks=828, wck=371.066, mem=199M357
378.05/373.71	    decisions=97586, wrong=35699, backtracks=10756, failedAssignments=26352, nogoods=5100, foundSolutions=6, bestBound=18
378.05/373.71	    nFilterCalls=560042, avgTableProportion=0.9999704953926198, avgTableSize=33892.0
378.05/373.71	    
382.55/378.25	    num=207, depth=45..59, filters=432459, ccks=828, wck=375.613, mem=201M973
382.55/378.25	    decisions=98772, wrong=36269, backtracks=10838, failedAssignments=26849, nogoods=5121, foundSolutions=6, bestBound=18
382.55/378.25	    nFilterCalls=564927, avgTableProportion=0.999970495392265, avgTableSize=33892.0
382.55/378.25	    
388.88/384.52	    num=208, depth=1..165, filters=440475, ccks=828, wck=381.877, mem=201M973
388.88/384.52	    decisions=100925, wrong=37271, backtracks=11322, failedAssignments=27396, nogoods=5146, foundSolutions=6, bestBound=18
388.88/384.52	    nFilterCalls=571901, avgTableProportion=0.999970495391769, avgTableSize=33892.0
388.88/384.52	    
392.88/388.53	    num=209, depth=46..67, filters=444899, ccks=828, wck=385.894, mem=201M973
392.88/388.53	    decisions=102335, wrong=37949, backtracks=11408, failedAssignments=27998, nogoods=5174, foundSolutions=6, bestBound=18
392.88/388.53	    nFilterCalls=576940, avgTableProportion=0.9999704953914181, avgTableSize=33892.0
392.88/388.53	    
399.68/395.31	    num=210, depth=1..185, filters=452950, ccks=828, wck=392.669, mem=201M973
399.68/395.31	    decisions=104631, wrong=39013, backtracks=11947, failedAssignments=28660, nogoods=5208, foundSolutions=6, bestBound=18
399.68/395.31	    nFilterCalls=587698, avgTableProportion=0.999970495390689, avgTableSize=33892.0
399.68/395.31	    
404.89/400.55	    num=211, depth=1..192, filters=458975, ccks=828, wck=397.912, mem=201M973
404.89/400.55	    decisions=106704, wrong=39973, backtracks=12225, failedAssignments=29388, nogoods=5256, foundSolutions=6, bestBound=18
404.89/400.55	    nFilterCalls=596100, avgTableProportion=0.9999704953901379, avgTableSize=33892.0
404.89/400.55	    
414.50/410.14	    num=212, depth=1..215, filters=471171, ccks=828, wck=407.504, mem=201M973
414.50/410.14	    decisions=110100, wrong=41572, backtracks=13133, failedAssignments=30189, nogoods=5289, foundSolutions=6, bestBound=18
414.50/410.14	    nFilterCalls=610964, avgTableProportion=0.9999704953892001, avgTableSize=33892.0
414.50/410.14	    
420.19/415.89	    num=213, depth=63..117, filters=477952, ccks=828, wck=413.254, mem=201M973
420.19/415.89	    decisions=112220, wrong=42583, backtracks=13307, failedAssignments=31070, nogoods=5333, foundSolutions=6, bestBound=18
420.19/415.89	    nFilterCalls=619564, avgTableProportion=0.9999704953886781, avgTableSize=33892.0
420.19/415.89	    
431.19/426.84	    num=214, depth=1..203, filters=493766, ccks=828, wck=424.204, mem=201M973
431.19/426.84	    decisions=115053, wrong=43913, backtracks=13743, failedAssignments=32040, nogoods=5367, foundSolutions=6, bestBound=18
431.19/426.84	    nFilterCalls=651326, avgTableProportion=0.9999704953868694, avgTableSize=33892.0
431.19/426.84	    
445.00/440.66	    num=215, depth=18..75, filters=507524, ccks=828, wck=438.018, mem=201M973
445.00/440.66	    decisions=118849, wrong=45787, backtracks=14690, failedAssignments=33107, nogoods=5428, foundSolutions=6, bestBound=18
445.00/440.66	    nFilterCalls=669270, avgTableProportion=0.9999704953859235, avgTableSize=33892.0
445.00/440.66	    
458.61/454.28	    num=216, depth=110..139, filters=525422, ccks=828, wck=451.641, mem=201M973
458.61/454.28	    decisions=122873, wrong=47739, backtracks=15572, failedAssignments=34280, nogoods=5434, foundSolutions=6, bestBound=18
458.61/454.28	    nFilterCalls=685298, avgTableProportion=0.9999704953851206, avgTableSize=33892.0
458.61/454.28	    
471.52/467.19	    num=217, depth=1..172, filters=543665, ccks=828, wck=464.554, mem=201M973
471.52/467.19	    decisions=127063, wrong=49757, backtracks=16405, failedAssignments=35571, nogoods=5452, foundSolutions=6, bestBound=18
471.52/467.19	    nFilterCalls=715306, avgTableProportion=0.999970495383714, avgTableSize=33892.0
471.52/467.19	    
484.01/479.60	    num=218, depth=1..183, filters=561247, ccks=828, wck=476.96, mem=201M973
484.01/479.60	    decisions=131691, wrong=51994, backtracks=17320, failedAssignments=36991, nogoods=5466, foundSolutions=6, bestBound=18
484.01/479.60	    nFilterCalls=733731, avgTableProportion=0.9999704953829073, avgTableSize=33892.0
484.01/479.60	    
494.08/489.67	    num=219, depth=50..72, filters=572449, ccks=828, wck=487.029, mem=201M973
494.08/489.67	    decisions=135243, wrong=53741, backtracks=17548, failedAssignments=38553, nogoods=5486, foundSolutions=6, bestBound=18
494.08/489.67	    nFilterCalls=747187, avgTableProportion=0.9999704953823433, avgTableSize=33892.0
494.08/489.67	    
512.89/508.42	    num=220, depth=1..127, filters=591754, ccks=828, wck=505.778, mem=201M973
512.89/508.42	    decisions=140429, wrong=56276, backtracks=18562, failedAssignments=40271, nogoods=5595, foundSolutions=6, bestBound=18
512.89/508.42	    nFilterCalls=773518, avgTableProportion=0.9999704953812965, avgTableSize=33892.0
512.89/508.42	    
534.11/529.66	    num=221, depth=2..147, filters=614731, ccks=828, wck=527.023, mem=201M973
534.11/529.66	    decisions=146087, wrong=59043, backtracks=19602, failedAssignments=42161, nogoods=5690, foundSolutions=6, bestBound=18
534.11/529.66	    nFilterCalls=799131, avgTableProportion=0.9999704953803443, avgTableSize=33892.0
534.11/529.66	    
566.52/562.06	    num=222, depth=1..163, filters=662144, ccks=828, wck=559.418, mem=201M973
566.52/562.06	    decisions=153766, wrong=62806, backtracks=21387, failedAssignments=44240, nogoods=5744, foundSolutions=6, bestBound=18
566.52/562.06	    nFilterCalls=872207, avgTableProportion=0.9999704953779353, avgTableSize=33892.0
566.52/562.06	    
591.82/587.33	    num=223, depth=1..203, filters=696969, ccks=828, wck=584.69, mem=201M973
591.82/587.33	    decisions=161738, wrong=66710, backtracks=23103, failedAssignments=46527, nogoods=5762, foundSolutions=6, bestBound=18
591.82/587.33	    nFilterCalls=939047, avgTableProportion=0.99997049537606, avgTableSize=33892.0
591.82/587.33	    
629.54/625.05	    num=224, depth=1..198, filters=755809, ccks=828, wck=622.41, mem=201M973
629.54/625.05	    decisions=170656, wrong=71089, backtracks=25033, failedAssignments=49043, nogoods=5782, foundSolutions=6, bestBound=18
629.54/625.05	    nFilterCalls=1064420, avgTableProportion=0.9999704953749075, avgTableSize=33892.0
629.54/625.05	    
644.34/639.83	    num=225, depth=1..148, filters=772501, ccks=828, wck=637.19, mem=201M973
644.34/639.83	    decisions=176842, wrong=74115, backtracks=25461, failedAssignments=51811, nogoods=5848, foundSolutions=6, bestBound=18
644.34/639.83	    nFilterCalls=1087399, avgTableProportion=0.9999704953768748, avgTableSize=33892.0
644.34/639.83	    
683.05/678.58	    num=226, depth=1..166, filters=831273, ccks=828, wck=675.944, mem=201M973
683.05/678.58	    decisions=187093, wrong=79167, backtracks=27583, failedAssignments=54855, nogoods=5872, foundSolutions=6, bestBound=18
683.05/678.58	    nFilterCalls=1247029, avgTableProportion=0.9999704953885402, avgTableSize=33892.0
683.05/678.58	    
742.97/738.43	    num=227, depth=2..155, filters=929328, ccks=828, wck=735.792, mem=201M973
742.97/738.43	    decisions=199148, wrong=85124, backtracks=30223, failedAssignments=58204, nogoods=5892, foundSolutions=6, bestBound=18
742.97/738.43	    nFilterCalls=1440334, avgTableProportion=0.9999704953992051, avgTableSize=33892.0
742.97/738.43	    
782.59/778.02	    num=228, depth=1..182, filters=997786, ccks=828, wck=775.378, mem=203M734
782.59/778.02	    decisions=209893, wrong=90419, backtracks=32115, failedAssignments=61888, nogoods=5916, foundSolutions=6, bestBound=18
782.59/778.02	    nFilterCalls=1569543, avgTableProportion=0.999970495404869, avgTableSize=33892.0
782.59/778.02	    
830.19/825.64	    num=229, depth=1..170, filters=1067412, ccks=828, wck=822.996, mem=203M734
830.19/825.64	    decisions=222860, wrong=96828, backtracks=34892, failedAssignments=65940, nogoods=5947, foundSolutions=6, bestBound=18
830.19/825.64	    nFilterCalls=1750997, avgTableProportion=0.9999704954114118, avgTableSize=33892.0
830.19/825.64	    
857.61/853.10	    num=230, depth=1..109, filters=1100651, ccks=828, wck=850.464, mem=203M734
857.61/853.10	    decisions=234038, wrong=102368, backtracks=36615, failedAssignments=70397, nogoods=6051, foundSolutions=6, bestBound=18
857.61/853.10	    nFilterCalls=1825310, avgTableProportion=0.9999704954137159, avgTableSize=33892.0
857.61/853.10	    
899.63/895.10	    num=231, depth=102..131, filters=1177769, ccks=828, wck=892.456, mem=203M734
899.63/895.10	    decisions=246522, wrong=108554, backtracks=38068, failedAssignments=75300, nogoods=6074, foundSolutions=6, bestBound=18
899.63/895.10	    nFilterCalls=1984909, avgTableProportion=0.999970495418081, avgTableSize=33892.0
899.63/895.10	    
923.42/918.85	    num=232, depth=1..140, filters=1204270, ccks=828, wck=916.206, mem=203M734
923.42/918.85	    decisions=258532, wrong=114498, backtracks=39086, failedAssignments=80694, nogoods=6146, foundSolutions=6, bestBound=18
923.42/918.85	    nFilterCalls=2028102, avgTableProportion=0.9999704954191443, avgTableSize=33892.0
923.42/918.85	    
962.33/957.73	    num=233, depth=4..141, filters=1246947, ccks=828, wck=955.092, mem=203M734
962.33/957.73	    decisions=272160, wrong=121249, backtracks=40192, failedAssignments=86627, nogoods=6230, foundSolutions=6, bestBound=18
962.33/957.73	    nFilterCalls=2091297, avgTableProportion=0.9999704954206208, avgTableSize=33892.0
962.33/957.73	    
1054.78/1050.11	    num=234, depth=1..172, filters=1377071, ccks=828, wck=1047.473, mem=203M734
1054.78/1050.11	    decisions=292744, wrong=131466, backtracks=44707, failedAssignments=93153, nogoods=6258, foundSolutions=6, bestBound=18
1054.78/1050.11	    nFilterCalls=2465516, avgTableProportion=0.9999704953930324, avgTableSize=33892.0
1054.78/1050.11	    
1101.62/1096.65	    num=235, depth=2..107, filters=1425665, ccks=828, wck=1094.015, mem=170M209
1101.62/1096.65	    decisions=310434, wrong=140266, backtracks=46858, failedAssignments=100332, nogoods=6405, foundSolutions=6, bestBound=18
1101.62/1096.65	    nFilterCalls=2543625, avgTableProportion=0.9999704953881849, avgTableSize=33892.0
1101.62/1096.65	    
1178.75/1173.76	    num=236, depth=1..133, filters=1534012, ccks=828, wck=1171.118, mem=170M209
1178.75/1173.76	    decisions=331838, wrong=150908, backtracks=49900, failedAssignments=108229, nogoods=6476, foundSolutions=6, bestBound=18
1178.75/1173.76	    nFilterCalls=2705015, avgTableProportion=0.9999704953790559, avgTableSize=33892.0
1178.75/1173.76	    
1320.79/1315.79	    num=237, depth=2..155, filters=1752353, ccks=828, wck=1313.151, mem=170M209
1320.79/1315.79	    decisions=360775, wrong=165307, backtracks=56635, failedAssignments=116916, nogoods=6516, foundSolutions=6, bestBound=18
1320.79/1315.79	    nFilterCalls=3243992, avgTableProportion=0.9999704953551506, avgTableSize=33892.0
1320.79/1315.79	    
1416.92/1411.82	    num=238, depth=1..147, filters=1872139, ccks=828, wck=1409.184, mem=170M209
1416.92/1411.82	    decisions=383545, wrong=176630, backtracks=58716, failedAssignments=126471, nogoods=6566, foundSolutions=6, bestBound=18
1416.92/1411.82	    nFilterCalls=3400680, avgTableProportion=0.9999704953496227, avgTableSize=33892.0
1416.92/1411.82	    
1569.57/1564.41	    num=239, depth=1..177, filters=2137973, ccks=828, wck=1561.773, mem=170M209
1569.57/1564.41	    decisions=416007, wrong=192783, backtracks=65421, failedAssignments=136982, nogoods=6615, foundSolutions=6, bestBound=18
1569.57/1564.41	    nFilterCalls=3888397, avgTableProportion=0.9999704953352676, avgTableSize=33892.0
1569.57/1564.41	    
1629.99/1624.87	    num=240, depth=1..132, filters=2192098, ccks=828, wck=1622.235, mem=170M209
1629.99/1624.87	    decisions=441994, wrong=205719, backtracks=67384, failedAssignments=148544, nogoods=6657, foundSolutions=6, bestBound=18
1629.99/1624.87	    nFilterCalls=3964222, avgTableProportion=0.9999704953333531, avgTableSize=33892.0
1629.99/1624.87	    
1842.67/1837.43	    num=241, depth=1..153, filters=2497799, ccks=828, wck=1834.795, mem=172M824
1842.67/1837.43	    decisions=487995, wrong=228650, backtracks=77940, failedAssignments=161262, nogoods=6696, foundSolutions=6, bestBound=18
1842.67/1837.43	    nFilterCalls=4592974, avgTableProportion=0.99997049536032, avgTableSize=33892.0
1842.67/1837.43	    
2038.43/2033.17	    num=242, depth=1..189, filters=2750364, ccks=828, wck=2030.535, mem=172M824
2038.43/2033.17	    decisions=527116, wrong=248129, backtracks=85508, failedAssignments=175252, nogoods=6740, foundSolutions=6, bestBound=18
2038.43/2033.17	    nFilterCalls=5280960, avgTableProportion=0.9999704954046813, avgTableSize=33892.0
2038.43/2033.17	    
2189.39/2184.03	    num=243, depth=1..134, filters=2885936, ccks=828, wck=2181.389, mem=172M824
2189.39/2184.03	    decisions=573179, wrong=271110, backtracks=94616, failedAssignments=190641, nogoods=6827, foundSolutions=6, bestBound=18
2189.39/2184.03	    nFilterCalls=5445728, avgTableProportion=0.9999704954136419, avgTableSize=33892.0
2189.39/2184.03	    
2400.05/2394.60	
2400.05/2394.60	v <instantiation id='sol6' type='solution' cost='18'>  <list> x b[][] </list>  <values> 18 99 50 0 0 0 0 0 99 50 0 0 0 0 0 98 52 0 0 0 0 0 98 32 20 0 0 0 0 97 32 20 0 0 0 0 97 31 0 0 0 0 0 96 53 0 0 0 0 0 95 34 21 0 0 0 0 92 57 0 0 0 0 0 92 37 21 0 0 0 0 92 37 21 0 0 0 0 92 37 21 0 0 0 0 91 59 0 0 0 0 0 91 57 0 0 0 0 0 91 57 0 0 0 0 0 90 60 0 0 0 0 0 89 40 21 0 0 0 0 89 40 0 0 0 0 0 88 61 0 0 0 0 0 87 60 0 0 0 0 0 87 57 0 0 0 0 0 87 57 0 0 0 0 0 86 39 24 0 0 0 0 85 65 0 0 0 0 0 84 66 0 0 0 0 0 84 65 0 0 0 0 0 84 56 0 0 0 0 0 84 55 0 0 0 0 0 82 43 20 0 0 0 0 82 42 23 0 0 0 0 81 69 0 0 0 0 0 79 71 0 0 0 0 0 78 72 0 0 0 0 0 78 71 0 0 0 0 0 77 73 0 0 0 0 0 77 73 0 0 0 0 0 76 74 0 0 0 0 0 76 73 0 0 0 0 0 75 75 0 0 0 0 0 75 73 0 0 0 0 0 71 71 0 0 0 0 0 70 45 35 0 0 0 0 69 49 31 0 0 0 0 69 48 0 0 0 0 0 69 45 36 0 0 0 0 69 28 27 25 0 0 0 68 52 30 0 0 0 0 68 43 39 0 0 0 0 67 42 41 0 0 0 0 42 42 42 24 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>  </instantiation>
2400.05/2394.60	s SATISFIABLE

Verifier Data 

OK	18

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 (10575 MiB free)
  memory of node 1: 16384 MiB (12601 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391290-1568390920/watcher-4391290-1568390920 -o /tmp/evaluation-result-4391290-1568390920/solver-4391290-1568390920 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568390530-31342 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391290-1568390920.xml -cm 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31651, runsolver pid=31648
Current StackSize limit: 8192 KiB


[startup+0.100765 s]*
/proc/loadavg: 1.86 1.56 1.46 3/230 31666
/proc/meminfo: memFree=23718160/32770624 swapFree=67108848/67108860
[pid=31651] ppid=31648 vsize=10659884 memory=29000 CPUtime=0.14 cores=0,2,4,6
/proc/31651/stat : 31651 (java) S 31648 31651 29438 0 -1 1077944320 5817 0 0 0 13 1 0 0 20 0 15 0 415029357 10915721216 7250 33554432000 4194304 4196468 140728051157040 140728051139584 140517248417527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
/proc/31651/statm: 2664971 7250 2897 1 0 2627468 0
[pid=31651/tid=31653] ppid=31648 vsize=10659884 memory=-8125511277465736579 CPUtime=0.09 cores=0,2,4,6
/proc/31651/task/31653/stat : 31653 (java) S 31648 31651 29438 0 -1 1077944384 3208 0 0 0 9 0 0 0 20 0 15 0 415029358 10915721216 7250 33554432000 4194304 4196468 140728051157040 140517252646720 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31654] ppid=31648 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31654/stat : 31654 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10915721216 7250 33554432000 4194304 4196468 140728051157040 140517174491920 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31655] ppid=31648 vsize=10659884 memory=140479333078656 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31655/stat : 31655 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10915721216 7250 33554432000 4194304 4196468 140728051157040 140517173439376 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31656] ppid=31648 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31656/stat : 31656 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10915721216 7250 33554432000 4194304 4196468 140728051157040 140517172386832 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31657] ppid=31648 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31657/stat : 31657 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10915721216 7250 33554432000 4194304 4196468 140728051157040 140517171334288 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31658] ppid=31648 vsize=10659884 memory=140479333078656 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31658/stat : 31658 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029360 10915721216 7250 33554432000 4194304 4196468 140728051157040 140516351469552 140517248428674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31659] ppid=31648 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31659/stat : 31659 (java) S 31648 31651 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415029360 10915721216 7250 33554432000 4194304 4196468 140728051157040 140516350415776 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31660] ppid=31648 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31660/stat : 31660 (java) S 31648 31651 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415029361 10915721216 7250 33554432000 4194304 4196468 140728051157040 140516349363184 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31661] ppid=31648 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31661/stat : 31661 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415029363 10915721216 7250 33554432000 4194304 4196468 140728051157040 140516348311760 140517248436123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31662] ppid=31648 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31662/stat : 31662 (java) R 31648 31651 29438 0 -1 4202560 587 0 0 0 0 0 0 0 20 0 15 0 415029363 10915721216 7250 33554432000 4194304 4196468 140728051157040 140516347259376 140517248438874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31663] ppid=31648 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31663/stat : 31663 (java) S 31648 31651 29438 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 415029363 10915721216 7250 33554432000 4194304 4196468 140728051157040 140516346206832 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31664] ppid=31648 vsize=10659884 memory=140479333078656 CPUtime=0.02 cores=0,2,4,6
/proc/31651/task/31664/stat : 31664 (java) R 31648 31651 29438 0 -1 4202560 565 0 0 0 2 0 0 0 20 0 15 0 415029363 10915721216 7250 33554432000 4194304 4196468 140728051157040 140516345151192 140517248429462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31665] ppid=31648 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31665/stat : 31665 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415029363 10915721216 7250 33554432000 4194304 4196468 140728051157040 140516344101984 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31666] ppid=31648 vsize=10659884 memory=140479333078656 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31666/stat : 31666 (java) S 31648 31651 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415029363 10915721216 7250 33554432000 4194304 4196468 140728051157040 140516343048496 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29000 KiB

[startup+0.210699 s]*
/proc/loadavg: 1.86 1.56 1.46 5/230 31666
/proc/meminfo: memFree=23707108/32770624 swapFree=67108848/67108860
[pid=31651] ppid=31648 vsize=10659884 memory=36944 CPUtime=0.33 cores=0,2,4,6
/proc/31651/stat : 31651 (java) S 31648 31651 29438 0 -1 1077944320 9002 0 0 0 31 2 0 0 20 0 15 0 415029357 10915721216 9236 33554432000 4194304 4196468 140728051157040 140728051139584 140517248417527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
/proc/31651/statm: 2664971 9236 2989 1 0 2627468 0
[pid=31651/tid=31653] ppid=31648 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31651/task/31653/stat : 31653 (java) R 31648 31651 29438 0 -1 4202560 6085 0 0 0 19 1 0 0 20 0 15 0 415029358 10915721216 9236 33554432000 4194304 4196468 140728051157040 140517252643888 140517248439453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31654] ppid=31648 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31654/stat : 31654 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10915721216 9236 33554432000 4194304 4196468 140728051157040 140517174491920 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31655] ppid=31648 vsize=10659884 memory=140479333109099 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31655/stat : 31655 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10915721216 9236 33554432000 4194304 4196468 140728051157040 140517173439376 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31656] ppid=31648 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31656/stat : 31656 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10915721216 9236 33554432000 4194304 4196468 140728051157040 140517172386832 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31657] ppid=31648 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31657/stat : 31657 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10915721216 9236 33554432000 4194304 4196468 140728051157040 140517171334288 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31658] ppid=31648 vsize=10659884 memory=140479333078656 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31658/stat : 31658 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029360 10915721216 9236 33554432000 4194304 4196468 140728051157040 140516351469552 140517248428674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31659] ppid=31648 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31659/stat : 31659 (java) S 31648 31651 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415029360 10915721216 9236 33554432000 4194304 4196468 140728051157040 140516350415776 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31660] ppid=31648 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31660/stat : 31660 (java) S 31648 31651 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415029361 10915721216 9236 33554432000 4194304 4196468 140728051157040 140516349363184 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31661] ppid=31648 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31661/stat : 31661 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415029363 10915721216 9236 33554432000 4194304 4196468 140728051157040 140516348311760 140517248436123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31662] ppid=31648 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31651/task/31662/stat : 31662 (java) S 31648 31651 29438 0 -1 1077944384 702 0 0 0 3 0 0 0 20 0 15 0 415029363 10915721216 9236 33554432000 4194304 4196468 140728051157040 140516347259376 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31663] ppid=31648 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31651/task/31663/stat : 31663 (java) S 31648 31651 29438 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 15 0 415029363 10915721216 9236 33554432000 4194304 4196468 140728051157040 140516346206832 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31664] ppid=31648 vsize=10659884 memory=140479333078656 CPUtime=0.05 cores=0,2,4,6
/proc/31651/task/31664/stat : 31664 (java) S 31648 31651 29438 0 -1 1077944384 599 0 0 0 5 0 0 0 20 0 15 0 415029363 10915721216 9236 33554432000 4194304 4196468 140728051157040 140516345154288 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31665] ppid=31648 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31665/stat : 31665 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415029363 10915721216 9236 33554432000 4194304 4196468 140728051157040 140516344101984 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31666] ppid=31648 vsize=10659884 memory=140479333078656 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31666/stat : 31666 (java) S 31648 31651 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415029363 10915721216 9236 33554432000 4194304 4196468 140728051157040 140516343048496 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36944 KiB

[startup+0.311177 s]*
/proc/loadavg: 1.86 1.56 1.46 3/230 31666
/proc/meminfo: memFree=23705064/32770624 swapFree=67108848/67108860
[pid=31651] ppid=31648 vsize=10659884 memory=39764 CPUtime=0.47 cores=0,2,4,6
/proc/31651/stat : 31651 (java) S 31648 31651 29438 0 -1 1077944320 9229 0 0 0 45 2 0 0 20 0 15 0 415029357 10915721216 9941 33554432000 4194304 4196468 140728051157040 140728051139584 140517248417527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
/proc/31651/statm: 2664971 9941 3036 1 0 2627468 0
[pid=31651/tid=31653] ppid=31648 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/31651/task/31653/stat : 31653 (java) R 31648 31651 29438 0 -1 4202560 6206 0 0 0 28 2 0 0 20 0 15 0 415029358 10915721216 9941 33554432000 4194304 4196468 140728051157040 140517252649936 140517248439453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31654] ppid=31648 vsize=10659884 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31654/stat : 31654 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10915721216 9941 33554432000 4194304 4196468 140728051157040 140517174491920 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31655] ppid=31648 vsize=10659884 memory=140479333108484 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31655/stat : 31655 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10915721216 9941 33554432000 4194304 4196468 140728051157040 140517173439376 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31656] ppid=31648 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31656/stat : 31656 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10915721216 9941 33554432000 4194304 4196468 140728051157040 140517172386832 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31657] ppid=31648 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31657/stat : 31657 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10915721216 9941 33554432000 4194304 4196468 140728051157040 140517171334288 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31658] ppid=31648 vsize=10659884 memory=140479333078656 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31658/stat : 31658 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029360 10915721216 9941 33554432000 4194304 4196468 140728051157040 140516351469552 140517248428674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31659] ppid=31648 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31659/stat : 31659 (java) S 31648 31651 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415029360 10915721216 9941 33554432000 4194304 4196468 140728051157040 140516350415776 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31660] ppid=31648 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31660/stat : 31660 (java) S 31648 31651 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415029361 10915721216 9941 33554432000 4194304 4196468 140728051157040 140516349363184 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31661] ppid=31648 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31661/stat : 31661 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415029363 10915721216 9941 33554432000 4194304 4196468 140728051157040 140516348311760 140517248436123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31662] ppid=31648 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/31651/task/31662/stat : 31662 (java) S 31648 31651 29438 0 -1 1077944384 768 0 0 0 4 0 0 0 20 0 15 0 415029363 10915721216 9941 33554432000 4194304 4196468 140728051157040 140516347259376 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31663] ppid=31648 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/31651/task/31663/stat : 31663 (java) S 31648 31651 29438 0 -1 1077944384 265 0 0 0 3 0 0 0 20 0 15 0 415029363 10915721216 9941 33554432000 4194304 4196468 140728051157040 140516346206832 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31664] ppid=31648 vsize=10659884 memory=140479333078656 CPUtime=0.07 cores=0,2,4,6
/proc/31651/task/31664/stat : 31664 (java) S 31648 31651 29438 0 -1 1077944384 629 0 0 0 7 0 0 0 20 0 15 0 415029363 10915721216 9941 33554432000 4194304 4196468 140728051157040 140516345154288 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31665] ppid=31648 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31665/stat : 31665 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415029363 10915721216 9941 33554432000 4194304 4196468 140728051157040 140516344101984 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31666] ppid=31648 vsize=10659884 memory=140479333078656 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31666/stat : 31666 (java) S 31648 31651 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415029363 10915721216 9941 33554432000 4194304 4196468 140728051157040 140516343048496 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39764 KiB

[startup+0.700712 s]
/proc/loadavg: 1.86 1.56 1.46 3/230 31666
/proc/meminfo: memFree=23696304/32770624 swapFree=67108848/67108860
[pid=31651] ppid=31648 vsize=10661932 memory=62608 CPUtime=1.1 cores=0,2,4,6
/proc/31651/stat : 31651 (java) S 31648 31651 29438 0 -1 1077944320 12685 0 0 0 106 4 0 0 20 0 15 0 415029357 10917818368 15652 33554432000 4194304 4196468 140728051157040 140728051139584 140517248417527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
/proc/31651/statm: 2665483 15652 3073 1 0 2627980 0
[pid=31651/tid=31653] ppid=31648 vsize=10661932 memory=1792 CPUtime=0.68 cores=0,2,4,6
/proc/31651/task/31653/stat : 31653 (java) R 31648 31651 29438 0 -1 4202560 8838 0 0 0 65 3 0 0 20 0 15 0 415029358 10917818368 15652 33554432000 4194304 4196468 140728051157040 140517252649552 140517248439453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31654] ppid=31648 vsize=10661932 memory=8612 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31654/stat : 31654 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10917818368 15652 33554432000 4194304 4196468 140728051157040 140517174491920 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31655] ppid=31648 vsize=10661932 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31655/stat : 31655 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10917818368 15652 33554432000 4194304 4196468 140728051157040 140517173439376 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31656] ppid=31648 vsize=10661932 memory=5536 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31656/stat : 31656 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10917818368 15652 33554432000 4194304 4196468 140728051157040 140517172386832 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31657] ppid=31648 vsize=10661932 memory=4540 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31657/stat : 31657 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10917818368 15652 33554432000 4194304 4196468 140728051157040 140517171334288 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31658] ppid=31648 vsize=10661932 memory=752 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31658/stat : 31658 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029360 10917818368 15652 33554432000 4194304 4196468 140728051157040 140516351469552 140517248428674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31659] ppid=31648 vsize=10661932 memory=1636 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31659/stat : 31659 (java) S 31648 31651 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415029360 10917818368 15652 33554432000 4194304 4196468 140728051157040 140516350415776 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31660] ppid=31648 vsize=10661932 memory=812 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31660/stat : 31660 (java) S 31648 31651 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415029361 10917818368 15652 33554432000 4194304 4196468 140728051157040 140516349363184 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31661] ppid=31648 vsize=10661932 memory=1840 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31661/stat : 31661 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415029363 10917818368 15652 33554432000 4194304 4196468 140728051157040 140516348311760 140517248436123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31662] ppid=31648 vsize=10661932 memory=7302135314614015849 CPUtime=0.11 cores=0,2,4,6
/proc/31651/task/31662/stat : 31662 (java) S 31648 31651 29438 0 -1 1077944384 1073 0 0 0 11 0 0 0 20 0 15 0 415029363 10917818368 15652 33554432000 4194304 4196468 140728051157040 140516347259376 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31663] ppid=31648 vsize=10661932 memory=6010460991946777682 CPUtime=0.1 cores=0,2,4,6
/proc/31651/task/31663/stat : 31663 (java) S 31648 31651 29438 0 -1 1077944384 438 0 0 0 10 0 0 0 20 0 15 0 415029363 10917818368 15652 33554432000 4194304 4196468 140728051157040 140516346206832 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31664] ppid=31648 vsize=10661932 memory=7588935152971044437 CPUtime=0.18 cores=0,2,4,6
/proc/31651/task/31664/stat : 31664 (java) S 31648 31651 29438 0 -1 1077944384 975 0 0 0 18 0 0 0 20 0 15 0 415029363 10917818368 15652 33554432000 4194304 4196468 140728051157040 140516345154288 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31665] ppid=31648 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31665/stat : 31665 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415029363 10917818368 15652 33554432000 4194304 4196468 140728051157040 140516344101984 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31666] ppid=31648 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31666/stat : 31666 (java) S 31648 31651 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415029363 10917818368 15652 33554432000 4194304 4196468 140728051157040 140516343048496 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62608 KiB

[startup+1.5007 s]
/proc/loadavg: 1.86 1.56 1.46 3/230 31667
/proc/meminfo: memFree=23679616/32770624 swapFree=67108848/67108860
[pid=31651] ppid=31648 vsize=10663980 memory=75068 CPUtime=2 cores=0,2,4,6
/proc/31651/stat : 31651 (java) S 31648 31651 29438 0 -1 1077944320 16771 0 0 0 195 5 0 0 20 0 15 0 415029357 10919915520 18767 33554432000 4194304 4196468 140728051157040 140728051139584 140517248417527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
/proc/31651/statm: 2665995 18767 3091 1 0 2628492 0
[pid=31651/tid=31653] ppid=31648 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/31651/task/31653/stat : 31653 (java) R 31648 31651 29438 0 -1 4202560 11821 0 0 0 144 4 0 0 20 0 15 0 415029358 10919915520 18767 33554432000 4194304 4196468 140728051157040 140517252643408 140517248439453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31654] ppid=31648 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31654/stat : 31654 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10919915520 18767 33554432000 4194304 4196468 140728051157040 140517174491920 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31655] ppid=31648 vsize=10663980 memory=-6509546260019855299 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31655/stat : 31655 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10919915520 18767 33554432000 4194304 4196468 140728051157040 140517173439376 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31656] ppid=31648 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31656/stat : 31656 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10919915520 18767 33554432000 4194304 4196468 140728051157040 140517172386832 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31657] ppid=31648 vsize=10663980 memory=-7096649868621430206 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31657/stat : 31657 (java) S 31648 31651 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415029359 10919915520 18767 33554432000 4194304 4196468 140728051157040 140517171334288 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31658] ppid=31648 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31658/stat : 31658 (java) S 31648 31651 29438 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 415029360 10919915520 18767 33554432000 4194304 4196468 140728051157040 140516351469552 140517248428674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0

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

/proc/31651/task/31657/stat : 31657 (java) S 31648 31651 29438 0 -1 1077944384 253 0 0 0 9 6 0 0 20 0 16 0 415029359 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517171334288 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31658] ppid=31648 vsize=10748324 memory=444640 CPUtime=0.06 cores=0,2,4,6
/proc/31651/task/31658/stat : 31658 (java) S 31648 31651 29438 0 -1 1077944384 4638 0 0 0 3 3 0 0 20 0 16 0 415029360 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516351469552 140517248428674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31659] ppid=31648 vsize=10748324 memory=444640 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31659/stat : 31659 (java) S 31648 31651 29438 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415029360 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516350415840 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31660] ppid=31648 vsize=10748324 memory=444640 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31660/stat : 31660 (java) S 31648 31651 29438 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415029361 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516349363200 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31661] ppid=31648 vsize=10748324 memory=3924 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31661/stat : 31661 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516348311760 140517248436123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31662] ppid=31648 vsize=10748324 memory=444640 CPUtime=1.76 cores=0,2,4,6
/proc/31651/task/31662/stat : 31662 (java) S 31648 31651 29438 0 -1 1077944384 11732 0 0 0 174 2 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516347259376 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31663] ppid=31648 vsize=10748324 memory=444640 CPUtime=1.7 cores=0,2,4,6
/proc/31651/task/31663/stat : 31663 (java) S 31648 31651 29438 0 -1 1077944384 10877 0 0 0 169 1 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516346206832 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31664] ppid=31648 vsize=10748324 memory=170 CPUtime=0.78 cores=0,2,4,6
/proc/31651/task/31664/stat : 31664 (java) S 31648 31651 29438 0 -1 1077944384 12593 0 0 0 76 2 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516345154288 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31665] ppid=31648 vsize=10748324 memory=78 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31665/stat : 31665 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516344101984 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31666] ppid=31648 vsize=10748324 memory=444640 CPUtime=0.67 cores=0,2,4,6
/proc/31651/task/31666/stat : 31666 (java) S 31648 31651 29438 0 -1 1077944384 1473 0 0 0 33 34 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516343048496 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31668] ppid=31648 vsize=10748324 memory=444640 CPUtime=2260.15 cores=0,2,4,6
/proc/31651/task/31668/stat : 31668 (java) R 31648 31651 29438 0 -1 4202560 20736 0 0 0 226011 4 0 0 20 0 16 0 415029547 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516325978528 140516857665500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
Current children cumulated CPU time: 2267.7 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 444640 KiB

[startup+2322.3 s]
/proc/loadavg: 1.22 1.54 1.61 2/207 31934
/proc/meminfo: memFree=23949836/32770624 swapFree=67108848/67108860
[pid=31651] ppid=31648 vsize=10748324 memory=444640 CPUtime=2327.72 cores=0,2,4,6
/proc/31651/stat : 31651 (java) S 31648 31651 29438 0 -1 1077944320 78901 0 0 0 232710 62 0 0 20 0 16 0 415029357 11006283776 111160 33554432000 4194304 4196468 140728051157040 140728051139584 140517248417527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
/proc/31651/statm: 2687081 111160 3381 1 0 2647217 0
[pid=31651/tid=31653] ppid=31648 vsize=10748324 memory=444640 CPUtime=1.88 cores=0,2,4,6
/proc/31651/task/31653/stat : 31653 (java) S 31648 31651 29438 0 -1 1077944384 13942 0 0 0 183 5 0 0 20 0 16 0 415029358 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517252660400 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31654] ppid=31648 vsize=10748324 memory=444640 CPUtime=0.16 cores=0,2,4,6
/proc/31651/task/31654/stat : 31654 (java) S 31648 31651 29438 0 -1 1077944384 524 0 0 0 10 6 0 0 20 0 16 0 415029359 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517174491920 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31655] ppid=31648 vsize=10748324 memory=444640 CPUtime=0.15 cores=0,2,4,6
/proc/31651/task/31655/stat : 31655 (java) S 31648 31651 29438 0 -1 1077944384 329 0 0 0 10 5 0 0 20 0 16 0 415029359 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517173439376 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31656] ppid=31648 vsize=10748324 memory=444640 CPUtime=0.16 cores=0,2,4,6
/proc/31651/task/31656/stat : 31656 (java) S 31648 31651 29438 0 -1 1077944384 300 0 0 0 10 6 0 0 20 0 16 0 415029359 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517172386832 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31657] ppid=31648 vsize=10748324 memory=444640 CPUtime=0.15 cores=0,2,4,6
/proc/31651/task/31657/stat : 31657 (java) S 31648 31651 29438 0 -1 1077944384 253 0 0 0 9 6 0 0 20 0 16 0 415029359 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517171334288 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31658] ppid=31648 vsize=10748324 memory=444640 CPUtime=0.06 cores=0,2,4,6
/proc/31651/task/31658/stat : 31658 (java) S 31648 31651 29438 0 -1 1077944384 4638 0 0 0 3 3 0 0 20 0 16 0 415029360 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516351469552 140517248428674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31659] ppid=31648 vsize=10748324 memory=444640 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31659/stat : 31659 (java) S 31648 31651 29438 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415029360 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516350415840 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31660] ppid=31648 vsize=10748324 memory=444640 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31660/stat : 31660 (java) S 31648 31651 29438 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415029361 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516349363200 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31661] ppid=31648 vsize=10748324 memory=444640 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31661/stat : 31661 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516348311760 140517248436123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31662] ppid=31648 vsize=10748324 memory=444640 CPUtime=1.76 cores=0,2,4,6
/proc/31651/task/31662/stat : 31662 (java) S 31648 31651 29438 0 -1 1077944384 11732 0 0 0 174 2 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516347259376 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31663] ppid=31648 vsize=10748324 memory=1636 CPUtime=1.7 cores=0,2,4,6
/proc/31651/task/31663/stat : 31663 (java) S 31648 31651 29438 0 -1 1077944384 10877 0 0 0 169 1 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516346206832 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31664] ppid=31648 vsize=10748324 memory=920 CPUtime=0.78 cores=0,2,4,6
/proc/31651/task/31664/stat : 31664 (java) S 31648 31651 29438 0 -1 1077944384 12593 0 0 0 76 2 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516345154288 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31665] ppid=31648 vsize=10748324 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31665/stat : 31665 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516344101984 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31666] ppid=31648 vsize=10748324 memory=444640 CPUtime=0.69 cores=0,2,4,6
/proc/31651/task/31666/stat : 31666 (java) S 31648 31651 29438 0 -1 1077944384 1477 0 0 0 34 35 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516343048496 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31668] ppid=31648 vsize=10748324 memory=444640 CPUtime=2320.15 cores=0,2,4,6
/proc/31651/task/31668/stat : 31668 (java) R 31648 31651 29438 0 -1 4202560 20817 0 0 0 232011 4 0 0 20 0 16 0 415029547 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516325978528 140516857411635 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
Current children cumulated CPU time: 2327.72 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 444640 KiB

[startup+2382.3 s]
/proc/loadavg: 1.08 1.44 1.57 2/207 31938
/proc/meminfo: memFree=23949264/32770624 swapFree=67108848/67108860
[pid=31651] ppid=31648 vsize=10748324 memory=444640 CPUtime=2387.74 cores=0,2,4,6
/proc/31651/stat : 31651 (java) S 31648 31651 29438 0 -1 1077944320 79021 0 0 0 238712 62 0 0 20 0 16 0 415029357 11006283776 111160 33554432000 4194304 4196468 140728051157040 140728051139584 140517248417527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
/proc/31651/statm: 2687081 111160 3381 1 0 2647217 0
[pid=31651/tid=31653] ppid=31648 vsize=10748324 memory=444640 CPUtime=1.88 cores=0,2,4,6
/proc/31651/task/31653/stat : 31653 (java) S 31648 31651 29438 0 -1 1077944384 13942 0 0 0 183 5 0 0 20 0 16 0 415029358 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517252660400 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31654] ppid=31648 vsize=10748324 memory=444640 CPUtime=0.16 cores=0,2,4,6
/proc/31651/task/31654/stat : 31654 (java) S 31648 31651 29438 0 -1 1077944384 524 0 0 0 10 6 0 0 20 0 16 0 415029359 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517174491920 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31655] ppid=31648 vsize=10748324 memory=444640 CPUtime=0.15 cores=0,2,4,6
/proc/31651/task/31655/stat : 31655 (java) S 31648 31651 29438 0 -1 1077944384 329 0 0 0 10 5 0 0 20 0 16 0 415029359 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517173439376 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31656] ppid=31648 vsize=10748324 memory=444640 CPUtime=0.16 cores=0,2,4,6
/proc/31651/task/31656/stat : 31656 (java) S 31648 31651 29438 0 -1 1077944384 300 0 0 0 10 6 0 0 20 0 16 0 415029359 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517172386832 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31657] ppid=31648 vsize=10748324 memory=444640 CPUtime=0.15 cores=0,2,4,6
/proc/31651/task/31657/stat : 31657 (java) S 31648 31651 29438 0 -1 1077944384 253 0 0 0 9 6 0 0 20 0 16 0 415029359 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517171334288 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31658] ppid=31648 vsize=10748324 memory=40084 CPUtime=0.06 cores=0,2,4,6
/proc/31651/task/31658/stat : 31658 (java) S 31648 31651 29438 0 -1 1077944384 4645 0 0 0 3 3 0 0 20 0 16 0 415029360 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516351469552 140517248428674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31659] ppid=31648 vsize=10748324 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31659/stat : 31659 (java) S 31648 31651 29438 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415029360 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516350415840 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31660] ppid=31648 vsize=10748324 memory=56 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31660/stat : 31660 (java) S 31648 31651 29438 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415029361 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516349363200 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31661] ppid=31648 vsize=10748324 memory=7588994458169224338 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31661/stat : 31661 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516348311760 140517248436123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31662] ppid=31648 vsize=10748324 memory=444640 CPUtime=1.76 cores=0,2,4,6
/proc/31651/task/31662/stat : 31662 (java) S 31648 31651 29438 0 -1 1077944384 11740 0 0 0 174 2 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516347259376 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31663] ppid=31648 vsize=10748324 memory=444640 CPUtime=1.7 cores=0,2,4,6
/proc/31651/task/31663/stat : 31663 (java) S 31648 31651 29438 0 -1 1077944384 10880 0 0 0 169 1 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516346206832 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31664] ppid=31648 vsize=10748324 memory=812 CPUtime=0.78 cores=0,2,4,6
/proc/31651/task/31664/stat : 31664 (java) S 31648 31651 29438 0 -1 1077944384 12595 0 0 0 76 2 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516345154288 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31665] ppid=31648 vsize=10748324 memory=444640 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31665/stat : 31665 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516344101984 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31666] ppid=31648 vsize=10748324 memory=1840 CPUtime=0.71 cores=0,2,4,6
/proc/31651/task/31666/stat : 31666 (java) S 31648 31651 29438 0 -1 1077944384 1508 0 0 0 35 36 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516343048496 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31668] ppid=31648 vsize=10748324 memory=1384 CPUtime=2380.15 cores=0,2,4,6
/proc/31651/task/31668/stat : 31668 (java) R 31648 31651 29438 0 -1 4202560 20886 0 0 0 238011 4 0 0 20 0 16 0 415029547 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516325978528 140516857411588 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
Current children cumulated CPU time: 2387.74 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 444640 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2394.6 s]
/proc/loadavg: 1.07 1.42 1.57 2/208 31940
/proc/meminfo: memFree=23949236/32770624 swapFree=67108848/67108860
[pid=31651] ppid=31648 vsize=10748324 memory=444640 CPUtime=2400.05 cores=0,2,4,6
/proc/31651/stat : 31651 (java) S 31648 31651 29438 0 -1 1077944320 79099 0 0 0 239943 62 0 0 20 0 16 0 415029357 11006283776 111160 33554432000 4194304 4196468 140728051157040 140728051139584 140517248417527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
/proc/31651/statm: 2687081 111160 3381 1 0 2647217 0
[pid=31651/tid=31653] ppid=31648 vsize=10748324 memory=4104 CPUtime=1.88 cores=0,2,4,6
/proc/31651/task/31653/stat : 31653 (java) S 31648 31651 29438 0 -1 1077944384 13942 0 0 0 183 5 0 0 20 0 16 0 415029358 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517252660400 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31654] ppid=31648 vsize=10748324 memory=2612 CPUtime=0.16 cores=0,2,4,6
/proc/31651/task/31654/stat : 31654 (java) S 31648 31651 29438 0 -1 1077944384 524 0 0 0 10 6 0 0 20 0 16 0 415029359 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517174491920 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31655] ppid=31648 vsize=10748324 memory=1408 CPUtime=0.15 cores=0,2,4,6
/proc/31651/task/31655/stat : 31655 (java) S 31648 31651 29438 0 -1 1077944384 329 0 0 0 10 5 0 0 20 0 16 0 415029359 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517173439376 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31656] ppid=31648 vsize=10748324 memory=3324 CPUtime=0.16 cores=0,2,4,6
/proc/31651/task/31656/stat : 31656 (java) S 31648 31651 29438 0 -1 1077944384 300 0 0 0 10 6 0 0 20 0 16 0 415029359 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517172386832 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31657] ppid=31648 vsize=10748324 memory=444640 CPUtime=0.15 cores=0,2,4,6
/proc/31651/task/31657/stat : 31657 (java) S 31648 31651 29438 0 -1 1077944384 253 0 0 0 9 6 0 0 20 0 16 0 415029359 11006283776 111160 33554432000 4194304 4196468 140728051157040 140517171334288 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31658] ppid=31648 vsize=10748324 memory=444640 CPUtime=0.06 cores=0,2,4,6
/proc/31651/task/31658/stat : 31658 (java) S 31648 31651 29438 0 -1 1077944384 4645 0 0 0 3 3 0 0 20 0 16 0 415029360 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516351469552 140517248428674 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31659] ppid=31648 vsize=10748324 memory=2352 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31659/stat : 31659 (java) S 31648 31651 29438 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415029360 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516350415840 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31660] ppid=31648 vsize=10748324 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31660/stat : 31660 (java) S 31648 31651 29438 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415029361 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516349363200 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31661] ppid=31648 vsize=10748324 memory=8612 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31661/stat : 31661 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516348311760 140517248436123 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31662] ppid=31648 vsize=10748324 memory=1192 CPUtime=1.76 cores=0,2,4,6
/proc/31651/task/31662/stat : 31662 (java) S 31648 31651 29438 0 -1 1077944384 11740 0 0 0 174 2 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516347259376 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31663] ppid=31648 vsize=10748324 memory=5536 CPUtime=1.7 cores=0,2,4,6
/proc/31651/task/31663/stat : 31663 (java) S 31648 31651 29438 0 -1 1077944384 10880 0 0 0 169 1 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516346206832 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31664] ppid=31648 vsize=10748324 memory=4540 CPUtime=0.78 cores=0,2,4,6
/proc/31651/task/31664/stat : 31664 (java) S 31648 31651 29438 0 -1 1077944384 12595 0 0 0 76 2 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516345154288 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31665] ppid=31648 vsize=10748324 memory=752 CPUtime=0 cores=0,2,4,6
/proc/31651/task/31665/stat : 31665 (java) S 31648 31651 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516344101984 140517248427733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31666] ppid=31648 vsize=10748324 memory=1636 CPUtime=0.71 cores=0,2,4,6
/proc/31651/task/31666/stat : 31666 (java) S 31648 31651 29438 0 -1 1077944384 1508 0 0 0 35 36 0 0 20 0 16 0 415029363 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516343048496 140517248428674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
[pid=31651/tid=31668] ppid=31648 vsize=10748324 memory=812 CPUtime=2392.45 cores=0,2,4,6
/proc/31651/task/31668/stat : 31668 (java) R 31648 31651 29438 0 -1 4202560 20964 0 0 0 239241 4 0 0 20 0 16 0 415029547 11006283776 111160 33554432000 4194304 4196468 140728051157040 140516325978528 140516857411614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26009600 140728051164171 140728051164274 140728051164274 140728051167183 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 444640 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2394.61 s]
# the end of solver process 31651 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.44 s, system=0.633117 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2394.61
CPU time (s): 2400.07
CPU user time (s): 2399.44
CPU system time (s): 0.633117
CPU usage (%): 100.228
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 444640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.44
system time used= 0.633117
maximum resident set size= 445136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55523
involuntary context switches= 864


# summary of solver processes directly reported to runsolver:
#   pid: 31651
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2399.44
#   total CPU system time (s): 0.633117

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2154 second user time and 23.1261 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-13 18:07:59
IDJOB=4391290
IDBENCH=137043
IDSOLVER=2833
FILE ID=node143/4391290-1568390920
RUNJOBID= node143-1568390530-31342
PBS_JOBID= 21701827
Free space on /tmp= 58844 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-fu/BinPacking-tab-fu0120-04.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391290-1568390920/watcher-4391290-1568390920 -o /tmp/evaluation-result-4391290-1568390920/solver-4391290-1568390920 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568390530-31342 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391290-1568390920.xml -cm

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2e923e7e276bbb1d78c8186edf745710
RANDOM SEED=764209293

node143.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.73
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.73
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.73
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.73
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:        23733276 kB
MemAvailable:   31358164 kB
Buffers:          185072 kB
Cached:          7725720 kB
SwapCached:            8 kB
Active:          2626196 kB
Inactive:        5735708 kB
Active(anon):     404960 kB
Inactive(anon):   145852 kB
Active(file):    2221236 kB
Inactive(file):  5589856 kB
Unevictable:      106448 kB
Mlocked:          106448 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:              9076 kB
Writeback:             0 kB
AnonPages:        693020 kB
Mapped:            60596 kB
Shmem:             90756 kB
Slab:             271188 kB
SReclaimable:     242256 kB
SUnreclaim:        28932 kB
KernelStack:        4080 kB
PageTables:         7064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1352248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    546816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 59264 MiB
End job on node143 at 2019-09-13 18:47:54