Trace number 4390825

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-23OPT55 97.4842 94.9843

DiagnosticValue
WRONG_DECISIONS58559

General information on the benchmark

NameGolombRuler/
GolombRuler-a3v18-nodv-10_c18.xml
MD5SUM769ec0f26c47f1b96bb609b2e4d8d5d6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark31.0004
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of constraints46
Number of domains2
Minimum domain size100
Maximum domain size101
Distribution of domain sizes[{"size":100,"count":45},{"size":101,"count":10}]
Minimum variable degree0
Maximum variable degree10
Distribution of variable degrees[{"degree":0,"count":55},{"degree":2,"count":45},{"degree":9,"count":9},{"degree":10,"count":1}]
Minimum constraint arity3
Maximum constraint arity45
Distribution of constraint arities[{"arity":3,"count":45},{"arity":45,"count":1}]
Number of extensional constraints0
Number of intensional constraints45
Distribution of constraint types[{"type":"intension","count":45},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin 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.43/1.87	
2.43/1.87	AbsCon 2 
2.43/1.89	
2.65/2.01	  Instance
2.65/2.01	    name=instance-4390825-1568387170, framework=COP, bounds=-infty..+infty
2.65/2.01	
2.65/2.01	  Loading variables...
2.92/2.03	  Loading constraints...
3.15/2.12	
3.15/2.12	  Domains
3.15/2.12	    nTypes=2, nValues=5510, sizes=[100#45,101#10]
3.15/2.12	  Variables
3.15/2.12	    count=55, degrees=[2#45,9#9,10#1]
3.15/2.12	  Objectives
3.15/2.12	    way=min, type=ObjVarLE
3.15/2.12	  Constraints
3.15/2.12	    count=47, nSpecific=2, arities=[1#1,3#45,45#1]
3.15/2.12	    distribution=[AllDifferent#1,CtrIntension#45,ObjVarLE#1]
3.15/2.12	    nIntStructures=(1,shared:44)
3.15/2.12	    wck=0.276, cpu=2.08, mem=21M227
3.15/2.12	  Solver SolverBacktrack being built...
3.15/2.12	
3.15/2.14	
3.15/2.14	  Solver
3.15/2.14	    guaranteedGAC=true
3.15/2.14	    wck=0.304, cpu=2.107, mem=31M870
3.74/2.50	
3.74/2.50	  Preprocessing
3.74/2.50	    filters=111, revisions=(488,useless=303), ccks=3513028, nACremovedValues=330, nTotalRemovedValues=330, inconcistency=false
3.74/2.50	    wck=0.359, cpu=2.467, mem=31M870
3.74/2.50	
4.46/3.02	o 80
4.46/3.03	    num=0, depth=56..54, filters=740, revisions=(1752,useless=813), ccks=8885719, wck=0.887, mem=34M512
4.46/3.03	    decisions=10, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=80
4.46/3.03	    
5.29/3.80	o 78
5.29/3.80	    num=1, depth=8..54, filters=1389, revisions=(3516,useless=1750), ccks=18228139, wck=1.661, mem=34M512
5.29/3.80	    decisions=21, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=2, bestBound=78
5.29/3.80	    
6.47/4.94	    num=2, depth=0..2, filters=2717, revisions=(8336,useless=4440), ccks=31170513, wck=2.8, mem=37M155
6.47/4.94	    decisions=47, wrong=13, backtracks=1, failedAssignments=12, nogoods=10, foundSolutions=2, bestBound=78
6.47/4.94	    
6.68/5.16	    num=3, depth=0..0, filters=3285, revisions=(10399,useless=5568), ccks=33685737, wck=3.02, mem=37M155
6.68/5.16	    decisions=69, wrong=24, backtracks=1, failedAssignments=23, nogoods=10, foundSolutions=2, bestBound=78
6.68/5.16	    
7.50/5.98	    num=4, depth=0..0, filters=3909, revisions=(12811,useless=6924), ccks=43380306, wck=3.838, mem=39M797
7.50/5.98	    decisions=93, wrong=36, backtracks=1, failedAssignments=35, nogoods=10, foundSolutions=2, bestBound=78
7.50/5.98	    
8.20/6.64	    num=5, depth=0..2, filters=4434, revisions=(14522,useless=7858), ccks=51240878, wck=4.498, mem=39M797
8.20/6.64	    decisions=121, wrong=49, backtracks=1, failedAssignments=48, nogoods=18, foundSolutions=2, bestBound=78
8.20/6.64	    
8.51/6.99	    num=6, depth=0..0, filters=5211, revisions=(16812,useless=8993), ccks=55350824, wck=4.851, mem=42M439
8.51/6.99	    decisions=149, wrong=63, backtracks=1, failedAssignments=62, nogoods=18, foundSolutions=2, bestBound=78
8.51/6.99	    
9.11/7.59	    num=7, depth=0..3, filters=6041, revisions=(19062,useless=10110), ccks=62390349, wck=5.447, mem=42M439
9.11/7.59	    decisions=184, wrong=79, backtracks=1, failedAssignments=78, nogoods=26, foundSolutions=2, bestBound=78
9.11/7.59	    
9.53/7.98	    num=8, depth=1..4, filters=7173, revisions=(22110,useless=11689), ccks=66883383, wck=5.833, mem=45M82
9.53/7.98	    decisions=222, wrong=96, backtracks=1, failedAssignments=95, nogoods=43, foundSolutions=2, bestBound=78
9.53/7.98	    
9.85/8.26	    num=9, depth=0..1, filters=8180, revisions=(24697,useless=13006), ccks=70177002, wck=6.117, mem=45M82
9.85/8.26	    decisions=261, wrong=115, backtracks=1, failedAssignments=114, nogoods=51, foundSolutions=2, bestBound=78
9.85/8.26	    
10.05/8.45	o 74
10.05/8.45	    num=10, depth=0..54, filters=9045, revisions=(26595,useless=13913), ccks=72386277, wck=6.31, mem=45M82
10.05/8.45	    decisions=286, wrong=125, backtracks=2, failedAssignments=123, nogoods=53, foundSolutions=3, bestBound=74
10.05/8.45	    
10.36/8.79	o 72
10.36/8.79	    num=11, depth=1..54, filters=10780, revisions=(30890,useless=16122), ccks=76230806, wck=6.648, mem=47M724
10.36/8.79	    decisions=339, wrong=147, backtracks=5, failedAssignments=142, nogoods=65, foundSolutions=4, bestBound=72
10.36/8.79	    
10.70/9.05	    num=12, depth=1..2, filters=11588, revisions=(33103,useless=17286), ccks=79272067, wck=6.913, mem=47M724
10.70/9.05	    decisions=363, wrong=158, backtracks=5, failedAssignments=153, nogoods=76, foundSolutions=4, bestBound=72
10.70/9.05	    
10.80/9.11	    num=13, depth=2..5, filters=12381, revisions=(34674,useless=17947), ccks=79918741, wck=6.973, mem=47M724
10.80/9.11	    decisions=390, wrong=170, backtracks=6, failedAssignments=164, nogoods=87, foundSolutions=4, bestBound=72
10.80/9.11	    
10.99/9.35	    num=14, depth=0..2, filters=13127, revisions=(36699,useless=19008), ccks=82625557, wck=7.207, mem=50M367
10.99/9.35	    decisions=417, wrong=183, backtracks=7, failedAssignments=176, nogoods=91, foundSolutions=4, bestBound=72
10.99/9.35	    
11.19/9.54	    num=15, depth=0..3, filters=14190, revisions=(39332,useless=20298), ccks=84836818, wck=7.402, mem=50M367
11.19/9.54	    decisions=449, wrong=198, backtracks=9, failedAssignments=189, nogoods=95, foundSolutions=4, bestBound=72
11.19/9.54	    
11.29/9.64	    num=16, depth=1..4, filters=15205, revisions=(41542,useless=21362), ccks=85893652, wck=7.499, mem=50M367
11.29/9.64	    decisions=486, wrong=215, backtracks=12, failedAssignments=203, nogoods=103, foundSolutions=4, bestBound=72
11.29/9.64	    
11.39/9.74	    num=17, depth=0..3, filters=16576, revisions=(44592,useless=22877), ccks=87004874, wck=7.604, mem=50M367
11.39/9.74	    decisions=531, wrong=237, backtracks=20, failedAssignments=219, nogoods=104, foundSolutions=4, bestBound=72
11.39/9.74	    
11.49/9.83	    num=18, depth=1..3, filters=18180, revisions=(47766,useless=24303), ccks=87883995, wck=7.688, mem=53M9
11.49/9.83	    decisions=576, wrong=259, backtracks=25, failedAssignments=236, nogoods=116, foundSolutions=4, bestBound=72
11.49/9.83	    
11.60/9.96	    num=19, depth=0..4, filters=19797, revisions=(51409,useless=26105), ccks=89225976, wck=7.814, mem=53M9
11.60/9.96	    decisions=629, wrong=284, backtracks=33, failedAssignments=255, nogoods=120, foundSolutions=4, bestBound=72
11.60/9.96	    
11.72/10.03	o 71
11.72/10.03	    num=20, depth=0..54, filters=20583, revisions=(52998,useless=26808), ccks=90044260, wck=7.889, mem=53M9
11.72/10.03	    decisions=651, wrong=293, backtracks=35, failedAssignments=262, nogoods=122, foundSolutions=5, bestBound=71
11.72/10.03	    
12.22/10.59	    num=21, depth=1..4, filters=22662, revisions=(58702,useless=29987), ccks=96478160, wck=8.447, mem=53M9
12.22/10.59	    decisions=717, wrong=325, backtracks=44, failedAssignments=285, nogoods=141, foundSolutions=5, bestBound=71
12.22/10.59	    
12.33/10.66	    num=22, depth=0..4, filters=23515, revisions=(60447,useless=30771), ccks=97206229, wck=8.515, mem=55M652
12.33/10.66	    decisions=745, wrong=337, backtracks=45, failedAssignments=296, nogoods=149, foundSolutions=5, bestBound=71
12.33/10.66	    
12.45/10.71	    num=23, depth=5..6, filters=24620, revisions=(62313,useless=31408), ccks=97649981, wck=8.57, mem=55M652
12.45/10.71	    decisions=779, wrong=351, backtracks=47, failedAssignments=308, nogoods=157, foundSolutions=5, bestBound=71
12.45/10.71	    
12.45/10.79	    num=24, depth=1..3, filters=25605, revisions=(64426,useless=32369), ccks=98475595, wck=8.648, mem=55M652
12.45/10.79	    decisions=813, wrong=367, backtracks=50, failedAssignments=321, nogoods=161, foundSolutions=5, bestBound=71
12.45/10.79	    
12.55/10.85	    num=25, depth=1..4, filters=26588, revisions=(66399,useless=33242), ccks=99082786, wck=8.704, mem=55M652
12.55/10.85	    decisions=851, wrong=384, backtracks=53, failedAssignments=335, nogoods=174, foundSolutions=5, bestBound=71
12.55/10.85	    
12.65/10.94	    num=26, depth=1..4, filters=27963, revisions=(69572,useless=34777), ccks=100003630, wck=8.794, mem=55M652
12.65/10.94	    decisions=896, wrong=405, backtracks=58, failedAssignments=351, nogoods=185, foundSolutions=5, bestBound=71
12.65/10.94	    
12.65/10.98	o 65
12.65/10.98	    num=27, depth=2..54, filters=28725, revisions=(71090,useless=35443), ccks=100517714, wck=8.842, mem=55M652
12.65/10.98	    decisions=918, wrong=414, backtracks=61, failedAssignments=357, nogoods=188, foundSolutions=6, bestBound=65
12.65/10.98	    
12.96/11.21	    num=28, depth=1..5, filters=30517, revisions=(75230,useless=37505), ccks=103060741, wck=9.069, mem=58M294
12.96/11.21	    decisions=973, wrong=439, backtracks=67, failedAssignments=376, nogoods=203, foundSolutions=6, bestBound=65
12.96/11.21	    
12.96/11.27	    num=29, depth=1..4, filters=31599, revisions=(77714,useless=38795), ccks=103670017, wck=9.131, mem=58M294
12.96/11.27	    decisions=1002, wrong=453, backtracks=70, failedAssignments=387, nogoods=214, foundSolutions=6, bestBound=65
12.96/11.27	    
13.21/11.42	    num=30, depth=2..3, filters=32397, revisions=(80133,useless=40121), ccks=105343273, wck=9.279, mem=58M294
13.21/11.42	    decisions=1030, wrong=466, backtracks=71, failedAssignments=399, nogoods=226, foundSolutions=6, bestBound=65
13.21/11.42	    
13.21/11.50	    num=31, depth=1..4, filters=33678, revisions=(82872,useless=41407), ccks=106126162, wck=9.355, mem=58M294
13.21/11.50	    decisions=1070, wrong=485, backtracks=79, failedAssignments=412, nogoods=234, foundSolutions=6, bestBound=65
13.21/11.50	    
13.31/11.57	    num=32, depth=1..3, filters=34260, revisions=(84280,useless=42121), ccks=106879243, wck=9.424, mem=58M294
13.31/11.57	    decisions=1100, wrong=499, backtracks=79, failedAssignments=426, nogoods=248, foundSolutions=6, bestBound=65
13.31/11.57	    
13.41/11.65	    num=33, depth=1..4, filters=36129, revisions=(88461,useless=44141), ccks=107709129, wck=9.51, mem=60M936
13.41/11.65	    decisions=1151, wrong=523, backtracks=88, failedAssignments=442, nogoods=253, foundSolutions=6, bestBound=65
13.41/11.65	    
13.51/11.75	    num=34, depth=0..5, filters=37866, revisions=(92022,useless=45765), ccks=108723601, wck=9.607, mem=60M936
13.51/11.75	    decisions=1202, wrong=547, backtracks=98, failedAssignments=459, nogoods=255, foundSolutions=6, bestBound=65
13.51/11.75	    
13.61/11.88	    num=35, depth=0..5, filters=39890, revisions=(96252,useless=47748), ccks=110078704, wck=9.735, mem=60M936
13.61/11.88	    decisions=1257, wrong=573, backtracks=106, failedAssignments=478, nogoods=261, foundSolutions=6, bestBound=65
13.61/11.88	    
13.72/11.96	    num=36, depth=1..4, filters=41634, revisions=(99873,useless=49403), ccks=110920263, wck=9.819, mem=60M936
13.72/11.96	    decisions=1320, wrong=604, backtracks=117, failedAssignments=499, nogoods=266, foundSolutions=6, bestBound=65
13.72/11.96	    
13.72/12.00	    num=37, depth=2..4, filters=43227, revisions=(102918,useless=50738), ccks=111307861, wck=9.859, mem=63M579
13.72/12.00	    decisions=1381, wrong=633, backtracks=124, failedAssignments=522, nogoods=275, foundSolutions=6, bestBound=65
13.72/12.00	    
13.84/12.09	    num=38, depth=1..5, filters=45841, revisions=(108167,useless=53152), ccks=112192363, wck=9.952, mem=63M579
13.84/12.09	    decisions=1457, wrong=670, backtracks=136, failedAssignments=547, nogoods=281, foundSolutions=6, bestBound=65
13.84/12.09	    
13.94/12.17	    num=39, depth=1..4, filters=47569, revisions=(112033,useless=55046), ccks=112956487, wck=10.031, mem=63M579
13.94/12.17	    decisions=1531, wrong=706, backtracks=144, failedAssignments=575, nogoods=288, foundSolutions=6, bestBound=65
13.94/12.17	    
14.03/12.25	    num=40, depth=2..3, filters=48920, revisions=(114782,useless=56290), ccks=113753213, wck=10.106, mem=63M579
14.03/12.25	    decisions=1600, wrong=739, backtracks=146, failedAssignments=606, nogoods=303, foundSolutions=6, bestBound=65
14.03/12.25	    
14.28/12.41	    num=41, depth=0..2, filters=50649, revisions=(118653,useless=58231), ccks=115504845, wck=10.268, mem=66M221
14.28/12.41	    decisions=1677, wrong=777, backtracks=150, failedAssignments=640, nogoods=314, foundSolutions=6, bestBound=65
14.28/12.41	    
14.38/12.56	    num=42, depth=1..5, filters=53894, revisions=(125522,useless=61447), ccks=116967078, wck=10.416, mem=66M221
14.38/12.56	    decisions=1791, wrong=833, backtracks=172, failedAssignments=677, nogoods=328, foundSolutions=6, bestBound=65
14.38/12.56	    
14.48/12.64	    num=43, depth=2..5, filters=56311, revisions=(130242,useless=63497), ccks=117770987, wck=10.499, mem=66M221
14.48/12.64	    decisions=1892, wrong=882, backtracks=182, failedAssignments=718, nogoods=343, foundSolutions=6, bestBound=65
14.48/12.64	    
14.58/12.77	    num=44, depth=0..6, filters=59078, revisions=(136025,useless=66233), ccks=119020940, wck=10.625, mem=68M864
14.58/12.77	    decisions=2011, wrong=939, backtracks=196, failedAssignments=763, nogoods=354, foundSolutions=6, bestBound=65
14.58/12.77	    
14.69/12.81	    num=45, depth=2..4, filters=62364, revisions=(142199,useless=68891), ccks=119390738, wck=10.671, mem=68M864
14.69/12.81	    decisions=2148, wrong=1006, backtracks=214, failedAssignments=813, nogoods=364, foundSolutions=6, bestBound=65
14.69/12.81	    
14.80/12.94	    num=46, depth=1..5, filters=65935, revisions=(149735,useless=72467), ccks=120588104, wck=10.799, mem=68M864
14.80/12.94	    decisions=2289, wrong=1075, backtracks=230, failedAssignments=868, nogoods=378, foundSolutions=6, bestBound=65
14.80/12.94	    
15.01/13.13	    num=47, depth=0..4, filters=70460, revisions=(159544,useless=77187), ccks=122449776, wck=10.99, mem=71M506
15.01/13.13	    decisions=2448, wrong=1153, backtracks=249, failedAssignments=929, nogoods=395, foundSolutions=6, bestBound=65
15.01/13.13	    
15.10/13.22	    num=48, depth=2..5, filters=74867, revisions=(167713,useless=80504), ccks=123253692, wck=11.08, mem=71M506
15.10/13.22	    decisions=2622, wrong=1238, backtracks=268, failedAssignments=996, nogoods=406, foundSolutions=6, bestBound=65
15.10/13.22	    
15.30/13.40	    num=49, depth=1..4, filters=79697, revisions=(178135,useless=85483), ccks=124902760, wck=11.256, mem=74M149
15.30/13.40	    decisions=2813, wrong=1332, backtracks=288, failedAssignments=1070, nogoods=420, foundSolutions=6, bestBound=65
15.30/13.40	    
15.40/13.56	    num=50, depth=1..5, filters=84827, revisions=(188418,useless=89983), ccks=126491101, wck=11.422, mem=74M149
15.40/13.56	    decisions=3014, wrong=1431, backtracks=310, failedAssignments=1151, nogoods=428, foundSolutions=6, bestBound=65
15.40/13.56	    
15.70/13.83	    num=51, depth=0..5, filters=92298, revisions=(205180,useless=98179), ccks=129015087, wck=11.685, mem=76M791
15.70/13.83	    decisions=3260, wrong=1553, backtracks=346, failedAssignments=1240, nogoods=439, foundSolutions=6, bestBound=65
15.70/13.83	    
15.91/14.08	    num=52, depth=1..5, filters=99729, revisions=(220503,useless=105338), ccks=131335078, wck=11.936, mem=79M434
15.91/14.08	    decisions=3522, wrong=1683, backtracks=385, failedAssignments=1338, nogoods=455, foundSolutions=6, bestBound=65
15.91/14.08	    
16.14/14.21	    num=53, depth=2..6, filters=107788, revisions=(235557,useless=111608), ccks=132407220, wck=12.069, mem=82M76
16.14/14.21	    decisions=3813, wrong=1826, backtracks=423, failedAssignments=1446, nogoods=470, foundSolutions=6, bestBound=65
16.14/14.21	    
16.14/14.25	o 63
16.14/14.25	    num=54, depth=2..54, filters=111337, revisions=(242076,useless=114333), ccks=132738708, wck=12.112, mem=82M76
16.14/14.25	    decisions=3957, wrong=1896, backtracks=446, failedAssignments=1493, nogoods=479, foundSolutions=7, bestBound=63
16.14/14.25	    
16.64/14.76	    num=55, depth=1..6, filters=121258, revisions=(264354,useless=124733), ccks=137805606, wck=12.618, mem=84M718
16.64/14.76	    decisions=4299, wrong=2065, backtracks=484, failedAssignments=1624, nogoods=495, foundSolutions=7, bestBound=63
16.64/14.76	    
16.84/14.92	    num=56, depth=0..3, filters=122107, revisions=(266638,useless=125971), ccks=139584244, wck=12.776, mem=84M718
16.84/14.92	    decisions=4324, wrong=2076, backtracks=484, failedAssignments=1635, nogoods=504, foundSolutions=7, bestBound=63
16.84/14.92	    
16.84/14.97	    num=57, depth=1..3, filters=123104, revisions=(268699,useless=126929), ccks=140077741, wck=12.826, mem=87M361
16.84/14.97	    decisions=4356, wrong=2091, backtracks=487, failedAssignments=1647, nogoods=506, foundSolutions=7, bestBound=63
16.84/14.97	    
16.95/15.01	    num=58, depth=3..4, filters=123889, revisions=(270330,useless=127654), ccks=140530027, wck=12.869, mem=87M361
16.95/15.01	    decisions=4388, wrong=2105, backtracks=488, failedAssignments=1660, nogoods=516, foundSolutions=7, bestBound=63
16.95/15.01	    
16.95/15.07	    num=59, depth=1..4, filters=124927, revisions=(272666,useless=128759), ccks=141096087, wck=12.926, mem=87M361
16.95/15.07	    decisions=4427, wrong=2123, backtracks=492, failedAssignments=1674, nogoods=520, foundSolutions=7, bestBound=63
16.95/15.07	    
17.05/15.17	    num=60, depth=1..4, filters=126230, revisions=(275659,useless=130255), ccks=142136542, wck=13.024, mem=87M361
17.05/15.17	    decisions=4467, wrong=2141, backtracks=494, failedAssignments=1690, nogoods=528, foundSolutions=7, bestBound=63
17.05/15.17	    
17.05/15.19	    num=61, depth=1..3, filters=127679, revisions=(278572,useless=131620), ccks=142386893, wck=13.053, mem=87M361
17.05/15.19	    decisions=4520, wrong=2167, backtracks=503, failedAssignments=1707, nogoods=530, foundSolutions=7, bestBound=63
17.05/15.19	    
17.14/15.25	    num=62, depth=2..5, filters=129404, revisions=(281937,useless=133070), ccks=142940523, wck=13.112, mem=87M361
17.14/15.25	    decisions=4573, wrong=2192, backtracks=509, failedAssignments=1726, nogoods=543, foundSolutions=7, bestBound=63
17.14/15.25	    
17.24/15.33	    num=63, depth=2..3, filters=130673, revisions=(284893,useless=134524), ccks=143667600, wck=13.184, mem=90M3
17.24/15.33	    decisions=4619, wrong=2214, backtracks=510, failedAssignments=1747, nogoods=555, foundSolutions=7, bestBound=63
17.24/15.33	    
17.34/15.40	    num=64, depth=1..3, filters=132379, revisions=(288542,useless=136167), ccks=144437697, wck=13.262, mem=90M3
17.34/15.40	    decisions=4681, wrong=2244, backtracks=517, failedAssignments=1770, nogoods=557, foundSolutions=7, bestBound=63
17.34/15.40	    
17.34/15.43	    num=65, depth=1..3, filters=134344, revisions=(292588,useless=138091), ccks=144690440, wck=13.293, mem=90M3
17.34/15.43	    decisions=4749, wrong=2277, backtracks=525, failedAssignments=1795, nogoods=568, foundSolutions=7, bestBound=63
17.34/15.43	    
17.45/15.52	    num=66, depth=1..4, filters=136606, revisions=(297112,useless=140159), ccks=145514718, wck=13.379, mem=90M3
17.45/15.52	    decisions=4833, wrong=2318, backtracks=539, failedAssignments=1823, nogoods=573, foundSolutions=7, bestBound=63
17.45/15.52	    
17.65/15.76	    num=67, depth=1..4, filters=138940, revisions=(303426,useless=143500), ccks=148113053, wck=13.618, mem=92M646
17.65/15.76	    decisions=4909, wrong=2355, backtracks=545, failedAssignments=1854, nogoods=596, foundSolutions=7, bestBound=63
17.65/15.76	    
17.75/15.82	    num=68, depth=1..4, filters=140979, revisions=(307786,useless=145596), ccks=148732384, wck=13.683, mem=92M646
17.75/15.82	    decisions=4989, wrong=2394, backtracks=551, failedAssignments=1888, nogoods=605, foundSolutions=7, bestBound=63
17.75/15.82	    
17.85/15.92	    num=69, depth=1..4, filters=143411, revisions=(312931,useless=148050), ccks=149668162, wck=13.778, mem=92M646
17.85/15.92	    decisions=5083, wrong=2439, backtracks=559, failedAssignments=1925, nogoods=610, foundSolutions=7, bestBound=63
17.85/15.92	    
17.96/16.02	    num=70, depth=0..5, filters=146557, revisions=(319364,useless=150975), ccks=150568316, wck=13.876, mem=95M288
17.96/16.02	    decisions=5200, wrong=2496, backtracks=575, failedAssignments=1966, nogoods=617, foundSolutions=7, bestBound=63
17.96/16.02	    
17.96/16.08	    num=71, depth=3..5, filters=149928, revisions=(325804,useless=153675), ccks=151093734, wck=13.939, mem=95M288
17.96/16.08	    decisions=5326, wrong=2557, backtracks=592, failedAssignments=2011, nogoods=631, foundSolutions=7, bestBound=63
17.96/16.08	    
18.06/16.14	    num=72, depth=3..5, filters=154102, revisions=(333162,useless=156436), ccks=151544287, wck=13.998, mem=95M288
18.06/16.14	    decisions=5473, wrong=2629, backtracks=614, failedAssignments=2061, nogoods=640, foundSolutions=7, bestBound=63
18.06/16.14	    
18.15/16.23	    num=73, depth=2..5, filters=157690, revisions=(340083,useless=159341), ccks=152317232, wck=14.086, mem=97M931
18.15/16.23	    decisions=5615, wrong=2699, backtracks=629, failedAssignments=2116, nogoods=643, foundSolutions=7, bestBound=63
18.15/16.23	    
18.35/16.42	    num=74, depth=0..4, filters=162343, revisions=(350483,useless=164051), ccks=154169669, wck=14.278, mem=97M931
18.35/16.42	    decisions=5773, wrong=2777, backtracks=646, failedAssignments=2177, nogoods=653, foundSolutions=7, bestBound=63
18.35/16.42	    
18.45/16.54	    num=75, depth=1..3, filters=166580, revisions=(359579,useless=168573), ccks=155222490, wck=14.396, mem=100M573
18.45/16.54	    decisions=5957, wrong=2868, backtracks=670, failedAssignments=2244, nogoods=676, foundSolutions=7, bestBound=63
18.45/16.54	    
18.55/16.69	    num=76, depth=2..4, filters=171366, revisions=(369999,useless=173429), ccks=156630832, wck=14.55, mem=100M573
18.55/16.69	    decisions=6136, wrong=2956, backtracks=685, failedAssignments=2318, nogoods=707, foundSolutions=7, bestBound=63
18.55/16.69	    
18.75/16.85	    num=77, depth=1..4, filters=177492, revisions=(383187,useless=179804), ccks=157949129, wck=14.705, mem=103M215
18.75/16.85	    decisions=6371, wrong=3073, backtracks=721, failedAssignments=2399, nogoods=717, foundSolutions=7, bestBound=63
18.75/16.85	    
18.85/16.93	o 62
18.85/16.93	    num=78, depth=2..54, filters=182012, revisions=(391650,useless=183330), ccks=158639288, wck=14.787, mem=103M215
18.85/16.93	    decisions=6538, wrong=3154, backtracks=740, failedAssignments=2462, nogoods=731, foundSolutions=8, bestBound=62
18.85/16.93	    
19.16/17.24	    num=79, depth=2..5, filters=187318, revisions=(403871,useless=189115), ccks=161774182, wck=15.096, mem=105M858
19.16/17.24	    decisions=6763, wrong=3265, backtracks=753, failedAssignments=2560, nogoods=759, foundSolutions=8, bestBound=62
19.16/17.24	    
19.16/17.28	    num=80, depth=1..4, filters=188491, revisions=(406171,useless=190142), ccks=162184859, wck=15.138, mem=105M858
19.16/17.28	    decisions=6793, wrong=3279, backtracks=756, failedAssignments=2571, nogoods=766, foundSolutions=8, bestBound=62
19.16/17.28	    
19.26/17.32	    num=81, depth=3..5, filters=189456, revisions=(408095,useless=190973), ccks=162572534, wck=15.177, mem=108M500
19.26/17.32	    decisions=6829, wrong=3295, backtracks=760, failedAssignments=2583, nogoods=777, foundSolutions=8, bestBound=62
19.26/17.32	    
19.26/17.37	    num=82, depth=0..3, filters=190425, revisions=(410317,useless=192093), ccks=163141780, wck=15.233, mem=108M500
19.26/17.37	    decisions=6863, wrong=3311, backtracks=763, failedAssignments=2596, nogoods=781, foundSolutions=8, bestBound=62
19.26/17.37	    
19.36/17.41	    num=83, depth=3..5, filters=191367, revisions=(412202,useless=192905), ccks=163517804, wck=15.271, mem=108M500
19.36/17.41	    decisions=6902, wrong=3329, backtracks=767, failedAssignments=2610, nogoods=786, foundSolutions=8, bestBound=62
19.36/17.41	    
19.36/17.44	    num=84, depth=1..4, filters=192830, revisions=(415129,useless=194190), ccks=163806506, wck=15.304, mem=108M500
19.36/17.44	    decisions=6950, wrong=3352, backtracks=774, failedAssignments=2626, nogoods=791, foundSolutions=8, bestBound=62
19.36/17.44	    
19.47/17.52	    num=85, depth=1..3, filters=194234, revisions=(418295,useless=195716), ccks=164489291, wck=15.374, mem=108M500
19.47/17.52	    decisions=6998, wrong=3375, backtracks=780, failedAssignments=2643, nogoods=794, foundSolutions=8, bestBound=62
19.47/17.52	    
19.47/17.56	    num=86, depth=2..5, filters=195957, revisions=(421620,useless=197192), ccks=164864354, wck=15.416, mem=108M500
19.47/17.56	    decisions=7049, wrong=3399, backtracks=786, failedAssignments=2662, nogoods=801, foundSolutions=8, bestBound=62
19.47/17.56	    
19.57/17.65	    num=87, depth=0..4, filters=197860, revisions=(425769,useless=199214), ccks=165757455, wck=15.505, mem=111M143
19.57/17.65	    decisions=7110, wrong=3428, backtracks=796, failedAssignments=2683, nogoods=810, foundSolutions=8, bestBound=62
19.57/17.65	    
19.57/17.69	    num=88, depth=1..3, filters=199599, revisions=(429726,useless=201241), ccks=166152289, wck=15.55, mem=111M143
19.57/17.69	    decisions=7171, wrong=3457, backtracks=802, failedAssignments=2706, nogoods=819, foundSolutions=8, bestBound=62
19.57/17.69	    
19.67/17.74	    num=89, depth=3..5, filters=201980, revisions=(434264,useless=203107), ccks=166614464, wck=15.603, mem=111M143
19.67/17.74	    decisions=7250, wrong=3495, backtracks=815, failedAssignments=2731, nogoods=826, foundSolutions=8, bestBound=62
19.67/17.74	    
19.77/17.88	    num=90, depth=0..3, filters=203874, revisions=(438540,useless=205255), ccks=168064384, wck=15.74, mem=111M143
19.77/17.88	    decisions=7318, wrong=3528, backtracks=820, failedAssignments=2759, nogoods=844, foundSolutions=8, bestBound=62
19.77/17.88	    
19.87/17.98	    num=91, depth=0..4, filters=206772, revisions=(444626,useless=208104), ccks=168959841, wck=15.834, mem=113M785
19.87/17.98	    decisions=7401, wrong=3568, backtracks=829, failedAssignments=2790, nogoods=853, foundSolutions=8, bestBound=62
19.87/17.98	    
19.98/18.02	    num=92, depth=2..4, filters=209211, revisions=(449419,useless=210203), ccks=169337188, wck=15.879, mem=113M785
19.98/18.02	    decisions=7490, wrong=3611, backtracks=838, failedAssignments=2824, nogoods=869, foundSolutions=8, bestBound=62
19.98/18.02	    
20.08/18.13	    num=93, depth=1..4, filters=212516, revisions=(456481,useless=213551), ccks=170330213, wck=15.987, mem=113M785
20.08/18.13	    decisions=7595, wrong=3663, backtracks=857, failedAssignments=2861, nogoods=883, foundSolutions=8, bestBound=62
20.08/18.13	    
20.08/18.18	    num=94, depth=3..5, filters=214771, revisions=(460736,useless=215252), ccks=170749803, wck=16.035, mem=113M785
20.08/18.18	    decisions=7700, wrong=3714, backtracks=868, failedAssignments=2902, nogoods=893, foundSolutions=8, bestBound=62
20.08/18.18	    
20.17/18.28	    num=95, depth=0..4, filters=218188, revisions=(467880,useless=218585), ccks=171766530, wck=16.143, mem=116M428
20.17/18.28	    decisions=7825, wrong=3775, backtracks=885, failedAssignments=2947, nogoods=905, foundSolutions=8, bestBound=62
20.17/18.28	    
20.54/18.57	    num=96, depth=0..3, filters=222058, revisions=(477516,useless=223559), ccks=174792942, wck=16.431, mem=116M428
20.54/18.57	    decisions=7953, wrong=3838, backtracks=898, failedAssignments=2997, nogoods=918, foundSolutions=8, bestBound=62
20.54/18.57	    
20.74/18.71	    num=97, depth=1..5, filters=227040, revisions=(487862,useless=228415), ccks=176022349, wck=16.569, mem=119M70
20.74/18.71	    decisions=8115, wrong=3918, backtracks=927, failedAssignments=3052, nogoods=933, foundSolutions=8, bestBound=62
20.74/18.71	    
20.84/18.81	    num=98, depth=1..5, filters=232432, revisions=(498530,useless=233204), ccks=176830718, wck=16.668, mem=119M70
20.84/18.81	    decisions=8296, wrong=4006, backtracks=957, failedAssignments=3113, nogoods=943, foundSolutions=8, bestBound=62
20.84/18.81	    
21.15/19.13	    num=99, depth=2..5, filters=237851, revisions=(511625,useless=239578), ccks=180065440, wck=16.988, mem=121M712
21.15/19.13	    decisions=8478, wrong=4096, backtracks=980, failedAssignments=3180, nogoods=963, foundSolutions=8, bestBound=62
21.15/19.13	    
21.24/19.22	    num=100, depth=4..6, filters=244226, revisions=(522322,useless=243118), ccks=180759647, wck=17.079, mem=124M355
21.24/19.22	    decisions=8693, wrong=4201, backtracks=1011, failedAssignments=3254, nogoods=987, foundSolutions=8, bestBound=62
21.24/19.22	    
21.34/19.39	    num=101, depth=1..5, filters=250662, revisions=(535562,useless=249292), ccks=182208278, wck=17.245, mem=126M997
21.34/19.39	    decisions=8939, wrong=4323, backtracks=1056, failedAssignments=3335, nogoods=996, foundSolutions=8, bestBound=62
21.34/19.39	    
21.45/19.48	    num=102, depth=2..5, filters=256681, revisions=(546747,useless=253868), ccks=182944413, wck=17.34, mem=126M997
21.45/19.48	    decisions=9177, wrong=4440, backtracks=1086, failedAssignments=3424, nogoods=1005, foundSolutions=8, bestBound=62
21.45/19.48	    
21.65/19.64	    num=103, depth=1..5, filters=263375, revisions=(560486,useless=260215), ccks=184342462, wck=17.502, mem=129M640
21.65/19.64	    decisions=9443, wrong=4572, backtracks=1127, failedAssignments=3522, nogoods=1018, foundSolutions=8, bestBound=62
21.65/19.64	    
21.95/19.99	    num=104, depth=1..6, filters=271901, revisions=(579771,useless=269853), ccks=187752759, wck=17.85, mem=132M282
21.95/19.99	    decisions=9740, wrong=4719, backtracks=1167, failedAssignments=3630, nogoods=1043, foundSolutions=8, bestBound=62
21.95/19.99	    
22.27/20.25	    num=105, depth=0..5, filters=280803, revisions=(598714,useless=278819), ccks=190083794, wck=18.107, mem=134M925
22.27/20.25	    decisions=10051, wrong=4874, backtracks=1210, failedAssignments=3749, nogoods=1048, foundSolutions=8, bestBound=62
22.27/20.25	    
22.37/20.37	    num=106, depth=3..6, filters=289281, revisions=(613739,useless=284643), ccks=190988862, wck=18.227, mem=134M925
22.37/20.37	    decisions=10379, wrong=5036, backtracks=1244, failedAssignments=3880, nogoods=1065, foundSolutions=8, bestBound=62
22.37/20.37	    
22.57/20.59	    num=107, depth=1..6, filters=300661, revisions=(635474,useless=293632), ccks=192778680, wck=18.446, mem=140M209
22.57/20.59	    decisions=10757, wrong=5223, backtracks=1288, failedAssignments=4024, nogoods=1081, foundSolutions=8, bestBound=62
22.57/20.59	    
22.89/20.82	    num=108, depth=1..5, filters=310256, revisions=(655323,useless=302942), ccks=194756706, wck=18.678, mem=142M778
22.89/20.82	    decisions=11154, wrong=5420, backtracks=1335, failedAssignments=4182, nogoods=1099, foundSolutions=8, bestBound=62
22.89/20.82	    
22.99/20.97	    num=109, depth=2..5, filters=322144, revisions=(677081,useless=311621), ccks=195757867, wck=18.833, mem=23M40
22.99/20.97	    decisions=11616, wrong=5649, backtracks=1394, failedAssignments=4356, nogoods=1106, foundSolutions=8, bestBound=62
22.99/20.97	    
23.34/21.23	    num=110, depth=1..5, filters=338826, revisions=(709522,useless=325543), ccks=197675020, wck=19.084, mem=25M656
23.34/21.23	    decisions=12134, wrong=5907, backtracks=1461, failedAssignments=4547, nogoods=1118, foundSolutions=8, bestBound=62
23.34/21.23	    
23.64/21.53	    num=111, depth=1..6, filters=354969, revisions=(740825,useless=338834), ccks=200147430, wck=19.388, mem=30M888
23.64/21.53	    decisions=12678, wrong=6177, backtracks=1528, failedAssignments=4758, nogoods=1131, foundSolutions=8, bestBound=62
23.64/21.53	    
23.94/21.86	    num=112, depth=1..7, filters=370475, revisions=(772220,useless=352881), ccks=202934115, wck=19.721, mem=33M504
23.94/21.86	    decisions=13308, wrong=6490, backtracks=1620, failedAssignments=4990, nogoods=1148, foundSolutions=8, bestBound=62
23.94/21.86	    
24.15/22.08	    num=113, depth=1..6, filters=388007, revisions=(804170,useless=365441), ccks=204457809, wck=19.936, mem=38M736
24.15/22.08	    decisions=14014, wrong=6841, backtracks=1729, failedAssignments=5245, nogoods=1168, foundSolutions=8, bestBound=62
24.15/22.08	    
24.54/22.43	    num=114, depth=0..4, filters=407934, revisions=(845013,useless=384222), ccks=207334648, wck=20.291, mem=41M352
24.54/22.43	    decisions=14772, wrong=7219, backtracks=1830, failedAssignments=5526, nogoods=1182, foundSolutions=8, bestBound=62
24.54/22.43	    
25.04/22.91	    num=115, depth=0..5, filters=430187, revisions=(891319,useless=405510), ccks=211422648, wck=20.773, mem=49M200
25.04/22.91	    decisions=15591, wrong=7628, backtracks=1942, failedAssignments=5835, nogoods=1196, foundSolutions=8, bestBound=62
25.04/22.91	    
25.44/23.36	    num=116, depth=1..6, filters=454066, revisions=(934346,useless=421914), ccks=215126976, wck=21.216, mem=54M432
25.44/23.36	    decisions=16498, wrong=8079, backtracks=2058, failedAssignments=6175, nogoods=1222, foundSolutions=8, bestBound=62
25.44/23.36	    
25.74/23.64	o 61
25.74/23.64	    num=117, depth=0..54, filters=467872, revisions=(961876,useless=434157), ccks=217438997, wck=21.496, mem=57M48
25.74/23.64	    decisions=17006, wrong=8331, backtracks=2139, failedAssignments=6358, nogoods=1233, foundSolutions=9, bestBound=61
25.74/23.64	    
26.65/24.56	    num=118, depth=1..6, filters=495519, revisions=(1021924,useless=460845), ccks=226117858, wck=22.42, mem=67M512
26.65/24.56	    decisions=18081, wrong=8867, backtracks=2269, failedAssignments=6769, nogoods=1251, foundSolutions=9, bestBound=61
26.65/24.56	    
26.75/24.63	    num=119, depth=0..4, filters=496677, revisions=(1024513,useless=462085), ccks=226770759, wck=22.485, mem=67M512
26.75/24.63	    decisions=18117, wrong=8883, backtracks=2274, failedAssignments=6780, nogoods=1259, foundSolutions=9, bestBound=61
26.75/24.63	    
26.75/24.65	    num=120, depth=2..4, filters=497654, revisions=(1026473,useless=462939), ccks=227027239, wck=22.512, mem=67M512
26.75/24.65	    decisions=18150, wrong=8898, backtracks=2277, failedAssignments=6792, nogoods=1266, foundSolutions=9, bestBound=61
26.75/24.65	    
26.75/24.69	    num=121, depth=1..4, filters=498567, revisions=(1028424,useless=463860), ccks=227389217, wck=22.549, mem=67M512
26.75/24.69	    decisions=18185, wrong=8914, backtracks=2280, failedAssignments=6805, nogoods=1277, foundSolutions=9, bestBound=61
26.75/24.69	    
26.85/24.76	    num=122, depth=1..4, filters=499400, revisions=(1030341,useless=464807), ccks=228184210, wck=22.623, mem=68M833
26.85/24.76	    decisions=18220, wrong=8931, backtracks=2284, failedAssignments=6819, nogoods=1286, foundSolutions=9, bestBound=61
26.85/24.76	    
27.05/24.92	    num=123, depth=0..3, filters=500532, revisions=(1033167,useless=466216), ccks=229961626, wck=22.782, mem=68M833
27.05/24.92	    decisions=18258, wrong=8949, backtracks=2287, failedAssignments=6835, nogoods=1295, foundSolutions=9, bestBound=61
27.05/24.92	    
27.05/24.99	    num=124, depth=2..3, filters=501868, revisions=(1036104,useless=467587), ccks=230603226, wck=22.845, mem=71M449
27.05/24.99	    decisions=18301, wrong=8969, backtracks=2290, failedAssignments=6852, nogoods=1307, foundSolutions=9, bestBound=61
27.05/24.99	    
27.16/25.02	    num=125, depth=2..3, filters=503316, revisions=(1039180,useless=469058), ccks=230903245, wck=22.879, mem=71M449
27.16/25.02	    decisions=18346, wrong=8990, backtracks=2292, failedAssignments=6871, nogoods=1319, foundSolutions=9, bestBound=61
27.16/25.02	    
27.16/25.05	    num=126, depth=4..6, filters=504507, revisions=(1041440,useless=469984), ccks=231199196, wck=22.911, mem=71M449
27.16/25.05	    decisions=18398, wrong=9014, backtracks=2295, failedAssignments=6892, nogoods=1322, foundSolutions=9, bestBound=61
27.16/25.05	    
27.27/25.14	    num=127, depth=1..4, filters=506595, revisions=(1046437,useless=472520), ccks=232037477, wck=22.997, mem=71M449
27.27/25.14	    decisions=18463, wrong=9046, backtracks=2304, failedAssignments=6915, nogoods=1323, foundSolutions=9, bestBound=61
27.27/25.14	    
27.27/25.18	    num=128, depth=2..4, filters=508760, revisions=(1050733,useless=474388), ccks=232381140, wck=23.038, mem=71M449
27.27/25.18	    decisions=18530, wrong=9078, backtracks=2312, failedAssignments=6940, nogoods=1334, foundSolutions=9, bestBound=61
27.27/25.18	    
27.37/25.26	    num=129, depth=1..5, filters=511482, revisions=(1056527,useless=477187), ccks=233099853, wck=23.117, mem=74M65
27.37/25.26	    decisions=18610, wrong=9117, backtracks=2325, failedAssignments=6968, nogoods=1340, foundSolutions=9, bestBound=61
27.37/25.26	    
27.47/25.30	    num=130, depth=2..4, filters=513933, revisions=(1061381,useless=479308), ccks=233428179, wck=23.158, mem=74M65
27.47/25.30	    decisions=18693, wrong=9157, backtracks=2334, failedAssignments=6999, nogoods=1353, foundSolutions=9, bestBound=61
27.47/25.30	    
27.47/25.36	    num=131, depth=1..4, filters=516010, revisions=(1065668,useless=481209), ccks=234053457, wck=23.223, mem=74M65
27.47/25.36	    decisions=18782, wrong=9200, backtracks=2344, failedAssignments=7033, nogoods=1361, foundSolutions=9, bestBound=61
27.47/25.36	    
27.57/25.46	    num=132, depth=1..4, filters=519124, revisions=(1072548,useless=484558), ccks=234929020, wck=23.319, mem=76M681
27.57/25.46	    decisions=18895, wrong=9255, backtracks=2363, failedAssignments=7070, nogoods=1365, foundSolutions=9, bestBound=61
27.57/25.46	    
27.67/25.55	    num=133, depth=1..6, filters=522253, revisions=(1079055,useless=487628), ccks=235758214, wck=23.41, mem=76M681
27.67/25.55	    decisions=19010, wrong=9312, backtracks=2380, failedAssignments=7111, nogoods=1366, foundSolutions=9, bestBound=61
27.67/25.55	    
27.77/25.64	    num=134, depth=1..5, filters=526875, revisions=(1088052,useless=491519), ccks=236457323, wck=23.496, mem=76M681
27.77/25.64	    decisions=19154, wrong=9383, backtracks=2407, failedAssignments=7156, nogoods=1370, foundSolutions=9, bestBound=61
27.77/25.64	    
27.87/25.70	    num=135, depth=2..5, filters=529834, revisions=(1093883,useless=494031), ccks=236975988, wck=23.556, mem=79M297
27.87/25.70	    decisions=19280, wrong=9444, backtracks=2421, failedAssignments=7206, nogoods=1382, foundSolutions=9, bestBound=61
27.87/25.70	    
27.87/25.78	    num=136, depth=2..5, filters=533328, revisions=(1100834,useless=497063), ccks=237704734, wck=23.64, mem=79M297
27.87/25.78	    decisions=19421, wrong=9513, backtracks=2437, failedAssignments=7261, nogoods=1391, foundSolutions=9, bestBound=61
27.87/25.78	    
27.97/25.85	    num=137, depth=2..5, filters=537664, revisions=(1108915,useless=500344), ccks=238212135, wck=23.704, mem=81M913
27.97/25.85	    decisions=19575, wrong=9589, backtracks=2453, failedAssignments=7322, nogoods=1393, foundSolutions=9, bestBound=61
27.97/25.85	    
28.18/26.04	    num=138, depth=0..5, filters=543108, revisions=(1120978,useless=506236), ccks=240101142, wck=23.903, mem=81M913
28.18/26.04	    decisions=19754, wrong=9677, backtracks=2478, failedAssignments=7389, nogoods=1410, foundSolutions=9, bestBound=61
28.18/26.04	    
28.28/26.15	    num=139, depth=1..5, filters=549546, revisions=(1133832,useless=511953), ccks=240891463, wck=24.005, mem=84M529
28.28/26.15	    decisions=19959, wrong=9778, backtracks=2506, failedAssignments=7463, nogoods=1417, foundSolutions=9, bestBound=61
28.28/26.15	    
28.37/26.22	    num=140, depth=3..6, filters=555845, revisions=(1145438,useless=516591), ccks=241404473, wck=24.079, mem=84M529
28.37/26.22	    decisions=20197, wrong=9895, backtracks=2545, failedAssignments=7544, nogoods=1437, foundSolutions=9, bestBound=61
28.37/26.22	    
28.57/26.41	    num=141, depth=1..5, filters=561517, revisions=(1157366,useless=522310), ccks=243205447, wck=24.27, mem=87M145
28.57/26.41	    decisions=20417, wrong=10004, backtracks=2566, failedAssignments=7633, nogoods=1459, foundSolutions=9, bestBound=61
28.57/26.41	    
28.67/26.58	    num=142, depth=1..4, filters=567738, revisions=(1170398,useless=528240), ccks=244706788, wck=24.437, mem=89M761
28.67/26.58	    decisions=20664, wrong=10126, backtracks=2594, failedAssignments=7731, nogoods=1465, foundSolutions=9, bestBound=61
28.67/26.58	    
28.77/26.61	o 60
28.77/26.61	    num=143, depth=3..54, filters=568846, revisions=(1172626,useless=529232), ccks=244950981, wck=24.465, mem=89M761
28.77/26.61	    decisions=20704, wrong=10144, backtracks=2596, failedAssignments=7747, nogoods=1481, foundSolutions=10, bestBound=60
28.77/26.61	    
29.08/26.91	    num=144, depth=2..5, filters=576956, revisions=(1190577,useless=537542), ccks=247862571, wck=24.766, mem=92M377
29.08/26.91	    decisions=21012, wrong=10296, backtracks=2632, failedAssignments=7866, nogoods=1498, foundSolutions=10, bestBound=60
29.08/26.91	    
29.08/26.96	    num=145, depth=2..4, filters=577888, revisions=(1192698,useless=538581), ccks=248353964, wck=24.814, mem=92M377
29.08/26.96	    decisions=21043, wrong=10310, backtracks=2635, failedAssignments=7877, nogoods=1508, foundSolutions=10, bestBound=60
29.08/26.96	    
29.08/26.98	    num=146, depth=3..6, filters=578869, revisions=(1194534,useless=539334), ccks=248614784, wck=24.842, mem=92M377
29.08/26.98	    decisions=21079, wrong=10326, backtracks=2641, failedAssignments=7889, nogoods=1512, foundSolutions=10, bestBound=60
29.08/26.98	    
29.18/27.06	    num=147, depth=1..4, filters=580369, revisions=(1198171,useless=541249), ccks=249397140, wck=24.92, mem=92M377
29.18/27.06	    decisions=21123, wrong=10347, backtracks=2649, failedAssignments=7902, nogoods=1519, foundSolutions=10, bestBound=60
29.18/27.06	    
29.29/27.11	    num=148, depth=2..4, filters=581637, revisions=(1200813,useless=542469), ccks=249862933, wck=24.967, mem=92M377
29.29/27.11	    decisions=21163, wrong=10366, backtracks=2654, failedAssignments=7916, nogoods=1527, foundSolutions=10, bestBound=60
29.29/27.11	    
29.29/27.14	    num=149, depth=3..5, filters=582906, revisions=(1203163,useless=543413), ccks=250112073, wck=24.994, mem=92M377
29.29/27.14	    decisions=21216, wrong=10390, backtracks=2662, failedAssignments=7932, nogoods=1533, foundSolutions=10, bestBound=60
29.29/27.14	    
29.29/27.17	    num=150, depth=2..5, filters=584117, revisions=(1205713,useless=544590), ccks=250417506, wck=25.027, mem=94M993
29.29/27.17	    decisions=21260, wrong=10411, backtracks=2667, failedAssignments=7949, nogoods=1536, foundSolutions=10, bestBound=60
29.29/27.17	    
29.38/27.22	    num=151, depth=1..4, filters=585939, revisions=(1209624,useless=546480), ccks=250939619, wck=25.084, mem=94M993
29.38/27.22	    decisions=21312, wrong=10436, backtracks=2673, failedAssignments=7968, nogoods=1543, foundSolutions=10, bestBound=60
29.38/27.22	    
29.48/27.35	    num=152, depth=1..5, filters=588003, revisions=(1214438,useless=548810), ccks=252212301, wck=25.209, mem=94M993
29.48/27.35	    decisions=21372, wrong=10464, backtracks=2681, failedAssignments=7989, nogoods=1557, foundSolutions=10, bestBound=60
29.48/27.35	    
29.58/27.45	    num=153, depth=0..5, filters=590082, revisions=(1218912,useless=551011), ccks=253182465, wck=25.306, mem=94M993
29.58/27.45	    decisions=21434, wrong=10494, backtracks=2688, failedAssignments=8012, nogoods=1570, foundSolutions=10, bestBound=60
29.58/27.45	    
29.68/27.52	    num=154, depth=1..4, filters=592074, revisions=(1223462,useless=553213), ccks=253868988, wck=25.38, mem=97M609
29.68/27.52	    decisions=21496, wrong=10524, backtracks=2695, failedAssignments=8037, nogoods=1580, foundSolutions=10, bestBound=60
29.68/27.52	    
29.78/27.67	    num=155, depth=0..4, filters=594070, revisions=(1228072,useless=555483), ccks=255470666, wck=25.532, mem=97M609
29.78/27.67	    decisions=21570, wrong=10560, backtracks=2704, failedAssignments=8065, nogoods=1593, foundSolutions=10, bestBound=60
29.78/27.67	    
29.88/27.79	    num=156, depth=0..4, filters=596360, revisions=(1233368,useless=558155), ccks=256610247, wck=25.645, mem=97M609
29.88/27.79	    decisions=21654, wrong=10601, backtracks=2716, failedAssignments=8096, nogoods=1601, foundSolutions=10, bestBound=60
29.88/27.79	    
29.98/27.86	    num=157, depth=2..5, filters=599458, revisions=(1239784,useless=560997), ccks=257200339, wck=25.715, mem=100M225
29.98/27.86	    decisions=21754, wrong=10650, backtracks=2732, failedAssignments=8130, nogoods=1607, foundSolutions=10, bestBound=60
29.98/27.86	    
30.08/28.00	    num=158, depth=2..4, filters=602220, revisions=(1246243,useless=564083), ccks=258579355, wck=25.856, mem=100M225
30.08/28.00	    decisions=21850, wrong=10697, backtracks=2743, failedAssignments=8167, nogoods=1620, foundSolutions=10, bestBound=60
30.08/28.00	    
30.29/28.13	    num=159, depth=1..3, filters=605653, revisions=(1254049,useless=567994), ccks=259816600, wck=25.984, mem=100M225
30.29/28.13	    decisions=21954, wrong=10748, backtracks=2754, failedAssignments=8208, nogoods=1634, foundSolutions=10, bestBound=60
30.29/28.13	    
30.38/28.22	    num=160, depth=1..5, filters=609853, revisions=(1262792,useless=571911), ccks=260591328, wck=26.077, mem=102M841
30.38/28.22	    decisions=22089, wrong=10814, backtracks=2778, failedAssignments=8253, nogoods=1643, foundSolutions=10, bestBound=60
30.38/28.22	    
30.48/28.36	    num=161, depth=1..5, filters=614709, revisions=(1273566,useless=577224), ccks=261890072, wck=26.222, mem=102M841
30.48/28.36	    decisions=22233, wrong=10885, backtracks=2803, failedAssignments=8303, nogoods=1658, foundSolutions=10, bestBound=60
30.48/28.36	    
30.58/28.46	    num=162, depth=2..5, filters=619203, revisions=(1282981,useless=581582), ccks=262712466, wck=26.321, mem=105M457
30.58/28.46	    decisions=22379, wrong=10957, backtracks=2824, failedAssignments=8358, nogoods=1672, foundSolutions=10, bestBound=60
30.58/28.46	    
30.88/28.72	    num=163, depth=1..4, filters=623281, revisions=(1292929,useless=586585), ccks=265366269, wck=26.58, mem=105M457
30.88/28.72	    decisions=22528, wrong=11031, backtracks=2839, failedAssignments=8419, nogoods=1696, foundSolutions=10, bestBound=60
30.88/28.72	    
31.08/28.92	    num=164, depth=0..4, filters=628608, revisions=(1305546,useless=592917), ccks=267258532, wck=26.782, mem=108M73
31.08/28.92	    decisions=22696, wrong=11114, backtracks=2858, failedAssignments=8486, nogoods=1710, foundSolutions=10, bestBound=60
31.08/28.92	    
31.08/28.98	    num=165, depth=2..5, filters=633281, revisions=(1314152,useless=596369), ccks=267674545, wck=26.839, mem=108M73
31.08/28.98	    decisions=22891, wrong=11209, backtracks=2881, failedAssignments=8560, nogoods=1724, foundSolutions=10, bestBound=60
31.08/28.98	    
31.30/29.13	    num=166, depth=1..6, filters=641033, revisions=(1330220,useless=603879), ccks=268851882, wck=26.986, mem=110M689
31.30/29.13	    decisions=23129, wrong=11326, backtracks=2921, failedAssignments=8641, nogoods=1732, foundSolutions=10, bestBound=60
31.30/29.13	    
31.39/29.25	    num=167, depth=1..6, filters=648167, revisions=(1344060,useless=609807), ccks=269819857, wck=27.109, mem=113M305
31.39/29.25	    decisions=23383, wrong=11451, backtracks=2960, failedAssignments=8730, nogoods=1749, foundSolutions=10, bestBound=60
31.39/29.25	    
31.59/29.41	    num=168, depth=1..5, filters=656355, revisions=(1360905,useless=617555), ccks=271152647, wck=27.271, mem=115M921
31.59/29.41	    decisions=23674, wrong=11595, backtracks=3011, failedAssignments=8828, nogoods=1758, foundSolutions=10, bestBound=60
31.59/29.41	    
31.69/29.54	    num=169, depth=2..6, filters=664822, revisions=(1376573,useless=623741), ccks=272129121, wck=27.399, mem=118M537
31.69/29.54	    decisions=23968, wrong=11740, backtracks=3051, failedAssignments=8936, nogoods=1772, foundSolutions=10, bestBound=60
31.69/29.54	    
31.89/29.70	    num=170, depth=1..5, filters=673253, revisions=(1393888,useless=631559), ccks=273379382, wck=27.558, mem=118M537
31.89/29.70	    decisions=24290, wrong=11899, backtracks=3095, failedAssignments=9055, nogoods=1790, foundSolutions=10, bestBound=60
31.89/29.70	    
32.09/29.92	    num=171, depth=1..6, filters=682957, revisions=(1413159,useless=639775), ccks=275267253, wck=27.781, mem=121M153
32.09/29.92	    decisions=24651, wrong=12078, backtracks=3151, failedAssignments=9186, nogoods=1800, foundSolutions=10, bestBound=60
32.09/29.92	    
32.40/30.29	    num=172, depth=1..6, filters=696636, revisions=(1442845,useless=654078), ccks=278502730, wck=28.147, mem=126M385
32.40/30.29	    decisions=25054, wrong=12278, backtracks=3214, failedAssignments=9330, nogoods=1821, foundSolutions=10, bestBound=60
32.40/30.29	    
32.70/30.51	    num=173, depth=1..5, filters=707534, revisions=(1465745,useless=664943), ccks=280293051, wck=28.366, mem=129M1
32.70/30.51	    decisions=25467, wrong=12483, backtracks=3267, failedAssignments=9488, nogoods=1834, foundSolutions=10, bestBound=60
32.70/30.51	    
32.80/30.69	    num=174, depth=1..7, filters=719790, revisions=(1489449,useless=675141), ccks=281636193, wck=28.545, mem=131M617
32.80/30.69	    decisions=25921, wrong=12709, backtracks=3322, failedAssignments=9662, nogoods=1863, foundSolutions=10, bestBound=60
32.80/30.69	    
33.20/31.10	    num=175, depth=0..5, filters=734517, revisions=(1520922,useless=690254), ccks=285350564, wck=28.956, mem=136M849
33.20/31.10	    decisions=26453, wrong=12973, backtracks=3398, failedAssignments=9853, nogoods=1876, foundSolutions=10, bestBound=60
33.20/31.10	    
33.50/31.33	    num=176, depth=1..5, filters=750382, revisions=(1552106,useless=703830), ccks=287122807, wck=29.192, mem=139M465
33.50/31.33	    decisions=27001, wrong=13246, backtracks=3466, failedAssignments=10064, nogoods=1888, foundSolutions=10, bestBound=60
33.50/31.33	    
33.70/31.56	    num=177, depth=1..6, filters=764451, revisions=(1579403,useless=715765), ccks=288872099, wck=29.421, mem=144M697
33.70/31.56	    decisions=27623, wrong=13555, backtracks=3558, failedAssignments=10296, nogoods=1903, foundSolutions=10, bestBound=60
33.70/31.56	    
34.00/31.87	    num=178, depth=0..5, filters=782398, revisions=(1616181,useless=732943), ccks=291214732, wck=29.725, mem=147M313
34.00/31.87	    decisions=28304, wrong=13893, backtracks=3646, failedAssignments=10551, nogoods=1913, foundSolutions=10, bestBound=60
34.00/31.87	    
34.40/32.21	    num=179, depth=0..6, filters=801997, revisions=(1656878,useless=751782), ccks=293930943, wck=30.071, mem=152M545
34.40/32.21	    decisions=29053, wrong=14266, backtracks=3752, failedAssignments=10832, nogoods=1919, foundSolutions=10, bestBound=60
34.40/32.21	    
34.82/32.66	    num=180, depth=1..5, filters=824779, revisions=(1703649,useless=772976), ccks=297427131, wck=30.517, mem=25M697
34.82/32.66	    decisions=29894, wrong=14685, backtracks=3875, failedAssignments=11141, nogoods=1953, foundSolutions=10, bestBound=60
34.82/32.66	    
35.92/33.71	    num=181, depth=1..5, filters=850382, revisions=(1761845,useless=800608), ccks=307484936, wck=31.568, mem=36M161
35.92/33.71	    decisions=30786, wrong=15130, backtracks=3993, failedAssignments=11481, nogoods=1993, foundSolutions=10, bestBound=60
35.92/33.71	    
36.83/34.66	    num=182, depth=0..6, filters=876810, revisions=(1819309,useless=827014), ccks=316487666, wck=32.522, mem=44M9
36.83/34.66	    decisions=31776, wrong=15623, backtracks=4122, failedAssignments=11855, nogoods=2008, foundSolutions=10, bestBound=60
36.83/34.66	    
37.34/35.19	    num=183, depth=1..6, filters=907146, revisions=(1881593,useless=855339), ccks=320462826, wck=33.046, mem=49M241
37.34/35.19	    decisions=32879, wrong=16173, backtracks=4279, failedAssignments=12266, nogoods=2032, foundSolutions=10, bestBound=60
37.34/35.19	    
37.93/35.72	    num=184, depth=0..6, filters=938275, revisions=(1942089,useless=880474), ccks=324617304, wck=33.577, mem=57M89
37.93/35.72	    decisions=34071, wrong=16767, backtracks=4437, failedAssignments=12718, nogoods=2040, foundSolutions=10, bestBound=60
37.93/35.72	    
38.53/36.33	    num=185, depth=0..6, filters=972722, revisions=(2012139,useless=912350), ccks=329434313, wck=34.184, mem=67M553
38.53/36.33	    decisions=35373, wrong=17416, backtracks=4612, failedAssignments=13215, nogoods=2057, foundSolutions=10, bestBound=60
38.53/36.33	    
39.24/37.09	    num=186, depth=0..5, filters=1015834, revisions=(2100451,useless=951107), ccks=335285849, wck=34.948, mem=78M17
39.24/37.09	    decisions=36970, wrong=18213, backtracks=4874, failedAssignments=13762, nogoods=2079, foundSolutions=10, bestBound=60
39.24/37.09	    
39.83/37.68	    num=187, depth=1..6, filters=1059813, revisions=(2182684,useless=984021), ccks=339530160, wck=35.539, mem=89M340
39.83/37.68	    decisions=38612, wrong=19031, backtracks=5120, failedAssignments=14364, nogoods=2110, foundSolutions=10, bestBound=60
39.83/37.68	    
40.74/38.57	    num=188, depth=0..5, filters=1110462, revisions=(2288937,useless=1032925), ccks=346265606, wck=36.429, mem=99M804
40.74/38.57	    decisions=40455, wrong=19951, backtracks=5394, failedAssignments=15026, nogoods=2132, foundSolutions=10, bestBound=60
40.74/38.57	    
42.44/40.23	    num=189, depth=0..5, filters=1169722, revisions=(2417967,useless=1093414), ccks=361000108, wck=38.093, mem=118M116
42.44/40.23	    decisions=42395, wrong=20919, backtracks=5658, failedAssignments=15754, nogoods=2153, foundSolutions=10, bestBound=60
42.44/40.23	    
43.34/41.18	o 59
43.34/41.18	    num=190, depth=1..54, filters=1233282, revisions=(2548844,useless=1154130), ccks=367703350, wck=39.036, mem=131M196
43.34/41.18	    decisions=44601, wrong=22020, backtracks=6043, failedAssignments=16508, nogoods=2187, foundSolutions=11, bestBound=59
43.34/41.18	    
44.54/42.39	    num=191, depth=1..6, filters=1293524, revisions=(2672342,useless=1208760), ccks=377966591, wck=40.244, mem=146M892
44.54/42.39	    decisions=46920, wrong=23178, backtracks=6350, failedAssignments=17389, nogoods=2199, foundSolutions=11, bestBound=59
44.54/42.39	    
44.64/42.43	    num=192, depth=2..4, filters=1294553, revisions=(2674553,useless=1209809), ccks=378411727, wck=40.288, mem=146M892
44.64/42.43	    decisions=46953, wrong=23193, backtracks=6355, failedAssignments=17400, nogoods=2202, foundSolutions=11, bestBound=59
44.64/42.43	    
44.64/42.46	    num=193, depth=4..6, filters=1295617, revisions=(2676541,useless=1210602), ccks=378643097, wck=40.315, mem=146M892
44.64/42.46	    decisions=46990, wrong=23209, backtracks=6359, failedAssignments=17412, nogoods=2211, foundSolutions=11, bestBound=59
44.64/42.46	    
44.74/42.50	    num=194, depth=2..5, filters=1296801, revisions=(2679080,useless=1211776), ccks=379064521, wck=40.359, mem=146M892
44.74/42.50	    decisions=47028, wrong=23226, backtracks=6364, failedAssignments=17425, nogoods=2214, foundSolutions=11, bestBound=59
44.74/42.50	    
44.74/42.53	    num=195, depth=2..5, filters=1298415, revisions=(2682237,useless=1213117), ccks=379350292, wck=40.392, mem=146M892
44.74/42.53	    decisions=47078, wrong=23250, backtracks=6374, failedAssignments=17439, nogoods=2218, foundSolutions=11, bestBound=59
44.74/42.53	    
44.84/42.60	    num=196, depth=3..4, filters=1299464, revisions=(2684631,useless=1214196), ccks=380051561, wck=40.461, mem=149M508
44.84/42.60	    decisions=47117, wrong=23268, backtracks=6376, failedAssignments=17455, nogoods=2226, foundSolutions=11, bestBound=59
44.84/42.60	    
44.84/42.65	    num=197, depth=2..4, filters=1300996, revisions=(2687852,useless=1215737), ccks=380459831, wck=40.506, mem=149M508
44.84/42.65	    decisions=47175, wrong=23296, backtracks=6387, failedAssignments=17472, nogoods=2234, foundSolutions=11, bestBound=59
44.84/42.65	    
44.84/42.68	    num=198, depth=4..7, filters=1302634, revisions=(2690744,useless=1216839), ccks=380713247, wck=40.537, mem=149M508
44.84/42.68	    decisions=47235, wrong=23324, backtracks=6400, failedAssignments=17491, nogoods=2243, foundSolutions=11, bestBound=59
44.84/42.68	    
44.94/42.76	    num=199, depth=1..4, filters=1304336, revisions=(2694715,useless=1218821), ccks=381489886, wck=40.615, mem=149M508
44.94/42.76	    decisions=47286, wrong=23348, backtracks=6403, failedAssignments=17512, nogoods=2252, foundSolutions=11, bestBound=59
44.94/42.76	    
44.94/42.79	    num=200, depth=3..6, filters=1306145, revisions=(2697866,useless=1219950), ccks=381750184, wck=40.647, mem=149M508
44.94/42.79	    decisions=47353, wrong=23379, backtracks=6412, failedAssignments=17535, nogoods=2257, foundSolutions=11, bestBound=59
44.94/42.79	    
45.04/42.86	    num=201, depth=2..5, filters=1308745, revisions=(2703337,useless=1222512), ccks=382405803, wck=40.719, mem=152M124
45.04/42.86	    decisions=47432, wrong=23417, backtracks=6426, failedAssignments=17560, nogoods=2272, foundSolutions=11, bestBound=59
45.04/42.86	    
45.04/42.89	    num=202, depth=4..6, filters=1310435, revisions=(2706301,useless=1223583), ccks=382653332, wck=40.749, mem=152M124
45.04/42.89	    decisions=47504, wrong=23451, backtracks=6432, failedAssignments=17588, nogoods=2279, foundSolutions=11, bestBound=59
45.04/42.89	    
45.15/42.94	    num=203, depth=1..5, filters=1313516, revisions=(2712386,useless=1226251), ccks=383087288, wck=40.803, mem=152M124
45.15/42.94	    decisions=47605, wrong=23500, backtracks=6453, failedAssignments=17619, nogoods=2282, foundSolutions=11, bestBound=59
45.15/42.94	    
45.15/43.00	    num=204, depth=1..5, filters=1316204, revisions=(2717750,useless=1228704), ccks=383523864, wck=40.856, mem=152M124
45.15/43.00	    decisions=47712, wrong=23552, backtracks=6472, failedAssignments=17653, nogoods=2287, foundSolutions=11, bestBound=59
45.15/43.00	    
45.26/43.06	    num=205, depth=1..4, filters=1319042, revisions=(2723789,useless=1231576), ccks=384034680, wck=40.917, mem=152M586
45.26/43.06	    decisions=47811, wrong=23600, backtracks=6488, failedAssignments=17690, nogoods=2295, foundSolutions=11, bestBound=59
45.26/43.06	    
45.38/43.14	    num=206, depth=2..4, filters=1321391, revisions=(2728790,useless=1233866), ccks=384657581, wck=40.996, mem=23M136
45.38/43.14	    decisions=47913, wrong=23650, backtracks=6497, failedAssignments=17731, nogoods=2303, foundSolutions=11, bestBound=59
45.38/43.14	    
45.47/43.20	    num=207, depth=1..4, filters=1324046, revisions=(2734468,useless=1236615), ccks=385194186, wck=41.058, mem=23M136
45.47/43.20	    decisions=48028, wrong=23707, backtracks=6511, failedAssignments=17776, nogoods=2306, foundSolutions=11, bestBound=59
45.47/43.20	    
45.47/43.28	    num=208, depth=1..5, filters=1328208, revisions=(2743190,useless=1240697), ccks=385894853, wck=41.142, mem=23M136
45.47/43.28	    decisions=48167, wrong=23776, backtracks=6534, failedAssignments=17826, nogoods=2308, foundSolutions=11, bestBound=59
45.47/43.28	    
45.58/43.36	    num=209, depth=1..5, filters=1332330, revisions=(2751445,useless=1244543), ccks=386483496, wck=41.216, mem=25M755
45.58/43.36	    decisions=48335, wrong=23858, backtracks=6562, failedAssignments=17881, nogoods=2321, foundSolutions=11, bestBound=59
45.58/43.36	    
45.68/43.40	    num=210, depth=4..6, filters=1335684, revisions=(2757287,useless=1246653), ccks=386836153, wck=41.263, mem=25M755
45.68/43.40	    decisions=48488, wrong=23932, backtracks=6575, failedAssignments=17942, nogoods=2337, foundSolutions=11, bestBound=59
45.68/43.40	    
45.88/43.60	    num=211, depth=1..6, filters=1341430, revisions=(2769637,useless=1252405), ccks=388634181, wck=41.455, mem=28M375
45.88/43.60	    decisions=48664, wrong=24018, backtracks=6603, failedAssignments=18009, nogoods=2357, foundSolutions=11, bestBound=59
45.88/43.60	    
45.98/43.71	    num=212, depth=2..6, filters=1346796, revisions=(2780535,useless=1257334), ccks=389604862, wck=41.57, mem=28M375
45.98/43.71	    decisions=48867, wrong=24118, backtracks=6633, failedAssignments=18083, nogoods=2383, foundSolutions=11, bestBound=59
45.98/43.71	    
46.18/43.98	    num=213, depth=2..5, filters=1352278, revisions=(2792699,useless=1262873), ccks=392264197, wck=41.837, mem=30M994
46.18/43.98	    decisions=49066, wrong=24216, backtracks=6652, failedAssignments=18164, nogoods=2408, foundSolutions=11, bestBound=59
46.18/43.98	    
46.39/44.12	    num=214, depth=1..5, filters=1358904, revisions=(2806614,useless=1269022), ccks=393458296, wck=41.98, mem=33M613
46.39/44.12	    decisions=49308, wrong=24336, backtracks=6686, failedAssignments=18253, nogoods=2412, foundSolutions=11, bestBound=59
46.39/44.12	    
46.48/44.22	    num=215, depth=1..5, filters=1365544, revisions=(2820155,useless=1275470), ccks=394184719, wck=42.079, mem=33M613
46.48/44.22	    decisions=49586, wrong=24474, backtracks=6728, failedAssignments=18351, nogoods=2429, foundSolutions=11, bestBound=59
46.48/44.22	    
46.58/44.30	    num=216, depth=3..6, filters=1371921, revisions=(2831527,useless=1279710), ccks=394743824, wck=42.156, mem=36M232
46.58/44.30	    decisions=49860, wrong=24609, backtracks=6758, failedAssignments=18459, nogoods=2447, foundSolutions=11, bestBound=59
46.58/44.30	    
46.98/44.70	    num=217, depth=0..4, filters=1381348, revisions=(2853626,useless=1290576), ccks=398609304, wck=42.557, mem=38M852
46.98/44.70	    decisions=50175, wrong=24765, backtracks=6797, failedAssignments=18578, nogoods=2468, foundSolutions=11, bestBound=59
46.98/44.70	    
47.08/44.85	    num=218, depth=1..5, filters=1390571, revisions=(2872872,useless=1299576), ccks=399789797, wck=42.71, mem=41M471
47.08/44.85	    decisions=50533, wrong=24943, backtracks=6851, failedAssignments=18709, nogoods=2489, foundSolutions=11, bestBound=59
47.08/44.85	    
47.29/45.06	    num=219, depth=1..5, filters=1401044, revisions=(2893946,useless=1308575), ccks=401539420, wck=42.923, mem=44M90
47.29/45.06	    decisions=50906, wrong=25128, backtracks=6897, failedAssignments=18853, nogoods=2496, foundSolutions=11, bestBound=59
47.29/45.06	    
47.39/45.18	    num=220, depth=3..6, filters=1410007, revisions=(2909606,useless=1314241), ccks=402381785, wck=43.04, mem=46M709
47.39/45.18	    decisions=51303, wrong=25324, backtracks=6937, failedAssignments=19011, nogoods=2514, foundSolutions=11, bestBound=59
47.39/45.18	    
47.98/45.78	    num=221, depth=1..5, filters=1426025, revisions=(2945779,useless=1331102), ccks=408012710, wck=43.644, mem=49M328
47.98/45.78	    decisions=51825, wrong=25584, backtracks=7042, failedAssignments=19185, nogoods=2535, foundSolutions=11, bestBound=59
47.98/45.78	    
48.88/46.68	    num=222, depth=0..6, filters=1440297, revisions=(2979523,useless=1346773), ccks=417151787, wck=44.543, mem=57M186
48.88/46.68	    decisions=52339, wrong=25839, backtracks=7109, failedAssignments=19376, nogoods=2544, foundSolutions=11, bestBound=59
48.88/46.68	    
49.08/46.87	    num=223, depth=1..5, filters=1454848, revisions=(3008315,useless=1359690), ccks=418469029, wck=44.733, mem=59M805
49.08/46.87	    decisions=52915, wrong=26126, backtracks=7195, failedAssignments=19587, nogoods=2556, foundSolutions=11, bestBound=59
49.08/46.87	    
49.29/47.07	    num=224, depth=2..7, filters=1470465, revisions=(3036440,useless=1370564), ccks=419818689, wck=44.924, mem=62M425
49.29/47.07	    decisions=53520, wrong=26427, backtracks=7274, failedAssignments=19819, nogoods=2579, foundSolutions=11, bestBound=59
49.29/47.07	    
49.58/47.40	    num=225, depth=1..6, filters=1488698, revisions=(3074158,useless=1387808), ccks=422361360, wck=45.254, mem=67M663
49.58/47.40	    decisions=54186, wrong=26758, backtracks=7364, failedAssignments=20074, nogoods=2607, foundSolutions=11, bestBound=59
49.58/47.40	    
50.68/48.44	    num=226, depth=1..5, filters=1506001, revisions=(3114801,useless=1406170), ccks=432872248, wck=46.295, mem=75M521
50.68/48.44	    decisions=54870, wrong=27098, backtracks=7430, failedAssignments=20355, nogoods=2632, foundSolutions=11, bestBound=59
50.68/48.44	    
51.18/48.99	    num=227, depth=1..6, filters=1531476, revisions=(3168237,useless=1430596), ccks=437448319, wck=46.847, mem=80M759
51.18/48.99	    decisions=55748, wrong=27535, backtracks=7570, failedAssignments=20664, nogoods=2651, foundSolutions=11, bestBound=59
51.18/48.99	    
51.68/49.47	    num=228, depth=1..5, filters=1559424, revisions=(3225855,useless=1457113), ccks=441031155, wck=47.324, mem=88M617
51.68/49.47	    decisions=56718, wrong=28019, backtracks=7721, failedAssignments=21004, nogoods=2665, foundSolutions=11, bestBound=59
51.68/49.47	    
52.08/49.87	    num=229, depth=1..6, filters=1588947, revisions=(3284737,useless=1482626), ccks=443762444, wck=47.727, mem=93M855
52.08/49.87	    decisions=57757, wrong=28537, backtracks=7896, failedAssignments=21378, nogoods=2688, foundSolutions=11, bestBound=59
52.08/49.87	    
52.88/50.61	    num=230, depth=0..6, filters=1622213, revisions=(3354111,useless=1514472), ccks=450093581, wck=48.472, mem=101M713
52.88/50.61	    decisions=58918, wrong=29116, backtracks=8084, failedAssignments=21789, nogoods=2716, foundSolutions=11, bestBound=59
52.88/50.61	    
53.98/51.73	    num=231, depth=0..6, filters=1662338, revisions=(3440359,useless=1553828), ccks=460093606, wck=49.592, mem=112M190
53.98/51.73	    decisions=60212, wrong=29762, backtracks=8327, failedAssignments=22241, nogoods=2748, foundSolutions=11, bestBound=59
53.98/51.73	    
54.48/52.24	    num=232, depth=0..6, filters=1700325, revisions=(3515387,useless=1586473), ccks=463636647, wck=50.095, mem=120M48
54.48/52.24	    decisions=61563, wrong=30435, backtracks=8523, failedAssignments=22738, nogoods=2775, foundSolutions=11, bestBound=59
54.48/52.24	    
55.29/53.02	    num=233, depth=1..6, filters=1748180, revisions=(3615134,useless=1632512), ccks=469416928, wck=50.882, mem=130M524
55.29/53.02	    decisions=63157, wrong=31230, backtracks=8795, failedAssignments=23285, nogoods=2800, foundSolutions=11, bestBound=59
55.29/53.02	    
56.49/54.27	    num=234, depth=0..6, filters=1796183, revisions=(3717921,useless=1680497), ccks=480276958, wck=52.125, mem=143M621
56.49/54.27	    decisions=64770, wrong=32035, backtracks=9016, failedAssignments=23887, nogoods=2804, foundSolutions=11, bestBound=59
56.49/54.27	    
56.89/54.61	    num=235, depth=1..6, filters=1835439, revisions=(3791346,useless=1711016), ccks=482262073, wck=52.473, mem=151M478
56.89/54.61	    decisions=66518, wrong=32908, backtracks=9249, failedAssignments=24549, nogoods=2820, foundSolutions=11, bestBound=59
56.89/54.61	    
58.83/56.59	    num=236, depth=0..6, filters=1901522, revisions=(3936345,useless=1778403), ccks=499754871, wck=54.447, mem=36M94
58.83/56.59	    decisions=68638, wrong=33967, backtracks=9632, failedAssignments=25277, nogoods=2849, foundSolutions=11, bestBound=59
58.83/56.59	    
59.53/57.23	    num=237, depth=0..6, filters=1957194, revisions=(4045764,useless=1825988), ccks=503908448, wck=55.085, mem=46M436
59.53/57.23	    decisions=70789, wrong=35041, backtracks=9926, failedAssignments=26078, nogoods=2855, foundSolutions=11, bestBound=59
59.53/57.23	    
61.03/58.77	    num=238, depth=0..6, filters=2027788, revisions=(4194547,useless=1894126), ccks=516661908, wck=56.629, mem=64M536
61.03/58.77	    decisions=73210, wrong=36250, backtracks=10303, failedAssignments=26959, nogoods=2892, foundSolutions=11, bestBound=59
61.03/58.77	    
63.34/61.10	    num=239, depth=0..6, filters=2102916, revisions=(4355085,useless=1966157), ccks=537859020, wck=58.955, mem=85M221
63.34/61.10	    decisions=75943, wrong=37615, backtracks=10727, failedAssignments=27929, nogoods=2925, foundSolutions=11, bestBound=59
63.34/61.10	    
64.53/62.24	    num=240, depth=1..6, filters=2184027, revisions=(4516346,useless=2036474), ccks=545740531, wck=60.1, mem=103M320
64.53/62.24	    decisions=78907, wrong=39095, backtracks=11180, failedAssignments=28996, nogoods=2941, foundSolutions=11, bestBound=59
64.53/62.24	    
65.73/63.48	    num=241, depth=0..6, filters=2279575, revisions=(4708282,useless=2122982), ccks=554034131, wck=61.336, mem=121M420
65.73/63.48	    decisions=82268, wrong=40774, backtracks=11743, failedAssignments=30169, nogoods=2958, foundSolutions=11, bestBound=59
65.73/63.48	    
66.23/63.94	o 55
66.23/63.94	    num=242, depth=0..54, filters=2305821, revisions=(4763507,useless=2148841), ccks=557555897, wck=61.799, mem=129M177
66.23/63.94	    decisions=83140, wrong=41208, backtracks=11872, failedAssignments=30481, nogoods=2962, foundSolutions=12, bestBound=55
66.23/63.94	    
68.99/66.63	    num=243, depth=1..6, filters=2406178, revisions=(4984113,useless=2251040), ccks=581142182, wck=64.485, mem=25M678
68.99/66.63	    decisions=86924, wrong=43099, backtracks=12378, failedAssignments=31901, nogoods=2970, foundSolutions=12, bestBound=55
68.99/66.63	    
68.99/66.67	    num=244, depth=3..4, filters=2407327, revisions=(4986548,useless=2252059), ccks=581564052, wck=64.53, mem=28M227
68.99/66.67	    decisions=86956, wrong=43113, backtracks=12381, failedAssignments=31912, nogoods=2978, foundSolutions=12, bestBound=55
68.99/66.67	    
69.09/66.72	    num=245, depth=2..4, filters=2408427, revisions=(4989180,useless=2253271), ccks=582060487, wck=64.582, mem=28M227
69.09/66.72	    decisions=86988, wrong=43128, backtracks=12384, failedAssignments=31924, nogoods=2980, foundSolutions=12, bestBound=55
69.09/66.72	    
69.09/66.76	    num=246, depth=2..4, filters=2409155, revisions=(4990835,useless=2254039), ccks=582380572, wck=64.615, mem=28M227
69.09/66.76	    decisions=87018, wrong=43142, backtracks=12386, failedAssignments=31937, nogoods=2986, foundSolutions=12, bestBound=55
69.09/66.76	    
69.20/66.81	    num=247, depth=3..5, filters=2410233, revisions=(4993447,useless=2255292), ccks=582883292, wck=64.668, mem=28M227
69.20/66.81	    decisions=87055, wrong=43159, backtracks=12389, failedAssignments=31951, nogoods=2998, foundSolutions=12, bestBound=55
69.20/66.81	    
69.20/66.84	    num=248, depth=0..4, filters=2411121, revisions=(4995514,useless=2256294), ccks=583119447, wck=64.695, mem=28M227
69.20/66.84	    decisions=87093, wrong=43176, backtracks=12391, failedAssignments=31967, nogoods=3006, foundSolutions=12, bestBound=55
69.20/66.84	    
69.20/66.87	    num=249, depth=1..5, filters=2413095, revisions=(4999712,useless=2258270), ccks=583400059, wck=64.731, mem=28M227
69.20/66.87	    decisions=87153, wrong=43205, backtracks=12408, failedAssignments=31984, nogoods=3011, foundSolutions=12, bestBound=55
69.20/66.87	    
69.30/66.97	    num=250, depth=1..4, filters=2414883, revisions=(5004113,useless=2260469), ccks=584374592, wck=64.832, mem=30M776
69.30/66.97	    decisions=87205, wrong=43230, backtracks=12416, failedAssignments=32003, nogoods=3016, foundSolutions=12, bestBound=55
69.30/66.97	    
69.41/67.02	    num=251, depth=1..5, filters=2417103, revisions=(5008929,useless=2262670), ccks=584731028, wck=64.876, mem=30M776
69.41/67.02	    decisions=87279, wrong=43265, backtracks=12433, failedAssignments=32024, nogoods=3024, foundSolutions=12, bestBound=55
69.41/67.02	    
69.41/67.07	    num=252, depth=2..5, filters=2418967, revisions=(5012871,useless=2264388), ccks=585157000, wck=64.926, mem=30M776
69.41/67.07	    decisions=87342, wrong=43295, backtracks=12442, failedAssignments=32047, nogoods=3035, foundSolutions=12, bestBound=55
69.41/67.07	    
69.51/67.14	    num=253, depth=1..5, filters=2421655, revisions=(5019126,useless=2267496), ccks=585813098, wck=65.002, mem=30M776
69.51/67.14	    decisions=87432, wrong=43338, backtracks=12462, failedAssignments=32072, nogoods=3037, foundSolutions=12, bestBound=55
69.51/67.14	    
69.60/67.21	    num=254, depth=1..4, filters=2423941, revisions=(5024288,useless=2269955), ccks=586364221, wck=65.067, mem=33M325
69.60/67.21	    decisions=87504, wrong=43373, backtracks=12470, failedAssignments=32100, nogoods=3046, foundSolutions=12, bestBound=55
69.60/67.21	    
69.60/67.29	    num=255, depth=2..5, filters=2425816, revisions=(5028627,useless=2271979), ccks=587163442, wck=65.15, mem=33M325
69.60/67.29	    decisions=87577, wrong=43408, backtracks=12475, failedAssignments=32131, nogoods=3056, foundSolutions=12, bestBound=55
69.60/67.29	    
69.70/67.33	    num=256, depth=2..5, filters=2427856, revisions=(5033019,useless=2273944), ccks=587481181, wck=65.19, mem=33M325
69.70/67.33	    decisions=87662, wrong=43449, backtracks=12483, failedAssignments=32165, nogoods=3065, foundSolutions=12, bestBound=55
69.70/67.33	    
69.80/67.43	    num=257, depth=2..5, filters=2431943, revisions=(5041273,useless=2277360), ccks=588320550, wck=65.289, mem=33M325
69.80/67.43	    decisions=87784, wrong=43508, backtracks=12507, failedAssignments=32202, nogoods=3070, foundSolutions=12, bestBound=55
69.80/67.43	    
70.00/67.67	    num=258, depth=0..4, filters=2437361, revisions=(5054322,useless=2283733), ccks=590547396, wck=65.526, mem=35M874
70.00/67.67	    decisions=87923, wrong=43576, backtracks=12537, failedAssignments=32243, nogoods=3071, foundSolutions=12, bestBound=55
70.00/67.67	    
70.10/67.77	    num=259, depth=1..5, filters=2440878, revisions=(5062578,useless=2287834), ccks=591378725, wck=65.624, mem=38M423
70.10/67.77	    decisions=88043, wrong=43635, backtracks=12555, failedAssignments=32288, nogoods=3086, foundSolutions=12, bestBound=55
70.10/67.77	    
70.30/67.93	    num=260, depth=2..5, filters=2443524, revisions=(5068676,useless=2290575), ccks=593082026, wck=65.791, mem=38M423
70.30/67.93	    decisions=88165, wrong=43695, backtracks=12566, failedAssignments=32338, nogoods=3094, foundSolutions=12, bestBound=55
70.30/67.93	    
70.30/68.00	    num=261, depth=1..5, filters=2447450, revisions=(5077104,useless=2294382), ccks=593586136, wck=65.859, mem=38M423
70.30/68.00	    decisions=88316, wrong=43769, backtracks=12590, failedAssignments=32393, nogoods=3103, foundSolutions=12, bestBound=55
70.30/68.00	    
70.52/68.19	    num=262, depth=2..5, filters=2451674, revisions=(5087011,useless=2298869), ccks=595421373, wck=66.051, mem=40M972
70.52/68.19	    decisions=88466, wrong=43843, backtracks=12606, failedAssignments=32454, nogoods=3112, foundSolutions=12, bestBound=55
70.52/68.19	    
70.71/68.34	    num=263, depth=1..5, filters=2456743, revisions=(5098608,useless=2304552), ccks=596785629, wck=66.203, mem=43M521
70.71/68.34	    decisions=88646, wrong=43931, backtracks=12633, failedAssignments=32521, nogoods=3125, foundSolutions=12, bestBound=55
70.71/68.34	    
71.01/68.61	    num=264, depth=1..5, filters=2461771, revisions=(5110482,useless=2309994), ccks=599411727, wck=66.47, mem=43M521
71.01/68.61	    decisions=88849, wrong=44032, backtracks=12662, failedAssignments=32595, nogoods=3129, foundSolutions=12, bestBound=55
71.01/68.61	    
71.11/68.74	    num=265, depth=0..5, filters=2468460, revisions=(5124969,useless=2316778), ccks=600380363, wck=66.596, mem=46M70
71.11/68.74	    decisions=89083, wrong=44148, backtracks=12703, failedAssignments=32676, nogoods=3136, foundSolutions=12, bestBound=55
71.11/68.74	    
71.31/68.91	    num=266, depth=1..5, filters=2476792, revisions=(5143918,useless=2325870), ccks=601711113, wck=66.768, mem=48M619
71.31/68.91	    decisions=89347, wrong=44279, backtracks=12749, failedAssignments=32765, nogoods=3152, foundSolutions=12, bestBound=55
71.31/68.91	    
71.61/69.24	    num=267, depth=1..5, filters=2483509, revisions=(5159799,useless=2333150), ccks=604967546, wck=67.103, mem=51M168
71.61/69.24	    decisions=89613, wrong=44411, backtracks=12785, failedAssignments=32863, nogoods=3155, foundSolutions=12, bestBound=55
71.61/69.24	    
71.91/69.56	    num=268, depth=0..5, filters=2492695, revisions=(5181360,useless=2343571), ccks=607891724, wck=67.423, mem=53M717
71.91/69.56	    decisions=89897, wrong=44552, backtracks=12825, failedAssignments=32971, nogoods=3161, foundSolutions=12, bestBound=55
71.91/69.56	    
72.21/69.89	    num=269, depth=0..5, filters=2502811, revisions=(5204820,useless=2354917), ccks=610889836, wck=67.754, mem=56M267
72.21/69.89	    decisions=90236, wrong=44720, backtracks=12881, failedAssignments=33090, nogoods=3177, foundSolutions=12, bestBound=55
72.21/69.89	    
72.42/70.04	    num=270, depth=1..6, filters=2511257, revisions=(5223530,useless=2363844), ccks=611982233, wck=67.902, mem=58M816
72.42/70.04	    decisions=90588, wrong=44895, backtracks=12931, failedAssignments=33221, nogoods=3187, foundSolutions=12, bestBound=55
72.42/70.04	    
72.61/70.28	    num=271, depth=0..5, filters=2522851, revisions=(5249039,useless=2375961), ccks=613895154, wck=68.141, mem=61M365
72.61/70.28	    decisions=91012, wrong=45105, backtracks=13009, failedAssignments=33365, nogoods=3195, foundSolutions=12, bestBound=55
72.61/70.28	    
72.91/70.50	    num=272, depth=0..5, filters=2534123, revisions=(5274024,useless=2388065), ccks=615618915, wck=68.361, mem=63M914
72.91/70.50	    decisions=91450, wrong=45323, backtracks=13083, failedAssignments=33523, nogoods=3204, foundSolutions=12, bestBound=55
72.91/70.50	    
73.21/70.82	    num=273, depth=0..6, filters=2550355, revisions=(5310572,useless=2406134), ccks=618046363, wck=68.682, mem=66M463
73.21/70.82	    decisions=91958, wrong=45575, backtracks=13175, failedAssignments=33697, nogoods=3214, foundSolutions=12, bestBound=55
73.21/70.82	    
73.42/71.05	    num=274, depth=1..5, filters=2564059, revisions=(5338518,useless=2418566), ccks=619698567, wck=68.906, mem=71M561
73.42/71.05	    decisions=92470, wrong=45830, backtracks=13249, failedAssignments=33888, nogoods=3226, foundSolutions=12, bestBound=55
73.42/71.05	    
74.01/71.68	    num=275, depth=0..5, filters=2581110, revisions=(5378455,useless=2438300), ccks=625489971, wck=69.535, mem=76M659
74.01/71.68	    decisions=93071, wrong=46129, backtracks=13343, failedAssignments=34099, nogoods=3247, foundSolutions=12, bestBound=55
74.01/71.68	    
74.31/71.99	    num=276, depth=0..6, filters=2598689, revisions=(5415732,useless=2455192), ccks=627853161, wck=69.846, mem=79M208
74.31/71.99	    decisions=93717, wrong=46450, backtracks=13443, failedAssignments=34331, nogoods=3259, foundSolutions=12, bestBound=55
74.31/71.99	    
74.81/72.45	    num=277, depth=0..5, filters=2619618, revisions=(5462821,useless=2477546), ccks=631519226, wck=70.308, mem=86M855
74.81/72.45	    decisions=94405, wrong=46793, backtracks=13541, failedAssignments=34586, nogoods=3267, foundSolutions=12, bestBound=55
74.81/72.45	    
75.11/72.74	    num=278, depth=1..5, filters=2636932, revisions=(5499772,useless=2494729), ccks=633656857, wck=70.597, mem=89M404
75.11/72.74	    decisions=95148, wrong=47164, backtracks=13642, failedAssignments=34867, nogoods=3293, foundSolutions=12, bestBound=55
75.11/72.74	    
75.91/73.54	    num=279, depth=0..5, filters=2660462, revisions=(5553784,useless=2519843), ccks=640956735, wck=71.396, mem=97M51
75.91/73.54	    decisions=95988, wrong=47583, backtracks=13778, failedAssignments=35176, nogoods=3301, foundSolutions=12, bestBound=55
75.91/73.54	    
77.21/74.80	    num=280, depth=0..5, filters=2691781, revisions=(5627014,useless=2555250), ccks=652712749, wck=72.662, mem=107M247
77.21/74.80	    decisions=96960, wrong=48067, backtracks=13944, failedAssignments=35516, nogoods=3319, foundSolutions=12, bestBound=55
77.21/74.80	    
78.11/75.72	    num=281, depth=0..5, filters=2725875, revisions=(5704885,useless=2593043), ccks=660406405, wck=73.574, mem=114M894
78.11/75.72	    decisions=98065, wrong=48618, backtracks=14145, failedAssignments=35890, nogoods=3335, foundSolutions=12, bestBound=55
78.11/75.72	    
79.71/77.31	    num=282, depth=0..5, filters=2759827, revisions=(5784025,useless=2629711), ccks=675784897, wck=75.164, mem=127M640
79.71/77.31	    decisions=99271, wrong=49220, backtracks=14354, failedAssignments=36301, nogoods=3346, foundSolutions=12, bestBound=55
79.71/77.31	    
81.11/78.75	    num=283, depth=0..5, filters=2801254, revisions=(5879138,useless=2674521), ccks=688713452, wck=76.604, mem=140M385
81.11/78.75	    decisions=100570, wrong=49869, backtracks=14583, failedAssignments=36753, nogoods=3348, foundSolutions=12, bestBound=55
81.11/78.75	    
82.65/80.21	    num=284, depth=1..5, filters=2837591, revisions=(5959873,useless=2710302), ccks=702483351, wck=78.072, mem=25M642
82.65/80.21	    decisions=101954, wrong=50559, backtracks=14786, failedAssignments=37250, nogoods=3368, foundSolutions=12, bestBound=55
82.65/80.21	    
83.37/80.97	    num=285, depth=0..6, filters=2878017, revisions=(6046596,useless=2749730), ccks=708215065, wck=78.83, mem=33M174
83.37/80.97	    decisions=103469, wrong=51315, backtracks=15026, failedAssignments=37797, nogoods=3400, foundSolutions=12, bestBound=55
83.37/80.97	    
85.07/82.64	    num=286, depth=0..5, filters=2930698, revisions=(6163219,useless=2802707), ccks=723168421, wck=80.495, mem=48M237
85.07/82.64	    decisions=105256, wrong=52207, backtracks=15356, failedAssignments=38399, nogoods=3413, foundSolutions=12, bestBound=55
85.07/82.64	    
86.48/84.08	    num=287, depth=0..6, filters=2986100, revisions=(6284862,useless=2858131), ccks=735621019, wck=81.943, mem=63M300
86.48/84.08	    decisions=107150, wrong=53153, backtracks=15680, failedAssignments=39061, nogoods=3438, foundSolutions=12, bestBound=55
86.48/84.08	    
88.27/85.88	    num=288, depth=0..6, filters=3043285, revisions=(6407205,useless=2910661), ccks=751919353, wck=83.737, mem=80M873
88.27/85.88	    decisions=109204, wrong=54178, backtracks=16020, failedAssignments=39789, nogoods=3443, foundSolutions=12, bestBound=55
88.27/85.88	    
90.77/88.35	    num=289, depth=0..5, filters=3117336, revisions=(6572444,useless=2984830), ccks=774300860, wck=86.209, mem=100M957
90.77/88.35	    decisions=111588, wrong=55369, backtracks=16473, failedAssignments=40590, nogoods=3458, foundSolutions=12, bestBound=55
90.77/88.35	    
93.07/90.62	    num=290, depth=0..5, filters=3196911, revisions=(6749172,useless=3064603), ccks=794082409, wck=88.476, mem=123M552
93.07/90.62	    decisions=114206, wrong=56677, backtracks=16971, failedAssignments=41471, nogoods=3474, foundSolutions=12, bestBound=55
93.07/90.62	    
96.40/93.96	    num=291, depth=0..5, filters=3297951, revisions=(6978249,useless=3171005), ccks=824049335, wck=91.814, mem=28M66
96.40/93.96	    decisions=117272, wrong=58209, backtracks=17661, failedAssignments=42441, nogoods=3482, foundSolutions=12, bestBound=55
96.40/93.96	    
97.40/94.96	
97.40/94.96	  New Bounds: 55..54
97.40/94.96	    num=292, depth=0..5, filters=3320895, revisions=(7031446,useless=3196235), ccks=833693820, wck=92.821, mem=33M8
97.40/94.96	    decisions=117970, wrong=58559, backtracks=17827, failedAssignments=42647, foundSolutions=12, bestBound=55
97.40/94.96	    
97.40/94.96	  Global
97.40/94.96	    filters=3320895, revisions=(7031446,useless=3196235), ccks=833693820
97.40/94.96	    Stop=FULL_EXPLORATION, wrong=58559, bestBound=55, bestBoundWck=62.102, bestBoundCpu=63.859, foundSolutions=12, firstSolCpu=2.985
97.40/94.96	    wck=93.125, cpu=94.847, mem=33M8
97.40/94.96	
97.40/94.96	v <instantiation id='sol12' type='solution' cost='55'>  <list> x[] y[][] </list>  <values> 0 1 6 10 23 26 34 41 53 55 * 1 6 10 23 26 34 41 53 55 * * 5 9 22 25 33 40 52 54 * * * 4 17 20 28 35 47 49 * * * * 13 16 24 31 43 45 * * * * * 3 11 18 30 32 * * * * * * 8 15 27 29 * * * * * * * 7 19 21 * * * * * * * * 12 14 * * * * * * * * * 2 * * * * * * * * * * </values>  </instantiation>
97.40/94.96	s OPTIMUM FOUND
97.40/94.96	
97.40/94.96	d WRONG_DECISIONS 58559
97.40/94.96	d NUMBER_SOLUTIONS 12

Verifier Data 

OK	55

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390825-1568387170/watcher-4390825-1568387170 -o /tmp/evaluation-result-4390825-1568387170/solver-4390825-1568387170 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568380618-26495 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390825-1568387170.xml -cm 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=27750, runsolver pid=27747
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 1.80 1.75 1.78 4/227 27765
/proc/meminfo: memFree=30349012/32770624 swapFree=66932024/67108860
[pid=27750] ppid=27747 vsize=10659884 memory=28984 CPUtime=0.14 cores=1,3,5,7
/proc/27750/stat : 27750 (java) S 27747 27750 26463 0 -1 1077944320 5199 0 0 0 13 1 0 0 20 0 15 0 414984818 10915721216 7246 33554432000 4194304 4196468 140730014564800 140730014547344 139855162765047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
/proc/27750/statm: 2664971 7246 2903 1 0 2627468 0
[pid=27750/tid=27752] ppid=27747 vsize=10659884 memory=-7254949979417569401 CPUtime=0.09 cores=1,3,5,7
/proc/27750/task/27752/stat : 27752 (java) R 27747 27750 26463 0 -1 4202560 2919 0 0 0 9 0 0 0 20 0 15 0 414984818 10915721216 7312 33554432000 4194304 4196468 140730014564800 139855166987168 139855145054419 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27753] ppid=27747 vsize=10659884 memory=5793855921638431161 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27753/stat : 27753 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984819 10915721216 7312 33554432000 4194304 4196468 140730014564800 139855088839056 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27754] ppid=27747 vsize=10659884 memory=140670628537984 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27754/stat : 27754 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984819 10915721216 7312 33554432000 4194304 4196468 140730014564800 139855087786256 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27755] ppid=27747 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27755/stat : 27755 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984819 10915721216 7312 33554432000 4194304 4196468 140730014564800 139855086733968 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27756] ppid=27747 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27756/stat : 27756 (java) S 27747 27750 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414984819 10915721216 7312 33554432000 4194304 4196468 140730014564800 139855085681168 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27757] ppid=27747 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27757/stat : 27757 (java) S 27747 27750 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414984820 10915721216 7312 33554432000 4194304 4196468 140730014564800 139854198438512 139855162776194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27758] ppid=27747 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27758/stat : 27758 (java) S 27747 27750 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414984820 10915721216 7312 33554432000 4194304 4196468 140730014564800 139854197384480 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27759] ppid=27747 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27759/stat : 27759 (java) S 27747 27750 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414984821 10915721216 7312 33554432000 4194304 4196468 140730014564800 139854196332144 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27760] ppid=27747 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27760/stat : 27760 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414984823 10915721216 7312 33554432000 4194304 4196468 140730014564800 139854195280464 139855162783643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27761] ppid=27747 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27761/stat : 27761 (java) S 27747 27750 26463 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 414984823 10915721216 7312 33554432000 4194304 4196468 140730014564800 139854194227312 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27762] ppid=27747 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27762/stat : 27762 (java) S 27747 27750 26463 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 15 0 414984823 10915721216 7312 33554432000 4194304 4196468 140730014564800 139854193174512 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27763] ppid=27747 vsize=10659884 memory=140670628537984 CPUtime=0.02 cores=1,3,5,7
/proc/27750/task/27763/stat : 27763 (java) R 27747 27750 26463 0 -1 4202560 519 0 0 0 2 0 0 0 20 0 15 0 414984823 10915721216 7312 33554432000 4194304 4196468 140730014564800 139854192118728 139855141290379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27764] ppid=27747 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27764/stat : 27764 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414984823 10915721216 7312 33554432000 4194304 4196468 140730014564800 139854191069664 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27765] ppid=27747 vsize=10659884 memory=140670628537984 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27765/stat : 27765 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984824 10915721216 7312 33554432000 4194304 4196468 140730014564800 139854190017456 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28984 KiB

[startup+0.210725 s]*
/proc/loadavg: 1.80 1.75 1.78 3/227 27765
/proc/meminfo: memFree=30337684/32770624 swapFree=66932024/67108860
[pid=27750] ppid=27747 vsize=10659884 memory=37488 CPUtime=0.33 cores=1,3,5,7
/proc/27750/stat : 27750 (java) S 27747 27750 26463 0 -1 1077944320 8629 0 0 0 31 2 0 0 20 0 15 0 414984818 10915721216 9372 33554432000 4194304 4196468 140730014564800 140730014547344 139855162765047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
/proc/27750/statm: 2664971 9372 2989 1 0 2627468 0
[pid=27750/tid=27752] ppid=27747 vsize=10659884 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/27750/task/27752/stat : 27752 (java) R 27747 27750 26463 0 -1 4202560 5641 0 0 0 19 1 0 0 20 0 15 0 414984818 10915721216 9372 33554432000 4194304 4196468 140730014564800 139855166991408 139855162786973 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27753] ppid=27747 vsize=10659884 memory=4211974396833328522 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27753/stat : 27753 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984819 10915721216 9372 33554432000 4194304 4196468 140730014564800 139855088839056 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27754] ppid=27747 vsize=10659884 memory=140670628537984 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27754/stat : 27754 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984819 10915721216 9372 33554432000 4194304 4196468 140730014564800 139855087786256 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27755] ppid=27747 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27755/stat : 27755 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984819 10915721216 9372 33554432000 4194304 4196468 140730014564800 139855086733968 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27756] ppid=27747 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27756/stat : 27756 (java) S 27747 27750 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414984819 10915721216 9372 33554432000 4194304 4196468 140730014564800 139855085681168 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27757] ppid=27747 vsize=10659884 memory=140670628537984 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27757/stat : 27757 (java) S 27747 27750 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414984820 10915721216 9372 33554432000 4194304 4196468 140730014564800 139854198438512 139855162776194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27758] ppid=27747 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27758/stat : 27758 (java) S 27747 27750 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414984820 10915721216 9372 33554432000 4194304 4196468 140730014564800 139854197384480 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27759] ppid=27747 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27759/stat : 27759 (java) S 27747 27750 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414984821 10915721216 9372 33554432000 4194304 4196468 140730014564800 139854196332144 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27760] ppid=27747 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27760/stat : 27760 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414984823 10915721216 9372 33554432000 4194304 4196468 140730014564800 139854195280464 139855162783643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27761] ppid=27747 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27750/task/27761/stat : 27761 (java) S 27747 27750 26463 0 -1 1077944384 572 0 0 0 3 0 0 0 20 0 15 0 414984823 10915721216 9372 33554432000 4194304 4196468 140730014564800 139854194227312 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27762] ppid=27747 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27750/task/27762/stat : 27762 (java) S 27747 27750 26463 0 -1 1077944384 334 0 0 0 2 0 0 0 20 0 15 0 414984823 10915721216 9372 33554432000 4194304 4196468 140730014564800 139854193174512 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27763] ppid=27747 vsize=10659884 memory=140670628537984 CPUtime=0.05 cores=1,3,5,7
/proc/27750/task/27763/stat : 27763 (java) S 27747 27750 26463 0 -1 1077944384 723 0 0 0 5 0 0 0 20 0 15 0 414984823 10915721216 9372 33554432000 4194304 4196468 140730014564800 139854192122224 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27764] ppid=27747 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27764/stat : 27764 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414984823 10915721216 9372 33554432000 4194304 4196468 140730014564800 139854191069664 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27765] ppid=27747 vsize=10659884 memory=140670628537984 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27765/stat : 27765 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984824 10915721216 9372 33554432000 4194304 4196468 140730014564800 139854190017456 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37488 KiB

[startup+0.310211 s]*
/proc/loadavg: 1.80 1.75 1.78 4/227 27765
/proc/meminfo: memFree=30335888/32770624 swapFree=66932024/67108860
[pid=27750] ppid=27747 vsize=10659884 memory=40484 CPUtime=0.48 cores=1,3,5,7
/proc/27750/stat : 27750 (java) S 27747 27750 26463 0 -1 1077944320 8952 0 0 0 45 3 0 0 20 0 15 0 414984818 10915721216 10121 33554432000 4194304 4196468 140730014564800 140730014547344 139855162765047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
/proc/27750/statm: 2664971 10121 3020 1 0 2627468 0
[pid=27750/tid=27752] ppid=27747 vsize=10659884 memory=281341027418352 CPUtime=0.3 cores=1,3,5,7
/proc/27750/task/27752/stat : 27752 (java) R 27747 27750 26463 0 -1 4202560 5896 0 0 0 28 2 0 0 20 0 15 0 414984818 10915721216 10121 33554432000 4194304 4196468 140730014564800 139855166985200 139855162786973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27753] ppid=27747 vsize=10659884 memory=4211974396833328522 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27753/stat : 27753 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984819 10915721216 10121 33554432000 4194304 4196468 140730014564800 139855088839056 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27754] ppid=27747 vsize=10659884 memory=140670628540399 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27754/stat : 27754 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984819 10915721216 10121 33554432000 4194304 4196468 140730014564800 139855087786256 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27755] ppid=27747 vsize=10659884 memory=140670513842287 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27755/stat : 27755 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984819 10915721216 10121 33554432000 4194304 4196468 140730014564800 139855086733968 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27756] ppid=27747 vsize=10659884 memory=140670513822671 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27756/stat : 27756 (java) S 27747 27750 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414984819 10915721216 10121 33554432000 4194304 4196468 140730014564800 139855085681168 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27757] ppid=27747 vsize=10659884 memory=140670628564474 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27757/stat : 27757 (java) S 27747 27750 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414984820 10915721216 10121 33554432000 4194304 4196468 140730014564800 139854198438512 139855162776194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27758] ppid=27747 vsize=10659884 memory=140670513822671 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27758/stat : 27758 (java) S 27747 27750 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414984820 10915721216 10121 33554432000 4194304 4196468 140730014564800 139854197384480 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27759] ppid=27747 vsize=10659884 memory=281341027666064 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27759/stat : 27759 (java) S 27747 27750 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414984821 10915721216 10121 33554432000 4194304 4196468 140730014564800 139854196332144 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27760] ppid=27747 vsize=10659884 memory=281341027663696 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27760/stat : 27760 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414984823 10915721216 10121 33554432000 4194304 4196468 140730014564800 139854195280464 139855162783643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27761] ppid=27747 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27750/task/27761/stat : 27761 (java) S 27747 27750 26463 0 -1 1077944384 611 0 0 0 5 0 0 0 20 0 15 0 414984823 10915721216 10121 33554432000 4194304 4196468 140730014564800 139854194227312 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27762] ppid=27747 vsize=10659884 memory=2240 CPUtime=0.03 cores=1,3,5,7
/proc/27750/task/27762/stat : 27762 (java) R 27747 27750 26463 0 -1 1077944384 342 0 0 0 3 0 0 0 20 0 15 0 414984823 10915721216 10121 33554432000 4194304 4196468 140730014564800 139854193174512 139855162776194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27763] ppid=27747 vsize=10659884 memory=140670628537984 CPUtime=0.08 cores=1,3,5,7
/proc/27750/task/27763/stat : 27763 (java) R 27747 27750 26463 0 -1 4202560 745 0 0 0 8 0 0 0 20 0 15 0 414984823 10915721216 10121 33554432000 4194304 4196468 140730014564800 139854192122224 139855162776982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27764] ppid=27747 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27764/stat : 27764 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414984823 10915721216 10121 33554432000 4194304 4196468 140730014564800 139854191069664 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27765] ppid=27747 vsize=10659884 memory=140670628537984 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27765/stat : 27765 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984824 10915721216 10121 33554432000 4194304 4196468 140730014564800 139854190017456 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40484 KiB

[startup+0.700839 s]
/proc/loadavg: 1.80 1.75 1.78 3/227 27765
/proc/meminfo: memFree=30325256/32770624 swapFree=66932024/67108860
[pid=27750] ppid=27747 vsize=10661932 memory=63652 CPUtime=1.11 cores=1,3,5,7
/proc/27750/stat : 27750 (java) S 27747 27750 26463 0 -1 1077944320 12455 0 0 0 106 5 0 0 20 0 15 0 414984818 10917818368 15913 33554432000 4194304 4196468 140730014564800 140730014547344 139855162765047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
/proc/27750/statm: 2665483 15913 3070 1 0 2627980 0
[pid=27750/tid=27752] ppid=27747 vsize=10661932 memory=2832 CPUtime=0.68 cores=1,3,5,7
/proc/27750/task/27752/stat : 27752 (java) R 27747 27750 26463 0 -1 4202560 8322 0 0 0 64 4 0 0 20 0 15 0 414984818 10917818368 15913 33554432000 4194304 4196468 140730014564800 139855166990928 139855144138504 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27753] ppid=27747 vsize=10661932 memory=772 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27753/stat : 27753 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984819 10917818368 15913 33554432000 4194304 4196468 140730014564800 139855088839056 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27754] ppid=27747 vsize=10661932 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27754/stat : 27754 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984819 10917818368 15913 33554432000 4194304 4196468 140730014564800 139855087786256 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27755] ppid=27747 vsize=10661932 memory=6296683651326628198 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27755/stat : 27755 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984819 10917818368 15913 33554432000 4194304 4196468 140730014564800 139855086733968 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27756] ppid=27747 vsize=10661932 memory=7739276948477865319 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27756/stat : 27756 (java) S 27747 27750 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414984819 10917818368 15913 33554432000 4194304 4196468 140730014564800 139855085681168 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27757] ppid=27747 vsize=10661932 memory=5787213848925131109 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27757/stat : 27757 (java) S 27747 27750 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414984820 10917818368 15913 33554432000 4194304 4196468 140730014564800 139854198438512 139855162776194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27758] ppid=27747 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27758/stat : 27758 (java) S 27747 27750 26463 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414984820 10917818368 15913 33554432000 4194304 4196468 140730014564800 139854197384480 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27759] ppid=27747 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27759/stat : 27759 (java) S 27747 27750 26463 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414984821 10917818368 15913 33554432000 4194304 4196468 140730014564800 139854196332144 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27760] ppid=27747 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27760/stat : 27760 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414984823 10917818368 15913 33554432000 4194304 4196468 140730014564800 139854195280464 139855162783643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27761] ppid=27747 vsize=10661932 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27750/task/27761/stat : 27761 (java) S 27747 27750 26463 0 -1 1077944384 871 0 0 0 12 0 0 0 20 0 15 0 414984823 10917818368 15913 33554432000 4194304 4196468 140730014564800 139854194227312 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27762] ppid=27747 vsize=10661932 memory=11 CPUtime=0.09 cores=1,3,5,7
/proc/27750/task/27762/stat : 27762 (java) R 27747 27750 26463 0 -1 4202560 713 0 0 0 9 0 0 0 20 0 15 0 414984823 10917818368 15913 33554432000 4194304 4196468 140730014564800 139854193174512 139855162778896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27763] ppid=27747 vsize=10661932 memory=1366 CPUtime=0.19 cores=1,3,5,7
/proc/27750/task/27763/stat : 27763 (java) S 27747 27750 26463 0 -1 1077944384 1190 0 0 0 19 0 0 0 20 0 15 0 414984823 10917818368 15913 33554432000 4194304 4196468 140730014564800 139854192122224 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27764] ppid=27747 vsize=10661932 memory=281341027843056 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27764/stat : 27764 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414984823 10917818368 15913 33554432000 4194304 4196468 140730014564800 139854191069664 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27765] ppid=27747 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27765/stat : 27765 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984824 10917818368 15913 33554432000 4194304 4196468 140730014564800 139854190017456 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63652 KiB

[startup+1.50075 s]
/proc/loadavg: 1.80 1.75 1.78 3/227 27765
/proc/meminfo: memFree=30309444/32770624 swapFree=66932024/67108860
[pid=27750] ppid=27747 vsize=10663980 memory=75632 CPUtime=2 cores=1,3,5,7
/proc/27750/stat : 27750 (java) S 27747 27750 26463 0 -1 1077944320 17759 0 0 0 194 6 0 0 20 0 15 0 414984818 10919915520 18908 33554432000 4194304 4196468 140730014564800 140730014547344 139855162765047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
/proc/27750/statm: 2665995 18908 3096 1 0 2628492 0
[pid=27750/tid=27752] ppid=27747 vsize=10663980 memory=71936 CPUtime=1.48 cores=1,3,5,7
/proc/27750/task/27752/stat : 27752 (java) R 27747 27750 26463 0 -1 4202560 12343 0 0 0 143 5 0 0 20 0 15 0 414984818 10919915520 18908 33554432000 4194304 4196468 140730014564800 139855166997072 139855145951856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27753] ppid=27747 vsize=10663980 memory=281341027729152 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27753/stat : 27753 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984819 10919915520 18908 33554432000 4194304 4196468 140730014564800 139855088839056 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27754] ppid=27747 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27754/stat : 27754 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984819 10919915520 18908 33554432000 4194304 4196468 140730014564800 139855087786256 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27755] ppid=27747 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27755/stat : 27755 (java) S 27747 27750 26463 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414984819 10919915520 18908 33554432000 4194304 4196468 140730014564800 139855086733968 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27756] ppid=27747 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27756/stat : 27756 (java) S 27747 27750 26463 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414984819 10919915520 18908 33554432000 4194304 4196468 140730014564800 139855085681168 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27757] ppid=27747 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27757/stat : 27757 (java) S 27747 27750 26463 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 414984820 10919915520 18908 33554432000 4194304 4196468 140730014564800 139854198438512 139855162776194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0

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

[startup+93.6006 s]
/proc/loadavg: 1.69 1.73 1.77 3/228 27773
/proc/meminfo: memFree=30142252/32770624 swapFree=66932024/67108860
[pid=27750] ppid=27747 vsize=10748324 memory=240688 CPUtime=96.1 cores=1,3,5,7
/proc/27750/stat : 27750 (java) S 27747 27750 26463 0 -1 1077944320 52127 0 0 0 9592 18 0 0 20 0 16 0 414984818 11006283776 60172 33554432000 4194304 4196468 140730014564800 140730014547344 139855162765047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
/proc/27750/statm: 2687081 60172 3368 1 0 2647217 0
[pid=27750/tid=27752] ppid=27747 vsize=10748324 memory=4104 CPUtime=1.84 cores=1,3,5,7
/proc/27750/task/27752/stat : 27752 (java) S 27747 27750 26463 0 -1 1077944384 14478 0 0 0 178 6 0 0 20 0 16 0 414984818 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855167007920 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27753] ppid=27747 vsize=10748324 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/27750/task/27753/stat : 27753 (java) S 27747 27750 26463 0 -1 1077944384 2000 0 0 0 7 0 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855088839056 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27754] ppid=27747 vsize=10748324 memory=2984 CPUtime=0.08 cores=1,3,5,7
/proc/27750/task/27754/stat : 27754 (java) S 27747 27750 26463 0 -1 1077944384 401 0 0 0 7 1 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855087786256 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27755] ppid=27747 vsize=10748324 memory=234540 CPUtime=0.07 cores=1,3,5,7
/proc/27750/task/27755/stat : 27755 (java) S 27747 27750 26463 0 -1 1077944384 1171 0 0 0 7 0 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855086733968 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27756] ppid=27747 vsize=10748324 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/27750/task/27756/stat : 27756 (java) S 27747 27750 26463 0 -1 1077944384 1184 0 0 0 7 0 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855085681168 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27757] ppid=27747 vsize=10748324 memory=38852 CPUtime=0.01 cores=1,3,5,7
/proc/27750/task/27757/stat : 27757 (java) S 27747 27750 26463 0 -1 1077944384 2068 0 0 0 1 0 0 0 20 0 16 0 414984820 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854198438512 139855162776194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27758] ppid=27747 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27758/stat : 27758 (java) S 27747 27750 26463 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414984820 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854197384544 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27759] ppid=27747 vsize=10748324 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27759/stat : 27759 (java) S 27747 27750 26463 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414984821 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854196332160 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27760] ppid=27747 vsize=10748324 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27760/stat : 27760 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854195280464 139855162783643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27761] ppid=27747 vsize=10748324 memory=234540 CPUtime=0.77 cores=1,3,5,7
/proc/27750/task/27761/stat : 27761 (java) S 27747 27750 26463 0 -1 1077944384 5963 0 0 0 76 1 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854194227312 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27762] ppid=27747 vsize=10748324 memory=1060 CPUtime=0.87 cores=1,3,5,7
/proc/27750/task/27762/stat : 27762 (java) S 27747 27750 26463 0 -1 1077944384 5222 0 0 0 86 1 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854193174512 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27763] ppid=27747 vsize=10748324 memory=1676 CPUtime=0.59 cores=1,3,5,7
/proc/27750/task/27763/stat : 27763 (java) S 27747 27750 26463 0 -1 1077944384 8155 0 0 0 58 1 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854192122224 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27764] ppid=27747 vsize=10748324 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27764/stat : 27764 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854191069664 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27765] ppid=27747 vsize=10748324 memory=1176 CPUtime=0.01 cores=1,3,5,7
/proc/27750/task/27765/stat : 27765 (java) S 27747 27750 26463 0 -1 1077944384 254 0 0 0 0 1 0 0 20 0 16 0 414984824 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854190017456 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27766] ppid=27747 vsize=10748324 memory=5880 CPUtime=91.61 cores=1,3,5,7
/proc/27750/task/27766/stat : 27766 (java) R 27747 27750 26463 0 -1 4202560 9807 0 0 0 9158 3 0 0 20 0 16 0 414985005 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854173175440 139854759772800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
Current children cumulated CPU time: 96.1 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 240688 KiB

[startup+94.4006 s]
/proc/loadavg: 1.69 1.73 1.77 3/228 27773
/proc/meminfo: memFree=30135984/32770624 swapFree=66932024/67108860
[pid=27750] ppid=27747 vsize=10748324 memory=240688 CPUtime=96.9 cores=1,3,5,7
/proc/27750/stat : 27750 (java) S 27747 27750 26463 0 -1 1077944320 52131 0 0 0 9672 18 0 0 20 0 16 0 414984818 11006283776 60172 33554432000 4194304 4196468 140730014564800 140730014547344 139855162765047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
/proc/27750/statm: 2687081 60172 3368 1 0 2647217 0
[pid=27750/tid=27752] ppid=27747 vsize=10748324 memory=6791534058613427641 CPUtime=1.84 cores=1,3,5,7
/proc/27750/task/27752/stat : 27752 (java) S 27747 27750 26463 0 -1 1077944384 14478 0 0 0 178 6 0 0 20 0 16 0 414984818 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855167007920 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27753] ppid=27747 vsize=10748324 memory=1552 CPUtime=0.07 cores=1,3,5,7
/proc/27750/task/27753/stat : 27753 (java) S 27747 27750 26463 0 -1 1077944384 2000 0 0 0 7 0 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855088839056 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27754] ppid=27747 vsize=10748324 memory=4096 CPUtime=0.08 cores=1,3,5,7
/proc/27750/task/27754/stat : 27754 (java) S 27747 27750 26463 0 -1 1077944384 401 0 0 0 7 1 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855087786256 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27755] ppid=27747 vsize=10748324 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/27750/task/27755/stat : 27755 (java) S 27747 27750 26463 0 -1 1077944384 1171 0 0 0 7 0 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855086733968 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27756] ppid=27747 vsize=10748324 memory=772 CPUtime=0.07 cores=1,3,5,7
/proc/27750/task/27756/stat : 27756 (java) S 27747 27750 26463 0 -1 1077944384 1184 0 0 0 7 0 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855085681168 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27757] ppid=27747 vsize=10748324 memory=1060 CPUtime=0.01 cores=1,3,5,7
/proc/27750/task/27757/stat : 27757 (java) S 27747 27750 26463 0 -1 1077944384 2068 0 0 0 1 0 0 0 20 0 16 0 414984820 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854198438512 139855162776194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27758] ppid=27747 vsize=10748324 memory=1676 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27758/stat : 27758 (java) S 27747 27750 26463 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414984820 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854197384544 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27759] ppid=27747 vsize=10748324 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27759/stat : 27759 (java) S 27747 27750 26463 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414984821 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854196332160 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27760] ppid=27747 vsize=10748324 memory=1176 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27760/stat : 27760 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854195280464 139855162783643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27761] ppid=27747 vsize=10748324 memory=5880 CPUtime=0.77 cores=1,3,5,7
/proc/27750/task/27761/stat : 27761 (java) S 27747 27750 26463 0 -1 1077944384 5963 0 0 0 76 1 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854194227312 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27762] ppid=27747 vsize=10748324 memory=780 CPUtime=0.87 cores=1,3,5,7
/proc/27750/task/27762/stat : 27762 (java) S 27747 27750 26463 0 -1 1077944384 5222 0 0 0 86 1 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854193174512 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27763] ppid=27747 vsize=10748324 memory=14004 CPUtime=0.59 cores=1,3,5,7
/proc/27750/task/27763/stat : 27763 (java) S 27747 27750 26463 0 -1 1077944384 8155 0 0 0 58 1 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854192122224 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27764] ppid=27747 vsize=10748324 memory=20312 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27764/stat : 27764 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854191069664 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27765] ppid=27747 vsize=10748324 memory=2116 CPUtime=0.01 cores=1,3,5,7
/proc/27750/task/27765/stat : 27765 (java) S 27747 27750 26463 0 -1 1077944384 256 0 0 0 0 1 0 0 20 0 16 0 414984824 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854190017456 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27766] ppid=27747 vsize=10748324 memory=11916 CPUtime=92.41 cores=1,3,5,7
/proc/27750/task/27766/stat : 27766 (java) R 27747 27750 26463 0 -1 4202560 9809 0 0 0 9238 3 0 0 20 0 16 0 414985005 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854173175440 139854760123556 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
Current children cumulated CPU time: 96.9 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 240688 KiB

[startup+94.8006 s]
/proc/loadavg: 1.69 1.73 1.77 3/228 27773
/proc/meminfo: memFree=30135984/32770624 swapFree=66932024/67108860
[pid=27750] ppid=27747 vsize=10748324 memory=240688 CPUtime=97.3 cores=1,3,5,7
/proc/27750/stat : 27750 (java) S 27747 27750 26463 0 -1 1077944320 52132 0 0 0 9712 18 0 0 20 0 16 0 414984818 11006283776 60172 33554432000 4194304 4196468 140730014564800 140730014547344 139855162765047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
/proc/27750/statm: 2687081 60172 3368 1 0 2647217 0
[pid=27750/tid=27752] ppid=27747 vsize=10748324 memory=780 CPUtime=1.84 cores=1,3,5,7
/proc/27750/task/27752/stat : 27752 (java) S 27747 27750 26463 0 -1 1077944384 14478 0 0 0 178 6 0 0 20 0 16 0 414984818 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855167007920 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27753] ppid=27747 vsize=10748324 memory=14004 CPUtime=0.07 cores=1,3,5,7
/proc/27750/task/27753/stat : 27753 (java) S 27747 27750 26463 0 -1 1077944384 2000 0 0 0 7 0 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855088839056 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27754] ppid=27747 vsize=10748324 memory=20312 CPUtime=0.08 cores=1,3,5,7
/proc/27750/task/27754/stat : 27754 (java) S 27747 27750 26463 0 -1 1077944384 401 0 0 0 7 1 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855087786256 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27755] ppid=27747 vsize=10748324 memory=2116 CPUtime=0.07 cores=1,3,5,7
/proc/27750/task/27755/stat : 27755 (java) S 27747 27750 26463 0 -1 1077944384 1171 0 0 0 7 0 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855086733968 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27756] ppid=27747 vsize=10748324 memory=11916 CPUtime=0.07 cores=1,3,5,7
/proc/27750/task/27756/stat : 27756 (java) S 27747 27750 26463 0 -1 1077944384 1184 0 0 0 7 0 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855085681168 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27757] ppid=27747 vsize=10748324 memory=1560 CPUtime=0.01 cores=1,3,5,7
/proc/27750/task/27757/stat : 27757 (java) S 27747 27750 26463 0 -1 1077944384 2068 0 0 0 1 0 0 0 20 0 16 0 414984820 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854198438512 139855162776194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27758] ppid=27747 vsize=10748324 memory=500 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27758/stat : 27758 (java) S 27747 27750 26463 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414984820 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854197384544 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27759] ppid=27747 vsize=10748324 memory=928 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27759/stat : 27759 (java) S 27747 27750 26463 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414984821 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854196332160 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27760] ppid=27747 vsize=10748324 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27760/stat : 27760 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854195280464 139855162783643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27761] ppid=27747 vsize=10748324 memory=240688 CPUtime=0.77 cores=1,3,5,7
/proc/27750/task/27761/stat : 27761 (java) S 27747 27750 26463 0 -1 1077944384 5963 0 0 0 76 1 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854194227312 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27762] ppid=27747 vsize=10748324 memory=319192843489116475 CPUtime=0.87 cores=1,3,5,7
/proc/27750/task/27762/stat : 27762 (java) S 27747 27750 26463 0 -1 1077944384 5222 0 0 0 86 1 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854193174512 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27763] ppid=27747 vsize=10748324 memory=14973369229511284 CPUtime=0.59 cores=1,3,5,7
/proc/27750/task/27763/stat : 27763 (java) S 27747 27750 26463 0 -1 1077944384 8155 0 0 0 58 1 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854192122224 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27764] ppid=27747 vsize=10748324 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27764/stat : 27764 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854191069664 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27765] ppid=27747 vsize=10748324 memory=6944656592387989600 CPUtime=0.01 cores=1,3,5,7
/proc/27750/task/27765/stat : 27765 (java) S 27747 27750 26463 0 -1 1077944384 256 0 0 0 0 1 0 0 20 0 16 0 414984824 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854190017456 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27766] ppid=27747 vsize=10748324 memory=281341029212592 CPUtime=92.81 cores=1,3,5,7
/proc/27750/task/27766/stat : 27766 (java) R 27747 27750 26463 0 -1 4202560 9810 0 0 0 9278 3 0 0 20 0 16 0 414985005 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854173167504 139854760265857 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
Current children cumulated CPU time: 97.3 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 240688 KiB

[startup+94.9006 s]
/proc/loadavg: 1.69 1.73 1.77 3/228 27773
/proc/meminfo: memFree=30135984/32770624 swapFree=66932024/67108860
[pid=27750] ppid=27747 vsize=10748324 memory=240688 CPUtime=97.4 cores=1,3,5,7
/proc/27750/stat : 27750 (java) S 27747 27750 26463 0 -1 1077944320 52132 0 0 0 9722 18 0 0 20 0 16 0 414984818 11006283776 60172 33554432000 4194304 4196468 140730014564800 140730014547344 139855162765047 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
/proc/27750/statm: 2687081 60172 3368 1 0 2647217 0
[pid=27750/tid=27752] ppid=27747 vsize=10748324 memory=234540 CPUtime=1.84 cores=1,3,5,7
/proc/27750/task/27752/stat : 27752 (java) S 27747 27750 26463 0 -1 1077944384 14478 0 0 0 178 6 0 0 20 0 16 0 414984818 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855167007920 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27753] ppid=27747 vsize=10748324 memory=234540 CPUtime=0.07 cores=1,3,5,7
/proc/27750/task/27753/stat : 27753 (java) S 27747 27750 26463 0 -1 1077944384 2000 0 0 0 7 0 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855088839056 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27754] ppid=27747 vsize=10748324 memory=239108 CPUtime=0.08 cores=1,3,5,7
/proc/27750/task/27754/stat : 27754 (java) S 27747 27750 26463 0 -1 1077944384 401 0 0 0 7 1 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855087786256 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27755] ppid=27747 vsize=10748324 memory=240688 CPUtime=0.07 cores=1,3,5,7
/proc/27750/task/27755/stat : 27755 (java) S 27747 27750 26463 0 -1 1077944384 1171 0 0 0 7 0 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855086733968 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27756] ppid=27747 vsize=10748324 memory=240688 CPUtime=0.07 cores=1,3,5,7
/proc/27750/task/27756/stat : 27756 (java) S 27747 27750 26463 0 -1 1077944384 1184 0 0 0 7 0 0 0 20 0 16 0 414984819 11006283776 60172 33554432000 4194304 4196468 140730014564800 139855085681168 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27757] ppid=27747 vsize=10748324 memory=2257 CPUtime=0.01 cores=1,3,5,7
/proc/27750/task/27757/stat : 27757 (java) S 27747 27750 26463 0 -1 1077944384 2068 0 0 0 1 0 0 0 20 0 16 0 414984820 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854198438512 139855162776194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27758] ppid=27747 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27758/stat : 27758 (java) S 27747 27750 26463 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414984820 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854197384544 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27759] ppid=27747 vsize=10748324 memory=7523376918531162212 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27759/stat : 27759 (java) S 27747 27750 26463 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414984821 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854196332160 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27760] ppid=27747 vsize=10748324 memory=234540 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27760/stat : 27760 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854195280464 139855162783643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27761] ppid=27747 vsize=10748324 memory=234540 CPUtime=0.77 cores=1,3,5,7
/proc/27750/task/27761/stat : 27761 (java) S 27747 27750 26463 0 -1 1077944384 5963 0 0 0 76 1 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854194227312 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27762] ppid=27747 vsize=10748324 memory=1560 CPUtime=0.87 cores=1,3,5,7
/proc/27750/task/27762/stat : 27762 (java) S 27747 27750 26463 0 -1 1077944384 5222 0 0 0 86 1 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854193174512 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27763] ppid=27747 vsize=10748324 memory=500 CPUtime=0.59 cores=1,3,5,7
/proc/27750/task/27763/stat : 27763 (java) S 27747 27750 26463 0 -1 1077944384 8155 0 0 0 58 1 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854192122224 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27764] ppid=27747 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27750/task/27764/stat : 27764 (java) S 27747 27750 26463 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414984823 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854191069664 139855162775253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27765] ppid=27747 vsize=10748324 memory=-7003737579269690708 CPUtime=0.01 cores=1,3,5,7
/proc/27750/task/27765/stat : 27765 (java) S 27747 27750 26463 0 -1 1077944384 256 0 0 0 0 1 0 0 20 0 16 0 414984824 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854190017456 139855162776194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
[pid=27750/tid=27766] ppid=27747 vsize=10748324 memory=15620 CPUtime=92.91 cores=1,3,5,7
/proc/27750/task/27766/stat : 27766 (java) R 27747 27750 26463 0 -1 4202560 9810 0 0 0 9288 3 0 0 20 0 16 0 414985005 11006283776 60172 33554432000 4194304 4196468 140730014564800 139854173167504 139854760266187 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32780288 140730014569483 140730014569586 140730014569586 140730014572495 0
Current children cumulated CPU time: 97.4 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 240688 KiB

Child status: 0
Real time (s): 94.9843
CPU time (s): 97.4842
CPU user time (s): 97.294
CPU system time (s): 0.190281
CPU usage (%): 102.632
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 241608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 97.294
system time used= 0.190281
maximum resident set size= 241608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52732
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5296
involuntary context switches= 68


# summary of solver processes directly reported to runsolver:
#   pid: 27750
#   total CPU time (s): 97.4842
#   total CPU user time (s): 97.294
#   total CPU system time (s): 0.190281

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.59293 second user time and 0.848433 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-13 17:07:53
IDJOB=4390825
IDBENCH=141365
IDSOLVER=2832
FILE ID=node139/4390825-1568387170
RUNJOBID= node139-1568380618-26495
PBS_JOBID= 21701830
Free space on /tmp= 55328 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-nodv-10_c18.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390825-1568387170/watcher-4390825-1568387170 -o /tmp/evaluation-result-4390825-1568387170/solver-4390825-1568387170 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568380618-26495 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390825-1568387170.xml -cm

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

MD5SUM BENCH= 769ec0f26c47f1b96bb609b2e4d8d5d6
RANDOM SEED=1622232527

node139.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.57
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.57
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.57
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.57
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:        30366172 kB
MemAvailable:   31566892 kB
Buffers:          103648 kB
Cached:          1372052 kB
SwapCached:        74408 kB
Active:           736560 kB
Inactive:        1070768 kB
Active(anon):     258172 kB
Inactive(anon):   114116 kB
Active(file):     478388 kB
Inactive(file):   956652 kB
Unevictable:      108304 kB
Mlocked:          108304 kB
SwapTotal:      67108860 kB
SwapFree:       66932024 kB
Dirty:              8668 kB
Writeback:             0 kB
AnonPages:        481420 kB
Mapped:            56080 kB
Shmem:             32168 kB
Slab:             191408 kB
SReclaimable:     163032 kB
SUnreclaim:        28376 kB
KernelStack:        3984 kB
PageTables:         6184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1177892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    409600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 55320 MiB
End job on node139 at 2019-09-13 17:09:29