Trace number 4390856

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 95.7562 93.2321

DiagnosticValue
WRONG_DECISIONS58559

General information on the benchmark

NameGolombRuler/
GolombRuler-a3v18-10_c18.xml
MD5SUMfd7701f01011f2453d3fac3f444f25b8
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 benchmark29.8003
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.39/1.88	
2.39/1.88	AbsCon 2 
2.63/1.90	
2.90/2.02	  Instance
2.90/2.02	    name=instance-4390856-1568387281, framework=COP, bounds=-infty..+infty
2.90/2.02	
2.90/2.02	  Loading variables...
2.90/2.04	  Loading constraints...
3.15/2.13	
3.15/2.13	  Domains
3.15/2.13	    nTypes=2, nValues=5510, sizes=[100#45,101#10]
3.15/2.13	  Variables
3.15/2.13	    count=55, degrees=[2#45,9#9,10#1]
3.15/2.13	  Objectives
3.15/2.13	    way=min, type=ObjVarLE
3.15/2.13	  Constraints
3.15/2.13	    count=47, nSpecific=2, arities=[1#1,3#45,45#1]
3.15/2.13	    distribution=[AllDifferent#1,CtrIntension#45,ObjVarLE#1]
3.15/2.13	    nIntStructures=(1,shared:44)
3.15/2.13	    wck=0.272, cpu=2.088, mem=21M227
3.15/2.13	  Solver SolverBacktrack being built...
3.15/2.13	
3.15/2.15	
3.15/2.15	  Solver
3.15/2.15	    guaranteedGAC=true
3.15/2.15	    wck=0.3, cpu=2.114, mem=31M870
3.75/2.51	
3.75/2.51	  Preprocessing
3.75/2.51	    filters=111, revisions=(488,useless=303), ccks=3513028, nACremovedValues=330, nTotalRemovedValues=330, inconcistency=false
3.75/2.51	    wck=0.356, cpu=2.47, mem=31M870
3.75/2.51	
4.48/3.03	o 80
4.48/3.03	    num=0, depth=56..54, filters=740, revisions=(1752,useless=813), ccks=8885719, wck=0.877, mem=34M512
4.48/3.03	    decisions=10, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=80
4.48/3.03	    
5.30/3.81	o 78
5.30/3.81	    num=1, depth=8..54, filters=1389, revisions=(3516,useless=1750), ccks=18228139, wck=1.658, mem=34M512
5.30/3.81	    decisions=21, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=2, bestBound=78
5.30/3.81	    
6.49/4.93	    num=2, depth=0..2, filters=2717, revisions=(8336,useless=4440), ccks=31170513, wck=2.78, mem=37M154
6.49/4.93	    decisions=47, wrong=13, backtracks=1, failedAssignments=12, nogoods=10, foundSolutions=2, bestBound=78
6.49/4.93	    
6.69/5.16	    num=3, depth=0..0, filters=3285, revisions=(10399,useless=5568), ccks=33685737, wck=2.998, mem=37M154
6.69/5.16	    decisions=69, wrong=24, backtracks=1, failedAssignments=23, nogoods=10, foundSolutions=2, bestBound=78
6.69/5.16	    
7.52/5.97	    num=4, depth=0..0, filters=3909, revisions=(12811,useless=6924), ccks=43380306, wck=3.816, mem=39M797
7.52/5.97	    decisions=93, wrong=36, backtracks=1, failedAssignments=35, nogoods=10, foundSolutions=2, bestBound=78
7.52/5.97	    
8.22/6.62	    num=5, depth=0..2, filters=4434, revisions=(14522,useless=7858), ccks=51240878, wck=4.471, mem=39M797
8.22/6.62	    decisions=121, wrong=49, backtracks=1, failedAssignments=48, nogoods=18, foundSolutions=2, bestBound=78
8.22/6.62	    
8.52/6.97	    num=6, depth=0..0, filters=5211, revisions=(16812,useless=8993), ccks=55350824, wck=4.82, mem=42M439
8.52/6.97	    decisions=149, wrong=63, backtracks=1, failedAssignments=62, nogoods=18, foundSolutions=2, bestBound=78
8.52/6.97	    
9.12/7.56	    num=7, depth=0..3, filters=6041, revisions=(19062,useless=10110), ccks=62390349, wck=5.411, mem=42M439
9.12/7.56	    decisions=184, wrong=79, backtracks=1, failedAssignments=78, nogoods=26, foundSolutions=2, bestBound=78
9.12/7.56	    
9.54/7.95	    num=8, depth=1..4, filters=7173, revisions=(22110,useless=11689), ccks=66883383, wck=5.794, mem=45M82
9.54/7.95	    decisions=222, wrong=96, backtracks=1, failedAssignments=95, nogoods=43, foundSolutions=2, bestBound=78
9.54/7.95	    
9.86/8.23	    num=9, depth=0..1, filters=8180, revisions=(24697,useless=13006), ccks=70177002, wck=6.076, mem=45M82
9.86/8.23	    decisions=261, wrong=115, backtracks=1, failedAssignments=114, nogoods=51, foundSolutions=2, bestBound=78
9.86/8.23	    
10.07/8.42	o 74
10.07/8.42	    num=10, depth=0..54, filters=9045, revisions=(26595,useless=13913), ccks=72386277, wck=6.269, mem=45M82
10.07/8.42	    decisions=286, wrong=125, backtracks=2, failedAssignments=123, nogoods=53, foundSolutions=3, bestBound=74
10.07/8.42	    
10.39/8.76	o 72
10.39/8.76	    num=11, depth=1..54, filters=10780, revisions=(30890,useless=16122), ccks=76230806, wck=6.604, mem=47M724
10.39/8.76	    decisions=339, wrong=147, backtracks=5, failedAssignments=142, nogoods=65, foundSolutions=4, bestBound=72
10.39/8.76	    
10.71/9.02	    num=12, depth=1..2, filters=11588, revisions=(33103,useless=17286), ccks=79272067, wck=6.866, mem=47M724
10.71/9.02	    decisions=363, wrong=158, backtracks=5, failedAssignments=153, nogoods=76, foundSolutions=4, bestBound=72
10.71/9.02	    
10.71/9.08	    num=13, depth=2..5, filters=12381, revisions=(34674,useless=17947), ccks=79918741, wck=6.927, mem=47M724
10.71/9.08	    decisions=390, wrong=170, backtracks=6, failedAssignments=164, nogoods=87, foundSolutions=4, bestBound=72
10.71/9.08	    
11.00/9.31	    num=14, depth=0..2, filters=13127, revisions=(36699,useless=19008), ccks=82625557, wck=7.157, mem=50M367
11.00/9.31	    decisions=417, wrong=183, backtracks=7, failedAssignments=176, nogoods=91, foundSolutions=4, bestBound=72
11.00/9.31	    
11.21/9.50	    num=15, depth=0..3, filters=14190, revisions=(39332,useless=20298), ccks=84836818, wck=7.35, mem=50M367
11.21/9.50	    decisions=449, wrong=198, backtracks=9, failedAssignments=189, nogoods=95, foundSolutions=4, bestBound=72
11.21/9.50	    
11.31/9.60	    num=16, depth=1..4, filters=15205, revisions=(41542,useless=21362), ccks=85893652, wck=7.446, mem=50M367
11.31/9.60	    decisions=486, wrong=215, backtracks=12, failedAssignments=203, nogoods=103, foundSolutions=4, bestBound=72
11.31/9.60	    
11.41/9.70	    num=17, depth=0..3, filters=16576, revisions=(44592,useless=22877), ccks=87004874, wck=7.55, mem=50M367
11.41/9.70	    decisions=531, wrong=237, backtracks=20, failedAssignments=219, nogoods=104, foundSolutions=4, bestBound=72
11.41/9.70	    
11.41/9.79	    num=18, depth=1..3, filters=18180, revisions=(47766,useless=24303), ccks=87883995, wck=7.634, mem=53M9
11.41/9.79	    decisions=576, wrong=259, backtracks=25, failedAssignments=236, nogoods=116, foundSolutions=4, bestBound=72
11.41/9.79	    
11.61/9.91	    num=19, depth=0..4, filters=19797, revisions=(51409,useless=26105), ccks=89225976, wck=7.759, mem=53M9
11.61/9.91	    decisions=629, wrong=284, backtracks=33, failedAssignments=255, nogoods=120, foundSolutions=4, bestBound=72
11.61/9.91	    
11.61/9.99	o 71
11.61/9.99	    num=20, depth=0..54, filters=20583, revisions=(52998,useless=26808), ccks=90044260, wck=7.833, mem=53M9
11.61/9.99	    decisions=651, wrong=293, backtracks=35, failedAssignments=262, nogoods=122, foundSolutions=5, bestBound=71
11.61/9.99	    
12.22/10.54	    num=21, depth=1..4, filters=22662, revisions=(58702,useless=29987), ccks=96478160, wck=8.385, mem=53M9
12.22/10.54	    decisions=717, wrong=325, backtracks=44, failedAssignments=285, nogoods=141, foundSolutions=5, bestBound=71
12.22/10.54	    
12.34/10.61	    num=22, depth=0..4, filters=23515, revisions=(60447,useless=30771), ccks=97206229, wck=8.453, mem=55M651
12.34/10.61	    decisions=745, wrong=337, backtracks=45, failedAssignments=296, nogoods=149, foundSolutions=5, bestBound=71
12.34/10.61	    
12.34/10.65	    num=23, depth=5..6, filters=24620, revisions=(62313,useless=31408), ccks=97649981, wck=8.497, mem=55M651
12.34/10.65	    decisions=779, wrong=351, backtracks=47, failedAssignments=308, nogoods=157, foundSolutions=5, bestBound=71
12.34/10.65	    
12.44/10.73	    num=24, depth=1..3, filters=25605, revisions=(64426,useless=32369), ccks=98475595, wck=8.574, mem=55M651
12.44/10.73	    decisions=813, wrong=367, backtracks=50, failedAssignments=321, nogoods=161, foundSolutions=5, bestBound=71
12.44/10.73	    
12.44/10.78	    num=25, depth=1..4, filters=26588, revisions=(66399,useless=33242), ccks=99082786, wck=8.63, mem=55M651
12.44/10.78	    decisions=851, wrong=384, backtracks=53, failedAssignments=335, nogoods=174, foundSolutions=5, bestBound=71
12.44/10.78	    
12.54/10.87	    num=26, depth=1..4, filters=27963, revisions=(69572,useless=34777), ccks=100003630, wck=8.719, mem=55M651
12.54/10.87	    decisions=896, wrong=405, backtracks=58, failedAssignments=351, nogoods=185, foundSolutions=5, bestBound=71
12.54/10.87	    
12.64/10.92	o 65
12.64/10.92	    num=27, depth=2..54, filters=28725, revisions=(71090,useless=35443), ccks=100517714, wck=8.767, mem=55M651
12.64/10.92	    decisions=918, wrong=414, backtracks=61, failedAssignments=357, nogoods=188, foundSolutions=6, bestBound=65
12.64/10.92	    
12.87/11.15	    num=28, depth=1..5, filters=30517, revisions=(75230,useless=37505), ccks=103060741, wck=8.992, mem=58M294
12.87/11.15	    decisions=973, wrong=439, backtracks=67, failedAssignments=376, nogoods=203, foundSolutions=6, bestBound=65
12.87/11.15	    
13.00/11.21	    num=29, depth=1..4, filters=31599, revisions=(77714,useless=38795), ccks=103670017, wck=9.052, mem=58M294
13.00/11.21	    decisions=1002, wrong=453, backtracks=70, failedAssignments=387, nogoods=214, foundSolutions=6, bestBound=65
13.00/11.21	    
13.11/11.35	    num=30, depth=2..3, filters=32397, revisions=(80133,useless=40121), ccks=105343273, wck=9.199, mem=58M294
13.11/11.35	    decisions=1030, wrong=466, backtracks=71, failedAssignments=399, nogoods=226, foundSolutions=6, bestBound=65
13.11/11.35	    
13.21/11.43	    num=31, depth=1..4, filters=33678, revisions=(82872,useless=41407), ccks=106126162, wck=9.274, mem=58M294
13.21/11.43	    decisions=1070, wrong=485, backtracks=79, failedAssignments=412, nogoods=234, foundSolutions=6, bestBound=65
13.21/11.43	    
13.31/11.50	    num=32, depth=1..3, filters=34260, revisions=(84280,useless=42121), ccks=106879243, wck=9.342, mem=58M294
13.31/11.50	    decisions=1100, wrong=499, backtracks=79, failedAssignments=426, nogoods=248, foundSolutions=6, bestBound=65
13.31/11.50	    
13.31/11.58	    num=33, depth=1..4, filters=36129, revisions=(88461,useless=44141), ccks=107709129, wck=9.427, mem=60M936
13.31/11.58	    decisions=1151, wrong=523, backtracks=88, failedAssignments=442, nogoods=253, foundSolutions=6, bestBound=65
13.31/11.58	    
13.43/11.68	    num=34, depth=0..5, filters=37866, revisions=(92022,useless=45765), ccks=108723601, wck=9.524, mem=60M936
13.43/11.68	    decisions=1202, wrong=547, backtracks=98, failedAssignments=459, nogoods=255, foundSolutions=6, bestBound=65
13.43/11.68	    
13.63/11.80	    num=35, depth=0..5, filters=39890, revisions=(96252,useless=47748), ccks=110078704, wck=9.65, mem=60M936
13.63/11.80	    decisions=1257, wrong=573, backtracks=106, failedAssignments=478, nogoods=261, foundSolutions=6, bestBound=65
13.63/11.80	    
13.63/11.89	    num=36, depth=1..4, filters=41634, revisions=(99873,useless=49403), ccks=110920263, wck=9.734, mem=60M936
13.63/11.89	    decisions=1320, wrong=604, backtracks=117, failedAssignments=499, nogoods=266, foundSolutions=6, bestBound=65
13.63/11.89	    
13.75/11.93	    num=37, depth=2..4, filters=43227, revisions=(102918,useless=50738), ccks=111307861, wck=9.774, mem=63M579
13.75/11.93	    decisions=1381, wrong=633, backtracks=124, failedAssignments=522, nogoods=275, foundSolutions=6, bestBound=65
13.75/11.93	    
13.86/12.02	    num=38, depth=1..5, filters=45841, revisions=(108167,useless=53152), ccks=112192363, wck=9.866, mem=63M579
13.86/12.02	    decisions=1457, wrong=670, backtracks=136, failedAssignments=547, nogoods=281, foundSolutions=6, bestBound=65
13.86/12.02	    
13.86/12.10	    num=39, depth=1..4, filters=47569, revisions=(112033,useless=55046), ccks=112956487, wck=9.944, mem=63M579
13.86/12.10	    decisions=1531, wrong=706, backtracks=144, failedAssignments=575, nogoods=288, foundSolutions=6, bestBound=65
13.86/12.10	    
13.96/12.17	    num=40, depth=2..3, filters=48920, revisions=(114782,useless=56290), ccks=113753213, wck=10.019, mem=63M579
13.96/12.17	    decisions=1600, wrong=739, backtracks=146, failedAssignments=606, nogoods=303, foundSolutions=6, bestBound=65
13.96/12.17	    
14.19/12.33	    num=41, depth=0..2, filters=50649, revisions=(118653,useless=58231), ccks=115504845, wck=10.178, mem=66M221
14.19/12.33	    decisions=1677, wrong=777, backtracks=150, failedAssignments=640, nogoods=314, foundSolutions=6, bestBound=65
14.19/12.33	    
14.29/12.48	    num=42, depth=1..5, filters=53894, revisions=(125522,useless=61447), ccks=116967078, wck=10.325, mem=66M221
14.29/12.48	    decisions=1791, wrong=833, backtracks=172, failedAssignments=677, nogoods=328, foundSolutions=6, bestBound=65
14.29/12.48	    
14.39/12.56	    num=43, depth=2..5, filters=56311, revisions=(130242,useless=63497), ccks=117770987, wck=10.407, mem=66M221
14.39/12.56	    decisions=1892, wrong=882, backtracks=182, failedAssignments=718, nogoods=343, foundSolutions=6, bestBound=65
14.39/12.56	    
14.49/12.69	    num=44, depth=0..6, filters=59078, revisions=(136025,useless=66233), ccks=119020940, wck=10.532, mem=68M864
14.49/12.69	    decisions=2011, wrong=939, backtracks=196, failedAssignments=763, nogoods=354, foundSolutions=6, bestBound=65
14.49/12.69	    
14.60/12.73	    num=45, depth=2..4, filters=62364, revisions=(142199,useless=68891), ccks=119390738, wck=10.577, mem=68M864
14.60/12.73	    decisions=2148, wrong=1006, backtracks=214, failedAssignments=813, nogoods=364, foundSolutions=6, bestBound=65
14.60/12.73	    
14.71/12.86	    num=46, depth=1..5, filters=65935, revisions=(149735,useless=72467), ccks=120588104, wck=10.704, mem=68M864
14.71/12.86	    decisions=2289, wrong=1075, backtracks=230, failedAssignments=868, nogoods=378, foundSolutions=6, bestBound=65
14.71/12.86	    
14.92/13.05	    num=47, depth=0..4, filters=70460, revisions=(159544,useless=77187), ccks=122449776, wck=10.893, mem=71M506
14.92/13.05	    decisions=2448, wrong=1153, backtracks=249, failedAssignments=929, nogoods=395, foundSolutions=6, bestBound=65
14.92/13.05	    
15.02/13.14	    num=48, depth=2..5, filters=74867, revisions=(167713,useless=80504), ccks=123253692, wck=10.982, mem=71M506
15.02/13.14	    decisions=2622, wrong=1238, backtracks=268, failedAssignments=996, nogoods=406, foundSolutions=6, bestBound=65
15.02/13.14	    
15.21/13.31	    num=49, depth=1..4, filters=79697, revisions=(178135,useless=85483), ccks=124902760, wck=11.157, mem=74M148
15.21/13.31	    decisions=2813, wrong=1332, backtracks=288, failedAssignments=1070, nogoods=420, foundSolutions=6, bestBound=65
15.21/13.31	    
15.31/13.47	    num=50, depth=1..5, filters=84827, revisions=(188418,useless=89983), ccks=126491101, wck=11.32, mem=74M148
15.31/13.47	    decisions=3014, wrong=1431, backtracks=310, failedAssignments=1151, nogoods=428, foundSolutions=6, bestBound=65
15.31/13.47	    
15.61/13.73	    num=51, depth=0..5, filters=92298, revisions=(205180,useless=98179), ccks=129015087, wck=11.58, mem=76M791
15.61/13.73	    decisions=3260, wrong=1553, backtracks=346, failedAssignments=1240, nogoods=439, foundSolutions=6, bestBound=65
15.61/13.73	    
15.82/13.98	    num=52, depth=1..5, filters=99729, revisions=(220503,useless=105338), ccks=131335078, wck=11.828, mem=79M433
15.82/13.98	    decisions=3522, wrong=1683, backtracks=385, failedAssignments=1338, nogoods=455, foundSolutions=6, bestBound=65
15.82/13.98	    
16.06/14.11	    num=53, depth=2..6, filters=107788, revisions=(235557,useless=111608), ccks=132407220, wck=11.959, mem=82M76
16.06/14.11	    decisions=3813, wrong=1826, backtracks=423, failedAssignments=1446, nogoods=470, foundSolutions=6, bestBound=65
16.06/14.11	    
16.06/14.16	o 63
16.06/14.16	    num=54, depth=2..54, filters=111337, revisions=(242076,useless=114333), ccks=132738708, wck=12.003, mem=82M76
16.06/14.16	    decisions=3957, wrong=1896, backtracks=446, failedAssignments=1493, nogoods=479, foundSolutions=7, bestBound=63
16.06/14.16	    
16.56/14.65	    num=55, depth=1..6, filters=121258, revisions=(264354,useless=124733), ccks=137805606, wck=12.498, mem=84M718
16.56/14.65	    decisions=4299, wrong=2065, backtracks=484, failedAssignments=1624, nogoods=495, foundSolutions=7, bestBound=63
16.56/14.65	    
16.76/14.81	    num=56, depth=0..3, filters=122107, revisions=(266638,useless=125971), ccks=139584244, wck=12.654, mem=84M718
16.76/14.81	    decisions=4324, wrong=2076, backtracks=484, failedAssignments=1635, nogoods=504, foundSolutions=7, bestBound=63
16.76/14.81	    
16.76/14.86	    num=57, depth=1..3, filters=123104, revisions=(268699,useless=126929), ccks=140077741, wck=12.703, mem=87M361
16.76/14.86	    decisions=4356, wrong=2091, backtracks=487, failedAssignments=1647, nogoods=506, foundSolutions=7, bestBound=63
16.76/14.86	    
16.86/14.90	    num=58, depth=3..4, filters=123889, revisions=(270330,useless=127654), ccks=140530027, wck=12.746, mem=87M361
16.86/14.90	    decisions=4388, wrong=2105, backtracks=488, failedAssignments=1660, nogoods=516, foundSolutions=7, bestBound=63
16.86/14.90	    
16.86/14.96	    num=59, depth=1..4, filters=124927, revisions=(272666,useless=128759), ccks=141096087, wck=12.802, mem=87M361
16.86/14.96	    decisions=4427, wrong=2123, backtracks=492, failedAssignments=1674, nogoods=520, foundSolutions=7, bestBound=63
16.86/14.96	    
16.97/15.05	    num=60, depth=1..4, filters=126230, revisions=(275659,useless=130255), ccks=142136542, wck=12.899, mem=87M361
16.97/15.05	    decisions=4467, wrong=2141, backtracks=494, failedAssignments=1690, nogoods=528, foundSolutions=7, bestBound=63
16.97/15.05	    
16.97/15.08	    num=61, depth=1..3, filters=127679, revisions=(278572,useless=131620), ccks=142386893, wck=12.927, mem=87M361
16.97/15.08	    decisions=4520, wrong=2167, backtracks=503, failedAssignments=1707, nogoods=530, foundSolutions=7, bestBound=63
16.97/15.08	    
17.07/15.14	    num=62, depth=2..5, filters=129404, revisions=(281937,useless=133070), ccks=142940523, wck=12.985, mem=87M361
17.07/15.14	    decisions=4573, wrong=2192, backtracks=509, failedAssignments=1726, nogoods=543, foundSolutions=7, bestBound=63
17.07/15.14	    
17.16/15.21	    num=63, depth=2..3, filters=130673, revisions=(284893,useless=134524), ccks=143667600, wck=13.056, mem=90M3
17.16/15.21	    decisions=4619, wrong=2214, backtracks=510, failedAssignments=1747, nogoods=555, foundSolutions=7, bestBound=63
17.16/15.21	    
17.16/15.29	    num=64, depth=1..3, filters=132379, revisions=(288542,useless=136167), ccks=144437697, wck=13.133, mem=90M3
17.16/15.29	    decisions=4681, wrong=2244, backtracks=517, failedAssignments=1770, nogoods=557, foundSolutions=7, bestBound=63
17.16/15.29	    
17.26/15.32	    num=65, depth=1..3, filters=134344, revisions=(292588,useless=138091), ccks=144690440, wck=13.163, mem=90M3
17.26/15.32	    decisions=4749, wrong=2277, backtracks=525, failedAssignments=1795, nogoods=568, foundSolutions=7, bestBound=63
17.26/15.32	    
17.36/15.40	    num=66, depth=1..4, filters=136606, revisions=(297112,useless=140159), ccks=145514718, wck=13.249, mem=90M3
17.36/15.40	    decisions=4833, wrong=2318, backtracks=539, failedAssignments=1823, nogoods=573, foundSolutions=7, bestBound=63
17.36/15.40	    
17.56/15.64	    num=67, depth=1..4, filters=138940, revisions=(303426,useless=143500), ccks=148113053, wck=13.484, mem=92M645
17.56/15.64	    decisions=4909, wrong=2355, backtracks=545, failedAssignments=1854, nogoods=596, foundSolutions=7, bestBound=63
17.56/15.64	    
17.66/15.70	    num=68, depth=1..4, filters=140979, revisions=(307786,useless=145596), ccks=148732384, wck=13.549, mem=92M645
17.66/15.70	    decisions=4989, wrong=2394, backtracks=551, failedAssignments=1888, nogoods=605, foundSolutions=7, bestBound=63
17.66/15.70	    
17.66/15.80	    num=69, depth=1..4, filters=143411, revisions=(312931,useless=148050), ccks=149668162, wck=13.642, mem=92M645
17.66/15.80	    decisions=5083, wrong=2439, backtracks=559, failedAssignments=1925, nogoods=610, foundSolutions=7, bestBound=63
17.66/15.80	    
17.76/15.89	    num=70, depth=0..5, filters=146557, revisions=(319364,useless=150975), ccks=150568316, wck=13.739, mem=95M288
17.76/15.89	    decisions=5200, wrong=2496, backtracks=575, failedAssignments=1966, nogoods=617, foundSolutions=7, bestBound=63
17.76/15.89	    
17.87/15.96	    num=71, depth=3..5, filters=149928, revisions=(325804,useless=153675), ccks=151093734, wck=13.802, mem=95M288
17.87/15.96	    decisions=5326, wrong=2557, backtracks=592, failedAssignments=2011, nogoods=631, foundSolutions=7, bestBound=63
17.87/15.96	    
17.97/16.01	    num=72, depth=3..5, filters=154102, revisions=(333162,useless=156436), ccks=151544287, wck=13.859, mem=95M288
17.97/16.01	    decisions=5473, wrong=2629, backtracks=614, failedAssignments=2061, nogoods=640, foundSolutions=7, bestBound=63
17.97/16.01	    
17.97/16.10	    num=73, depth=2..5, filters=157690, revisions=(340083,useless=159341), ccks=152317232, wck=13.946, mem=97M930
17.97/16.10	    decisions=5615, wrong=2699, backtracks=629, failedAssignments=2116, nogoods=643, foundSolutions=7, bestBound=63
17.97/16.10	    
18.17/16.29	    num=74, depth=0..4, filters=162343, revisions=(350483,useless=164051), ccks=154169669, wck=14.136, mem=97M930
18.17/16.29	    decisions=5773, wrong=2777, backtracks=646, failedAssignments=2177, nogoods=653, foundSolutions=7, bestBound=63
18.17/16.29	    
18.37/16.41	    num=75, depth=1..3, filters=166580, revisions=(359579,useless=168573), ccks=155222490, wck=14.252, mem=100M573
18.37/16.41	    decisions=5957, wrong=2868, backtracks=670, failedAssignments=2244, nogoods=676, foundSolutions=7, bestBound=63
18.37/16.41	    
18.47/16.56	    num=76, depth=2..4, filters=171366, revisions=(369999,useless=173429), ccks=156630832, wck=14.404, mem=100M573
18.47/16.56	    decisions=6136, wrong=2956, backtracks=685, failedAssignments=2318, nogoods=707, foundSolutions=7, bestBound=63
18.47/16.56	    
18.67/16.71	    num=77, depth=1..4, filters=177492, revisions=(383187,useless=179804), ccks=157949129, wck=14.556, mem=103M215
18.67/16.71	    decisions=6371, wrong=3073, backtracks=721, failedAssignments=2399, nogoods=717, foundSolutions=7, bestBound=63
18.67/16.71	    
18.67/16.79	o 62
18.67/16.79	    num=78, depth=2..54, filters=182012, revisions=(391650,useless=183330), ccks=158639288, wck=14.638, mem=103M215
18.67/16.79	    decisions=6538, wrong=3154, backtracks=740, failedAssignments=2462, nogoods=731, foundSolutions=8, bestBound=62
18.67/16.79	    
18.98/17.09	    num=79, depth=2..5, filters=187318, revisions=(403871,useless=189115), ccks=161774182, wck=14.941, mem=105M858
18.98/17.09	    decisions=6763, wrong=3265, backtracks=753, failedAssignments=2560, nogoods=759, foundSolutions=8, bestBound=62
18.98/17.09	    
19.08/17.14	    num=80, depth=1..4, filters=188491, revisions=(406171,useless=190142), ccks=162184859, wck=14.983, mem=105M858
19.08/17.14	    decisions=6793, wrong=3279, backtracks=756, failedAssignments=2571, nogoods=766, foundSolutions=8, bestBound=62
19.08/17.14	    
19.08/17.17	    num=81, depth=3..5, filters=189456, revisions=(408095,useless=190973), ccks=162572534, wck=15.021, mem=108M500
19.08/17.17	    decisions=6829, wrong=3295, backtracks=760, failedAssignments=2583, nogoods=777, foundSolutions=8, bestBound=62
19.08/17.17	    
19.18/17.23	    num=82, depth=0..3, filters=190425, revisions=(410317,useless=192093), ccks=163141780, wck=15.076, mem=108M500
19.18/17.23	    decisions=6863, wrong=3311, backtracks=763, failedAssignments=2596, nogoods=781, foundSolutions=8, bestBound=62
19.18/17.23	    
19.18/17.27	    num=83, depth=3..5, filters=191367, revisions=(412202,useless=192905), ccks=163517804, wck=15.113, mem=108M500
19.18/17.27	    decisions=6902, wrong=3329, backtracks=767, failedAssignments=2610, nogoods=786, foundSolutions=8, bestBound=62
19.18/17.27	    
19.28/17.30	    num=84, depth=1..4, filters=192830, revisions=(415129,useless=194190), ccks=163806506, wck=15.146, mem=108M500
19.28/17.30	    decisions=6950, wrong=3352, backtracks=774, failedAssignments=2626, nogoods=791, foundSolutions=8, bestBound=62
19.28/17.30	    
19.28/17.37	    num=85, depth=1..3, filters=194234, revisions=(418295,useless=195716), ccks=164489291, wck=15.215, mem=108M500
19.28/17.37	    decisions=6998, wrong=3375, backtracks=780, failedAssignments=2643, nogoods=794, foundSolutions=8, bestBound=62
19.28/17.37	    
19.38/17.41	    num=86, depth=2..5, filters=195957, revisions=(421620,useless=197192), ccks=164864354, wck=15.256, mem=108M500
19.38/17.41	    decisions=7049, wrong=3399, backtracks=786, failedAssignments=2662, nogoods=801, foundSolutions=8, bestBound=62
19.38/17.41	    
19.48/17.50	    num=87, depth=0..4, filters=197860, revisions=(425769,useless=199214), ccks=165757455, wck=15.344, mem=111M143
19.48/17.50	    decisions=7110, wrong=3428, backtracks=796, failedAssignments=2683, nogoods=810, foundSolutions=8, bestBound=62
19.48/17.50	    
19.48/17.54	    num=88, depth=1..3, filters=199599, revisions=(429726,useless=201241), ccks=166152289, wck=15.389, mem=111M143
19.48/17.54	    decisions=7171, wrong=3457, backtracks=802, failedAssignments=2706, nogoods=819, foundSolutions=8, bestBound=62
19.48/17.54	    
19.48/17.59	    num=89, depth=3..5, filters=201980, revisions=(434264,useless=203107), ccks=166614464, wck=15.441, mem=111M143
19.48/17.59	    decisions=7250, wrong=3495, backtracks=815, failedAssignments=2731, nogoods=826, foundSolutions=8, bestBound=62
19.48/17.59	    
19.68/17.73	    num=90, depth=0..3, filters=203874, revisions=(438540,useless=205255), ccks=168064384, wck=15.575, mem=111M143
19.68/17.73	    decisions=7318, wrong=3528, backtracks=820, failedAssignments=2759, nogoods=844, foundSolutions=8, bestBound=62
19.68/17.73	    
19.78/17.82	    num=91, depth=0..4, filters=206772, revisions=(444626,useless=208104), ccks=168959841, wck=15.669, mem=113M785
19.78/17.82	    decisions=7401, wrong=3568, backtracks=829, failedAssignments=2790, nogoods=853, foundSolutions=8, bestBound=62
19.78/17.82	    
19.78/17.87	    num=92, depth=2..4, filters=209211, revisions=(449419,useless=210203), ccks=169337188, wck=15.713, mem=113M785
19.78/17.87	    decisions=7490, wrong=3611, backtracks=838, failedAssignments=2824, nogoods=869, foundSolutions=8, bestBound=62
19.78/17.87	    
19.88/17.97	    num=93, depth=1..4, filters=212516, revisions=(456481,useless=213551), ccks=170330213, wck=15.819, mem=113M785
19.88/17.97	    decisions=7595, wrong=3663, backtracks=857, failedAssignments=2861, nogoods=883, foundSolutions=8, bestBound=62
19.88/17.97	    
19.99/18.02	    num=94, depth=3..5, filters=214771, revisions=(460736,useless=215252), ccks=170749803, wck=15.866, mem=113M785
19.99/18.02	    decisions=7700, wrong=3714, backtracks=868, failedAssignments=2902, nogoods=893, foundSolutions=8, bestBound=62
19.99/18.02	    
20.09/18.13	    num=95, depth=0..4, filters=218188, revisions=(467880,useless=218585), ccks=171766530, wck=15.973, mem=116M427
20.09/18.13	    decisions=7825, wrong=3775, backtracks=885, failedAssignments=2947, nogoods=905, foundSolutions=8, bestBound=62
20.09/18.13	    
20.45/18.41	    num=96, depth=0..3, filters=222058, revisions=(477516,useless=223559), ccks=174792942, wck=16.256, mem=116M427
20.45/18.41	    decisions=7953, wrong=3838, backtracks=898, failedAssignments=2997, nogoods=918, foundSolutions=8, bestBound=62
20.45/18.41	    
20.55/18.55	    num=97, depth=1..5, filters=227040, revisions=(487862,useless=228415), ccks=176022349, wck=16.392, mem=119M70
20.55/18.55	    decisions=8115, wrong=3918, backtracks=927, failedAssignments=3052, nogoods=933, foundSolutions=8, bestBound=62
20.55/18.55	    
20.66/18.64	    num=98, depth=1..5, filters=232432, revisions=(498530,useless=233204), ccks=176830718, wck=16.49, mem=119M70
20.66/18.64	    decisions=8296, wrong=4006, backtracks=957, failedAssignments=3113, nogoods=943, foundSolutions=8, bestBound=62
20.66/18.64	    
20.96/18.96	    num=99, depth=2..5, filters=237851, revisions=(511625,useless=239578), ccks=180065440, wck=16.803, mem=121M712
20.96/18.96	    decisions=8478, wrong=4096, backtracks=980, failedAssignments=3180, nogoods=963, foundSolutions=8, bestBound=62
20.96/18.96	    
21.07/19.05	    num=100, depth=4..6, filters=244226, revisions=(522322,useless=243118), ccks=180759647, wck=16.894, mem=124M355
21.07/19.05	    decisions=8693, wrong=4201, backtracks=1011, failedAssignments=3254, nogoods=987, foundSolutions=8, bestBound=62
21.07/19.05	    
21.26/19.21	    num=101, depth=1..5, filters=250662, revisions=(535562,useless=249292), ccks=182208278, wck=17.059, mem=126M997
21.26/19.21	    decisions=8939, wrong=4323, backtracks=1056, failedAssignments=3335, nogoods=996, foundSolutions=8, bestBound=62
21.26/19.21	    
21.36/19.31	    num=102, depth=2..5, filters=256681, revisions=(546747,useless=253868), ccks=182944413, wck=17.152, mem=126M997
21.36/19.31	    decisions=9177, wrong=4440, backtracks=1086, failedAssignments=3424, nogoods=1005, foundSolutions=8, bestBound=62
21.36/19.31	    
21.46/19.47	    num=103, depth=1..5, filters=263375, revisions=(560486,useless=260215), ccks=184342462, wck=17.313, mem=129M639
21.46/19.47	    decisions=9443, wrong=4572, backtracks=1127, failedAssignments=3522, nogoods=1018, foundSolutions=8, bestBound=62
21.46/19.47	    
21.86/19.81	    num=104, depth=1..6, filters=271901, revisions=(579771,useless=269853), ccks=187752759, wck=17.654, mem=132M282
21.86/19.81	    decisions=9740, wrong=4719, backtracks=1167, failedAssignments=3630, nogoods=1043, foundSolutions=8, bestBound=62
21.86/19.81	    
22.09/20.06	    num=105, depth=0..5, filters=280803, revisions=(598714,useless=278819), ccks=190083794, wck=17.907, mem=134M924
22.09/20.06	    decisions=10051, wrong=4874, backtracks=1210, failedAssignments=3749, nogoods=1048, foundSolutions=8, bestBound=62
22.09/20.06	    
22.19/20.18	    num=106, depth=3..6, filters=289281, revisions=(613739,useless=284643), ccks=190988862, wck=18.025, mem=134M924
22.19/20.18	    decisions=10379, wrong=5036, backtracks=1244, failedAssignments=3880, nogoods=1065, foundSolutions=8, bestBound=62
22.19/20.18	    
22.38/20.40	    num=107, depth=1..6, filters=300661, revisions=(635474,useless=293632), ccks=192778680, wck=18.241, mem=140M209
22.38/20.40	    decisions=10757, wrong=5223, backtracks=1288, failedAssignments=4024, nogoods=1081, foundSolutions=8, bestBound=62
22.38/20.40	    
22.70/20.62	    num=108, depth=1..5, filters=310256, revisions=(655323,useless=302942), ccks=194756706, wck=18.47, mem=142M778
22.70/20.62	    decisions=11154, wrong=5420, backtracks=1335, failedAssignments=4182, nogoods=1099, foundSolutions=8, bestBound=62
22.70/20.62	    
22.80/20.78	    num=109, depth=2..5, filters=322144, revisions=(677081,useless=311621), ccks=195757867, wck=18.624, mem=22M975
22.80/20.78	    decisions=11616, wrong=5649, backtracks=1394, failedAssignments=4356, nogoods=1106, foundSolutions=8, bestBound=62
22.80/20.78	    
23.16/21.03	    num=110, depth=1..5, filters=338826, revisions=(709522,useless=325543), ccks=197675020, wck=18.872, mem=25M591
23.16/21.03	    decisions=12134, wrong=5907, backtracks=1461, failedAssignments=4547, nogoods=1118, foundSolutions=8, bestBound=62
23.16/21.03	    
23.45/21.33	    num=111, depth=1..6, filters=354969, revisions=(740825,useless=338834), ccks=200147430, wck=19.172, mem=30M823
23.45/21.33	    decisions=12678, wrong=6177, backtracks=1528, failedAssignments=4758, nogoods=1131, foundSolutions=8, bestBound=62
23.45/21.33	    
23.75/21.65	    num=112, depth=1..7, filters=370475, revisions=(772220,useless=352881), ccks=202934115, wck=19.5, mem=33M439
23.75/21.65	    decisions=13308, wrong=6490, backtracks=1620, failedAssignments=4990, nogoods=1148, foundSolutions=8, bestBound=62
23.75/21.65	    
23.95/21.86	    num=113, depth=1..6, filters=388007, revisions=(804170,useless=365441), ccks=204457809, wck=19.711, mem=38M671
23.95/21.86	    decisions=14014, wrong=6841, backtracks=1729, failedAssignments=5245, nogoods=1168, foundSolutions=8, bestBound=62
23.95/21.86	    
24.35/22.21	    num=114, depth=0..4, filters=407934, revisions=(845013,useless=384222), ccks=207334648, wck=20.061, mem=41M287
24.35/22.21	    decisions=14772, wrong=7219, backtracks=1830, failedAssignments=5526, nogoods=1182, foundSolutions=8, bestBound=62
24.35/22.21	    
24.76/22.69	    num=115, depth=0..5, filters=430187, revisions=(891319,useless=405510), ccks=211422648, wck=20.534, mem=49M135
24.76/22.69	    decisions=15591, wrong=7628, backtracks=1942, failedAssignments=5835, nogoods=1196, foundSolutions=8, bestBound=62
24.76/22.69	    
25.27/23.12	    num=116, depth=1..6, filters=454066, revisions=(934346,useless=421914), ccks=215126976, wck=20.969, mem=54M367
25.27/23.12	    decisions=16498, wrong=8079, backtracks=2058, failedAssignments=6175, nogoods=1222, foundSolutions=8, bestBound=62
25.27/23.12	    
25.56/23.40	o 61
25.56/23.40	    num=117, depth=0..54, filters=467872, revisions=(961876,useless=434157), ccks=217438997, wck=21.245, mem=56M983
25.56/23.40	    decisions=17006, wrong=8331, backtracks=2139, failedAssignments=6358, nogoods=1233, foundSolutions=9, bestBound=61
25.56/23.40	    
26.46/24.30	    num=118, depth=1..6, filters=495519, revisions=(1021924,useless=460845), ccks=226117858, wck=22.149, mem=67M447
26.46/24.30	    decisions=18081, wrong=8867, backtracks=2269, failedAssignments=6769, nogoods=1251, foundSolutions=9, bestBound=61
26.46/24.30	    
26.46/24.37	    num=119, depth=0..4, filters=496677, revisions=(1024513,useless=462085), ccks=226770759, wck=22.213, mem=67M447
26.46/24.37	    decisions=18117, wrong=8883, backtracks=2274, failedAssignments=6780, nogoods=1259, foundSolutions=9, bestBound=61
26.46/24.37	    
26.46/24.39	    num=120, depth=2..4, filters=497654, revisions=(1026473,useless=462939), ccks=227027239, wck=22.24, mem=67M447
26.46/24.39	    decisions=18150, wrong=8898, backtracks=2277, failedAssignments=6792, nogoods=1266, foundSolutions=9, bestBound=61
26.46/24.39	    
26.56/24.43	    num=121, depth=1..4, filters=498567, revisions=(1028424,useless=463860), ccks=227389217, wck=22.276, mem=67M447
26.56/24.43	    decisions=18185, wrong=8914, backtracks=2280, failedAssignments=6805, nogoods=1277, foundSolutions=9, bestBound=61
26.56/24.43	    
26.66/24.50	    num=122, depth=1..4, filters=499400, revisions=(1030341,useless=464807), ccks=228184210, wck=22.348, mem=67M447
26.66/24.50	    decisions=18220, wrong=8931, backtracks=2284, failedAssignments=6819, nogoods=1286, foundSolutions=9, bestBound=61
26.66/24.50	    
26.77/24.66	    num=123, depth=0..3, filters=500532, revisions=(1033167,useless=466216), ccks=229961626, wck=22.505, mem=68M768
26.77/24.66	    decisions=18258, wrong=8949, backtracks=2287, failedAssignments=6835, nogoods=1295, foundSolutions=9, bestBound=61
26.77/24.66	    
26.87/24.72	    num=124, depth=2..3, filters=501868, revisions=(1036104,useless=467587), ccks=230603226, wck=22.567, mem=71M384
26.87/24.72	    decisions=18301, wrong=8969, backtracks=2290, failedAssignments=6852, nogoods=1307, foundSolutions=9, bestBound=61
26.87/24.72	    
26.87/24.75	    num=125, depth=2..3, filters=503316, revisions=(1039180,useless=469058), ccks=230903245, wck=22.6, mem=71M384
26.87/24.75	    decisions=18346, wrong=8990, backtracks=2292, failedAssignments=6871, nogoods=1319, foundSolutions=9, bestBound=61
26.87/24.75	    
26.87/24.79	    num=126, depth=4..6, filters=504507, revisions=(1041440,useless=469984), ccks=231199196, wck=22.632, mem=71M384
26.87/24.79	    decisions=18398, wrong=9014, backtracks=2295, failedAssignments=6892, nogoods=1322, foundSolutions=9, bestBound=61
26.87/24.79	    
26.97/24.87	    num=127, depth=1..4, filters=506595, revisions=(1046437,useless=472520), ccks=232037477, wck=22.717, mem=71M384
26.97/24.87	    decisions=18463, wrong=9046, backtracks=2304, failedAssignments=6915, nogoods=1323, foundSolutions=9, bestBound=61
26.97/24.87	    
27.08/24.91	    num=128, depth=2..4, filters=508760, revisions=(1050733,useless=474388), ccks=232381140, wck=22.757, mem=71M384
27.08/24.91	    decisions=18530, wrong=9078, backtracks=2312, failedAssignments=6940, nogoods=1334, foundSolutions=9, bestBound=61
27.08/24.91	    
27.08/24.99	    num=129, depth=1..5, filters=511482, revisions=(1056527,useless=477187), ccks=233099853, wck=22.836, mem=74M0
27.08/24.99	    decisions=18610, wrong=9117, backtracks=2325, failedAssignments=6968, nogoods=1340, foundSolutions=9, bestBound=61
27.08/24.99	    
27.19/25.03	    num=130, depth=2..4, filters=513933, revisions=(1061381,useless=479308), ccks=233428179, wck=22.875, mem=74M0
27.19/25.03	    decisions=18693, wrong=9157, backtracks=2334, failedAssignments=6999, nogoods=1353, foundSolutions=9, bestBound=61
27.19/25.03	    
27.19/25.09	    num=131, depth=1..4, filters=516010, revisions=(1065668,useless=481209), ccks=234053457, wck=22.94, mem=74M0
27.19/25.09	    decisions=18782, wrong=9200, backtracks=2344, failedAssignments=7033, nogoods=1361, foundSolutions=9, bestBound=61
27.19/25.09	    
27.30/25.19	    num=132, depth=1..4, filters=519124, revisions=(1072548,useless=484558), ccks=234929020, wck=23.034, mem=76M616
27.30/25.19	    decisions=18895, wrong=9255, backtracks=2363, failedAssignments=7070, nogoods=1365, foundSolutions=9, bestBound=61
27.30/25.19	    
27.39/25.28	    num=133, depth=1..6, filters=522253, revisions=(1079055,useless=487628), ccks=235758214, wck=23.124, mem=76M616
27.39/25.28	    decisions=19010, wrong=9312, backtracks=2380, failedAssignments=7111, nogoods=1366, foundSolutions=9, bestBound=61
27.39/25.28	    
27.49/25.36	    num=134, depth=1..5, filters=526875, revisions=(1088052,useless=491519), ccks=236457323, wck=23.208, mem=76M616
27.49/25.36	    decisions=19154, wrong=9383, backtracks=2407, failedAssignments=7156, nogoods=1370, foundSolutions=9, bestBound=61
27.49/25.36	    
27.59/25.42	    num=135, depth=2..5, filters=529834, revisions=(1093883,useless=494031), ccks=236975988, wck=23.268, mem=79M232
27.59/25.42	    decisions=19280, wrong=9444, backtracks=2421, failedAssignments=7206, nogoods=1382, foundSolutions=9, bestBound=61
27.59/25.42	    
27.69/25.50	    num=136, depth=2..5, filters=533328, revisions=(1100834,useless=497063), ccks=237704734, wck=23.35, mem=79M232
27.69/25.50	    decisions=19421, wrong=9513, backtracks=2437, failedAssignments=7261, nogoods=1391, foundSolutions=9, bestBound=61
27.69/25.50	    
27.69/25.57	    num=137, depth=2..5, filters=537664, revisions=(1108915,useless=500344), ccks=238212135, wck=23.414, mem=81M848
27.69/25.57	    decisions=19575, wrong=9589, backtracks=2453, failedAssignments=7322, nogoods=1393, foundSolutions=9, bestBound=61
27.69/25.57	    
27.89/25.76	    num=138, depth=0..5, filters=543108, revisions=(1120978,useless=506236), ccks=240101142, wck=23.607, mem=81M848
27.89/25.76	    decisions=19754, wrong=9677, backtracks=2478, failedAssignments=7389, nogoods=1410, foundSolutions=9, bestBound=61
27.89/25.76	    
27.99/25.86	    num=139, depth=1..5, filters=549546, revisions=(1133832,useless=511953), ccks=240891463, wck=23.708, mem=84M464
27.99/25.86	    decisions=19959, wrong=9778, backtracks=2506, failedAssignments=7463, nogoods=1417, foundSolutions=9, bestBound=61
27.99/25.86	    
28.09/25.93	    num=140, depth=3..6, filters=555845, revisions=(1145438,useless=516591), ccks=241404473, wck=23.781, mem=84M464
28.09/25.93	    decisions=20197, wrong=9895, backtracks=2545, failedAssignments=7544, nogoods=1437, foundSolutions=9, bestBound=61
28.09/25.93	    
28.30/26.12	    num=141, depth=1..5, filters=561517, revisions=(1157366,useless=522310), ccks=243205447, wck=23.969, mem=87M80
28.30/26.12	    decisions=20417, wrong=10004, backtracks=2566, failedAssignments=7633, nogoods=1459, foundSolutions=9, bestBound=61
28.30/26.12	    
28.40/26.29	    num=142, depth=1..4, filters=567738, revisions=(1170398,useless=528240), ccks=244706788, wck=24.133, mem=89M696
28.40/26.29	    decisions=20664, wrong=10126, backtracks=2594, failedAssignments=7731, nogoods=1465, foundSolutions=9, bestBound=61
28.40/26.29	    
28.50/26.31	o 60
28.50/26.31	    num=143, depth=3..54, filters=568846, revisions=(1172626,useless=529232), ccks=244950981, wck=24.161, mem=89M696
28.50/26.31	    decisions=20704, wrong=10144, backtracks=2596, failedAssignments=7747, nogoods=1481, foundSolutions=10, bestBound=60
28.50/26.31	    
28.80/26.61	    num=144, depth=2..5, filters=576956, revisions=(1190577,useless=537542), ccks=247862571, wck=24.456, mem=92M312
28.80/26.61	    decisions=21012, wrong=10296, backtracks=2632, failedAssignments=7866, nogoods=1498, foundSolutions=10, bestBound=60
28.80/26.61	    
28.80/26.66	    num=145, depth=2..4, filters=577888, revisions=(1192698,useless=538581), ccks=248353964, wck=24.503, mem=92M312
28.80/26.66	    decisions=21043, wrong=10310, backtracks=2635, failedAssignments=7877, nogoods=1508, foundSolutions=10, bestBound=60
28.80/26.66	    
28.80/26.68	    num=146, depth=3..6, filters=578869, revisions=(1194534,useless=539334), ccks=248614784, wck=24.53, mem=92M312
28.80/26.68	    decisions=21079, wrong=10326, backtracks=2641, failedAssignments=7889, nogoods=1512, foundSolutions=10, bestBound=60
28.80/26.68	    
28.90/26.76	    num=147, depth=1..4, filters=580369, revisions=(1198171,useless=541249), ccks=249397140, wck=24.606, mem=92M312
28.90/26.76	    decisions=21123, wrong=10347, backtracks=2649, failedAssignments=7902, nogoods=1519, foundSolutions=10, bestBound=60
28.90/26.76	    
29.00/26.81	    num=148, depth=2..4, filters=581637, revisions=(1200813,useless=542469), ccks=249862933, wck=24.653, mem=92M312
29.00/26.81	    decisions=21163, wrong=10366, backtracks=2654, failedAssignments=7916, nogoods=1527, foundSolutions=10, bestBound=60
29.00/26.81	    
29.00/26.83	    num=149, depth=3..5, filters=582906, revisions=(1203163,useless=543413), ccks=250112073, wck=24.68, mem=92M312
29.00/26.83	    decisions=21216, wrong=10390, backtracks=2662, failedAssignments=7932, nogoods=1533, foundSolutions=10, bestBound=60
29.00/26.83	    
29.00/26.87	    num=150, depth=2..5, filters=584117, revisions=(1205713,useless=544590), ccks=250417506, wck=24.713, mem=94M928
29.00/26.87	    decisions=21260, wrong=10411, backtracks=2667, failedAssignments=7949, nogoods=1536, foundSolutions=10, bestBound=60
29.00/26.87	    
29.10/26.92	    num=151, depth=1..4, filters=585939, revisions=(1209624,useless=546480), ccks=250939619, wck=24.768, mem=94M928
29.10/26.92	    decisions=21312, wrong=10436, backtracks=2673, failedAssignments=7968, nogoods=1543, foundSolutions=10, bestBound=60
29.10/26.92	    
29.21/27.04	    num=152, depth=1..5, filters=588003, revisions=(1214438,useless=548810), ccks=252212301, wck=24.891, mem=94M928
29.21/27.04	    decisions=21372, wrong=10464, backtracks=2681, failedAssignments=7989, nogoods=1557, foundSolutions=10, bestBound=60
29.21/27.04	    
29.31/27.14	    num=153, depth=0..5, filters=590082, revisions=(1218912,useless=551011), ccks=253182465, wck=24.986, mem=94M928
29.31/27.14	    decisions=21434, wrong=10494, backtracks=2688, failedAssignments=8012, nogoods=1570, foundSolutions=10, bestBound=60
29.31/27.14	    
29.40/27.21	    num=154, depth=1..4, filters=592074, revisions=(1223462,useless=553213), ccks=253868988, wck=25.057, mem=97M544
29.40/27.21	    decisions=21496, wrong=10524, backtracks=2695, failedAssignments=8037, nogoods=1580, foundSolutions=10, bestBound=60
29.40/27.21	    
29.50/27.36	    num=155, depth=0..4, filters=594070, revisions=(1228072,useless=555483), ccks=255470666, wck=25.207, mem=97M544
29.50/27.36	    decisions=21570, wrong=10560, backtracks=2704, failedAssignments=8065, nogoods=1593, foundSolutions=10, bestBound=60
29.50/27.36	    
29.60/27.47	    num=156, depth=0..4, filters=596360, revisions=(1233368,useless=558155), ccks=256610247, wck=25.318, mem=97M544
29.60/27.47	    decisions=21654, wrong=10601, backtracks=2716, failedAssignments=8096, nogoods=1601, foundSolutions=10, bestBound=60
29.60/27.47	    
29.70/27.54	    num=157, depth=2..5, filters=599458, revisions=(1239784,useless=560997), ccks=257200339, wck=25.386, mem=100M160
29.70/27.54	    decisions=21754, wrong=10650, backtracks=2732, failedAssignments=8130, nogoods=1607, foundSolutions=10, bestBound=60
29.70/27.54	    
29.80/27.68	    num=158, depth=2..4, filters=602220, revisions=(1246243,useless=564083), ccks=258579355, wck=25.523, mem=100M160
29.80/27.68	    decisions=21850, wrong=10697, backtracks=2743, failedAssignments=8167, nogoods=1620, foundSolutions=10, bestBound=60
29.80/27.68	    
30.00/27.80	    num=159, depth=1..3, filters=605653, revisions=(1254049,useless=567994), ccks=259816600, wck=25.649, mem=100M160
30.00/27.80	    decisions=21954, wrong=10748, backtracks=2754, failedAssignments=8208, nogoods=1634, foundSolutions=10, bestBound=60
30.00/27.80	    
30.00/27.89	    num=160, depth=1..5, filters=609853, revisions=(1262792,useless=571911), ccks=260591328, wck=25.74, mem=102M776
30.00/27.89	    decisions=22089, wrong=10814, backtracks=2778, failedAssignments=8253, nogoods=1643, foundSolutions=10, bestBound=60
30.00/27.89	    
30.21/28.03	    num=161, depth=1..5, filters=614709, revisions=(1273566,useless=577224), ccks=261890072, wck=25.881, mem=102M776
30.21/28.03	    decisions=22233, wrong=10885, backtracks=2803, failedAssignments=8303, nogoods=1658, foundSolutions=10, bestBound=60
30.21/28.03	    
30.31/28.13	    num=162, depth=2..5, filters=619203, revisions=(1282981,useless=581582), ccks=262712466, wck=25.978, mem=105M392
30.31/28.13	    decisions=22379, wrong=10957, backtracks=2824, failedAssignments=8358, nogoods=1672, foundSolutions=10, bestBound=60
30.31/28.13	    
30.50/28.38	    num=163, depth=1..4, filters=623281, revisions=(1292929,useless=586585), ccks=265366269, wck=26.231, mem=105M392
30.50/28.38	    decisions=22528, wrong=11031, backtracks=2839, failedAssignments=8419, nogoods=1696, foundSolutions=10, bestBound=60
30.50/28.38	    
30.70/28.58	    num=164, depth=0..4, filters=628608, revisions=(1305546,useless=592917), ccks=267258532, wck=26.428, mem=108M8
30.70/28.58	    decisions=22696, wrong=11114, backtracks=2858, failedAssignments=8486, nogoods=1710, foundSolutions=10, bestBound=60
30.70/28.58	    
30.80/28.64	    num=165, depth=2..5, filters=633281, revisions=(1314152,useless=596369), ccks=267674545, wck=26.484, mem=108M8
30.80/28.64	    decisions=22891, wrong=11209, backtracks=2881, failedAssignments=8560, nogoods=1724, foundSolutions=10, bestBound=60
30.80/28.64	    
30.91/28.78	    num=166, depth=1..6, filters=641033, revisions=(1330220,useless=603879), ccks=268851882, wck=26.629, mem=110M624
30.91/28.78	    decisions=23129, wrong=11326, backtracks=2921, failedAssignments=8641, nogoods=1732, foundSolutions=10, bestBound=60
30.91/28.78	    
31.11/28.90	    num=167, depth=1..6, filters=648167, revisions=(1344060,useless=609807), ccks=269819857, wck=26.749, mem=113M240
31.11/28.90	    decisions=23383, wrong=11451, backtracks=2960, failedAssignments=8730, nogoods=1749, foundSolutions=10, bestBound=60
31.11/28.90	    
31.22/29.06	    num=168, depth=1..5, filters=656355, revisions=(1360905,useless=617555), ccks=271152647, wck=26.909, mem=115M856
31.22/29.06	    decisions=23674, wrong=11595, backtracks=3011, failedAssignments=8828, nogoods=1758, foundSolutions=10, bestBound=60
31.22/29.06	    
31.32/29.19	    num=169, depth=2..6, filters=664822, revisions=(1376573,useless=623741), ccks=272129121, wck=27.034, mem=118M472
31.32/29.19	    decisions=23968, wrong=11740, backtracks=3051, failedAssignments=8936, nogoods=1772, foundSolutions=10, bestBound=60
31.32/29.19	    
31.51/29.34	    num=170, depth=1..5, filters=673253, revisions=(1393888,useless=631559), ccks=273379382, wck=27.189, mem=118M472
31.51/29.34	    decisions=24290, wrong=11899, backtracks=3095, failedAssignments=9055, nogoods=1790, foundSolutions=10, bestBound=60
31.51/29.34	    
31.71/29.56	    num=171, depth=1..6, filters=682957, revisions=(1413159,useless=639775), ccks=275267253, wck=27.408, mem=121M88
31.71/29.56	    decisions=24651, wrong=12078, backtracks=3151, failedAssignments=9186, nogoods=1800, foundSolutions=10, bestBound=60
31.71/29.56	    
32.11/29.92	    num=172, depth=1..6, filters=696636, revisions=(1442845,useless=654078), ccks=278502730, wck=27.767, mem=126M320
32.11/29.92	    decisions=25054, wrong=12278, backtracks=3214, failedAssignments=9330, nogoods=1821, foundSolutions=10, bestBound=60
32.11/29.92	    
32.32/30.14	    num=173, depth=1..5, filters=707534, revisions=(1465745,useless=664943), ccks=280293051, wck=27.982, mem=128M936
32.32/30.14	    decisions=25467, wrong=12483, backtracks=3267, failedAssignments=9488, nogoods=1834, foundSolutions=10, bestBound=60
32.32/30.14	    
32.51/30.31	    num=174, depth=1..7, filters=719790, revisions=(1489449,useless=675141), ccks=281636193, wck=28.157, mem=131M552
32.51/30.31	    decisions=25921, wrong=12709, backtracks=3322, failedAssignments=9662, nogoods=1863, foundSolutions=10, bestBound=60
32.51/30.31	    
32.91/30.71	    num=175, depth=0..5, filters=734517, revisions=(1520922,useless=690254), ccks=285350564, wck=28.559, mem=136M784
32.91/30.71	    decisions=26453, wrong=12973, backtracks=3398, failedAssignments=9853, nogoods=1876, foundSolutions=10, bestBound=60
32.91/30.71	    
33.11/30.95	    num=176, depth=1..5, filters=750382, revisions=(1552106,useless=703830), ccks=287122807, wck=28.792, mem=139M400
33.11/30.95	    decisions=27001, wrong=13246, backtracks=3466, failedAssignments=10064, nogoods=1888, foundSolutions=10, bestBound=60
33.11/30.95	    
33.32/31.17	    num=177, depth=1..6, filters=764451, revisions=(1579403,useless=715765), ccks=288872099, wck=29.017, mem=144M632
33.32/31.17	    decisions=27623, wrong=13555, backtracks=3558, failedAssignments=10296, nogoods=1903, foundSolutions=10, bestBound=60
33.32/31.17	    
33.61/31.47	    num=178, depth=0..5, filters=782398, revisions=(1616181,useless=732943), ccks=291214732, wck=29.315, mem=147M248
33.61/31.47	    decisions=28304, wrong=13893, backtracks=3646, failedAssignments=10551, nogoods=1913, foundSolutions=10, bestBound=60
33.61/31.47	    
34.01/31.81	    num=179, depth=0..6, filters=801997, revisions=(1656878,useless=751782), ccks=293930943, wck=29.653, mem=152M479
34.01/31.81	    decisions=29053, wrong=14266, backtracks=3752, failedAssignments=10832, nogoods=1919, foundSolutions=10, bestBound=60
34.01/31.81	    
34.44/32.25	    num=180, depth=1..5, filters=824779, revisions=(1703649,useless=772976), ccks=297427131, wck=30.093, mem=25M675
34.44/32.25	    decisions=29894, wrong=14685, backtracks=3875, failedAssignments=11141, nogoods=1953, foundSolutions=10, bestBound=60
34.44/32.25	    
35.44/33.27	    num=181, depth=1..5, filters=850382, revisions=(1761845,useless=800608), ccks=307484936, wck=31.12, mem=36M139
35.44/33.27	    decisions=30786, wrong=15130, backtracks=3993, failedAssignments=11481, nogoods=1993, foundSolutions=10, bestBound=60
35.44/33.27	    
36.44/34.21	    num=182, depth=0..6, filters=876810, revisions=(1819309,useless=827014), ccks=316487666, wck=32.053, mem=43M987
36.44/34.21	    decisions=31776, wrong=15623, backtracks=4122, failedAssignments=11855, nogoods=2008, foundSolutions=10, bestBound=60
36.44/34.21	    
36.94/34.72	    num=183, depth=1..6, filters=907146, revisions=(1881593,useless=855339), ccks=320462826, wck=32.567, mem=49M219
36.94/34.72	    decisions=32879, wrong=16173, backtracks=4279, failedAssignments=12266, nogoods=2032, foundSolutions=10, bestBound=60
36.94/34.72	    
37.44/35.24	    num=184, depth=0..6, filters=938275, revisions=(1942089,useless=880474), ccks=324617304, wck=33.09, mem=57M67
37.44/35.24	    decisions=34071, wrong=16767, backtracks=4437, failedAssignments=12718, nogoods=2040, foundSolutions=10, bestBound=60
37.44/35.24	    
38.04/35.84	    num=185, depth=0..6, filters=972722, revisions=(2012139,useless=912350), ccks=329434313, wck=33.689, mem=67M531
38.04/35.84	    decisions=35373, wrong=17416, backtracks=4612, failedAssignments=13215, nogoods=2057, foundSolutions=10, bestBound=60
38.04/35.84	    
38.74/36.59	    num=186, depth=0..5, filters=1015834, revisions=(2100451,useless=951107), ccks=335285849, wck=34.44, mem=78M854
38.74/36.59	    decisions=36970, wrong=18213, backtracks=4874, failedAssignments=13762, nogoods=2079, foundSolutions=10, bestBound=60
38.74/36.59	    
39.35/37.17	    num=187, depth=1..6, filters=1059813, revisions=(2182684,useless=984021), ccks=339530160, wck=35.02, mem=89M318
39.35/37.17	    decisions=38612, wrong=19031, backtracks=5120, failedAssignments=14364, nogoods=2110, foundSolutions=10, bestBound=60
39.35/37.17	    
40.25/38.05	    num=188, depth=0..5, filters=1110462, revisions=(2288937,useless=1032925), ccks=346265606, wck=35.898, mem=99M782
40.25/38.05	    decisions=40455, wrong=19951, backtracks=5394, failedAssignments=15026, nogoods=2132, foundSolutions=10, bestBound=60
40.25/38.05	    
41.84/39.68	    num=189, depth=0..5, filters=1169722, revisions=(2417967,useless=1093414), ccks=361000108, wck=37.525, mem=118M94
41.84/39.68	    decisions=42395, wrong=20919, backtracks=5658, failedAssignments=15754, nogoods=2153, foundSolutions=10, bestBound=60
41.84/39.68	    
42.85/40.61	o 59
42.85/40.61	    num=190, depth=1..54, filters=1233282, revisions=(2548844,useless=1154130), ccks=367703350, wck=38.452, mem=131M174
42.85/40.61	    decisions=44601, wrong=22020, backtracks=6043, failedAssignments=16508, nogoods=2187, foundSolutions=11, bestBound=59
42.85/40.61	    
43.95/41.79	    num=191, depth=1..6, filters=1293524, revisions=(2672342,useless=1208760), ccks=377966591, wck=39.636, mem=146M870
43.95/41.79	    decisions=46920, wrong=23178, backtracks=6350, failedAssignments=17389, nogoods=2199, foundSolutions=11, bestBound=59
43.95/41.79	    
44.05/41.83	    num=192, depth=2..4, filters=1294553, revisions=(2674553,useless=1209809), ccks=378411727, wck=39.68, mem=146M870
44.05/41.83	    decisions=46953, wrong=23193, backtracks=6355, failedAssignments=17400, nogoods=2202, foundSolutions=11, bestBound=59
44.05/41.83	    
44.05/41.86	    num=193, depth=4..6, filters=1295617, revisions=(2676541,useless=1210602), ccks=378643097, wck=39.706, mem=146M870
44.05/41.86	    decisions=46990, wrong=23209, backtracks=6359, failedAssignments=17412, nogoods=2211, foundSolutions=11, bestBound=59
44.05/41.86	    
44.16/41.90	    num=194, depth=2..5, filters=1296801, revisions=(2679080,useless=1211776), ccks=379064521, wck=39.749, mem=146M870
44.16/41.90	    decisions=47028, wrong=23226, backtracks=6364, failedAssignments=17425, nogoods=2214, foundSolutions=11, bestBound=59
44.16/41.90	    
44.16/41.94	    num=195, depth=2..5, filters=1298415, revisions=(2682237,useless=1213117), ccks=379350292, wck=39.782, mem=146M870
44.16/41.94	    decisions=47078, wrong=23250, backtracks=6374, failedAssignments=17439, nogoods=2218, foundSolutions=11, bestBound=59
44.16/41.94	    
44.16/42.00	    num=196, depth=3..4, filters=1299464, revisions=(2684631,useless=1214196), ccks=380051561, wck=39.849, mem=149M486
44.16/42.00	    decisions=47117, wrong=23268, backtracks=6376, failedAssignments=17455, nogoods=2226, foundSolutions=11, bestBound=59
44.16/42.00	    
44.27/42.05	    num=197, depth=2..4, filters=1300996, revisions=(2687852,useless=1215737), ccks=380459831, wck=39.893, mem=149M486
44.27/42.05	    decisions=47175, wrong=23296, backtracks=6387, failedAssignments=17472, nogoods=2234, foundSolutions=11, bestBound=59
44.27/42.05	    
44.27/42.08	    num=198, depth=4..7, filters=1302634, revisions=(2690744,useless=1216839), ccks=380713247, wck=39.923, mem=149M486
44.27/42.08	    decisions=47235, wrong=23324, backtracks=6400, failedAssignments=17491, nogoods=2243, foundSolutions=11, bestBound=59
44.27/42.08	    
44.37/42.15	    num=199, depth=1..4, filters=1304336, revisions=(2694715,useless=1218821), ccks=381489886, wck=40.0, mem=149M486
44.37/42.15	    decisions=47286, wrong=23348, backtracks=6403, failedAssignments=17512, nogoods=2252, foundSolutions=11, bestBound=59
44.37/42.15	    
44.37/42.19	    num=200, depth=3..6, filters=1306145, revisions=(2697866,useless=1219950), ccks=381750184, wck=40.031, mem=149M486
44.37/42.19	    decisions=47353, wrong=23379, backtracks=6412, failedAssignments=17535, nogoods=2257, foundSolutions=11, bestBound=59
44.37/42.19	    
44.46/42.26	    num=201, depth=2..5, filters=1308745, revisions=(2703337,useless=1222512), ccks=382405803, wck=40.102, mem=152M102
44.46/42.26	    decisions=47432, wrong=23417, backtracks=6426, failedAssignments=17560, nogoods=2272, foundSolutions=11, bestBound=59
44.46/42.26	    
44.46/42.29	    num=202, depth=4..6, filters=1310435, revisions=(2706301,useless=1223583), ccks=382653332, wck=40.132, mem=152M102
44.46/42.29	    decisions=47504, wrong=23451, backtracks=6432, failedAssignments=17588, nogoods=2279, foundSolutions=11, bestBound=59
44.46/42.29	    
44.57/42.34	    num=203, depth=1..5, filters=1313516, revisions=(2712386,useless=1226251), ccks=383087288, wck=40.185, mem=152M102
44.57/42.34	    decisions=47605, wrong=23500, backtracks=6453, failedAssignments=17619, nogoods=2282, foundSolutions=11, bestBound=59
44.57/42.34	    
44.57/42.39	    num=204, depth=1..5, filters=1316204, revisions=(2717750,useless=1228704), ccks=383523864, wck=40.237, mem=152M102
44.57/42.39	    decisions=47712, wrong=23552, backtracks=6472, failedAssignments=17653, nogoods=2287, foundSolutions=11, bestBound=59
44.57/42.39	    
44.67/42.45	    num=205, depth=1..4, filters=1319042, revisions=(2723789,useless=1231576), ccks=384034680, wck=40.297, mem=152M564
44.67/42.45	    decisions=47811, wrong=23600, backtracks=6488, failedAssignments=17690, nogoods=2295, foundSolutions=11, bestBound=59
44.67/42.45	    
44.80/42.53	    num=206, depth=2..4, filters=1321391, revisions=(2728790,useless=1233866), ccks=384657581, wck=40.375, mem=23M125
44.80/42.53	    decisions=47913, wrong=23650, backtracks=6497, failedAssignments=17731, nogoods=2303, foundSolutions=11, bestBound=59
44.80/42.53	    
44.80/42.59	    num=207, depth=1..4, filters=1324046, revisions=(2734468,useless=1236615), ccks=385194186, wck=40.436, mem=23M125
44.80/42.59	    decisions=48028, wrong=23707, backtracks=6511, failedAssignments=17776, nogoods=2306, foundSolutions=11, bestBound=59
44.80/42.59	    
44.90/42.67	    num=208, depth=1..5, filters=1328208, revisions=(2743190,useless=1240697), ccks=385894853, wck=40.519, mem=23M125
44.90/42.67	    decisions=48167, wrong=23776, backtracks=6534, failedAssignments=17826, nogoods=2308, foundSolutions=11, bestBound=59
44.90/42.67	    
45.00/42.75	    num=209, depth=1..5, filters=1332330, revisions=(2751445,useless=1244543), ccks=386483496, wck=40.592, mem=25M745
45.00/42.75	    decisions=48335, wrong=23858, backtracks=6562, failedAssignments=17881, nogoods=2321, foundSolutions=11, bestBound=59
45.00/42.75	    
45.00/42.79	    num=210, depth=4..6, filters=1335684, revisions=(2757287,useless=1246653), ccks=386836153, wck=40.638, mem=25M745
45.00/42.79	    decisions=48488, wrong=23932, backtracks=6575, failedAssignments=17942, nogoods=2337, foundSolutions=11, bestBound=59
45.00/42.79	    
45.21/42.98	    num=211, depth=1..6, filters=1341430, revisions=(2769637,useless=1252405), ccks=388634181, wck=40.827, mem=28M364
45.21/42.98	    decisions=48664, wrong=24018, backtracks=6603, failedAssignments=18009, nogoods=2357, foundSolutions=11, bestBound=59
45.21/42.98	    
45.31/43.09	    num=212, depth=2..6, filters=1346796, revisions=(2780535,useless=1257334), ccks=389604862, wck=40.94, mem=28M364
45.31/43.09	    decisions=48867, wrong=24118, backtracks=6633, failedAssignments=18083, nogoods=2383, foundSolutions=11, bestBound=59
45.31/43.09	    
45.61/43.35	    num=213, depth=2..5, filters=1352278, revisions=(2792699,useless=1262873), ccks=392264197, wck=41.201, mem=30M983
45.61/43.35	    decisions=49066, wrong=24216, backtracks=6652, failedAssignments=18164, nogoods=2408, foundSolutions=11, bestBound=59
45.61/43.35	    
45.71/43.49	    num=214, depth=1..5, filters=1358904, revisions=(2806614,useless=1269022), ccks=393458296, wck=41.341, mem=33M602
45.71/43.49	    decisions=49308, wrong=24336, backtracks=6686, failedAssignments=18253, nogoods=2412, foundSolutions=11, bestBound=59
45.71/43.49	    
45.81/43.59	    num=215, depth=1..5, filters=1365544, revisions=(2820155,useless=1275470), ccks=394184719, wck=41.438, mem=33M602
45.81/43.59	    decisions=49586, wrong=24474, backtracks=6728, failedAssignments=18351, nogoods=2429, foundSolutions=11, bestBound=59
45.81/43.59	    
45.91/43.67	    num=216, depth=3..6, filters=1371921, revisions=(2831527,useless=1279710), ccks=394743824, wck=41.515, mem=36M222
45.91/43.67	    decisions=49860, wrong=24609, backtracks=6758, failedAssignments=18459, nogoods=2447, foundSolutions=11, bestBound=59
45.91/43.67	    
46.31/44.06	    num=217, depth=0..4, filters=1381348, revisions=(2853626,useless=1290576), ccks=398609304, wck=41.906, mem=38M841
46.31/44.06	    decisions=50175, wrong=24765, backtracks=6797, failedAssignments=18578, nogoods=2468, foundSolutions=11, bestBound=59
46.31/44.06	    
46.51/44.21	    num=218, depth=1..5, filters=1390571, revisions=(2872872,useless=1299576), ccks=399789797, wck=42.058, mem=41M460
46.51/44.21	    decisions=50533, wrong=24943, backtracks=6851, failedAssignments=18709, nogoods=2489, foundSolutions=11, bestBound=59
46.51/44.21	    
46.71/44.42	    num=219, depth=1..5, filters=1401044, revisions=(2893946,useless=1308575), ccks=401539420, wck=42.266, mem=44M79
46.71/44.42	    decisions=50906, wrong=25128, backtracks=6897, failedAssignments=18853, nogoods=2496, foundSolutions=11, bestBound=59
46.71/44.42	    
46.81/44.53	    num=220, depth=3..6, filters=1410007, revisions=(2909606,useless=1314241), ccks=402381785, wck=42.381, mem=46M698
46.81/44.53	    decisions=51303, wrong=25324, backtracks=6937, failedAssignments=19011, nogoods=2514, foundSolutions=11, bestBound=59
46.81/44.53	    
47.41/45.12	    num=221, depth=1..5, filters=1426025, revisions=(2945779,useless=1331102), ccks=408012710, wck=42.97, mem=49M318
47.41/45.12	    decisions=51825, wrong=25584, backtracks=7042, failedAssignments=19185, nogoods=2535, foundSolutions=11, bestBound=59
47.41/45.12	    
48.21/46.00	    num=222, depth=0..6, filters=1440297, revisions=(2979523,useless=1346773), ccks=417151787, wck=43.849, mem=57M175
48.21/46.00	    decisions=52339, wrong=25839, backtracks=7109, failedAssignments=19376, nogoods=2544, foundSolutions=11, bestBound=59
48.21/46.00	    
48.42/46.19	    num=223, depth=1..5, filters=1454848, revisions=(3008315,useless=1359690), ccks=418469029, wck=44.037, mem=59M795
48.42/46.19	    decisions=52915, wrong=26126, backtracks=7195, failedAssignments=19587, nogoods=2556, foundSolutions=11, bestBound=59
48.42/46.19	    
48.61/46.38	    num=224, depth=2..7, filters=1470465, revisions=(3036440,useless=1370564), ccks=419818689, wck=44.225, mem=62M414
48.61/46.38	    decisions=53520, wrong=26427, backtracks=7274, failedAssignments=19819, nogoods=2579, foundSolutions=11, bestBound=59
48.61/46.38	    
49.01/46.70	    num=225, depth=1..6, filters=1488698, revisions=(3074158,useless=1387808), ccks=422361360, wck=44.55, mem=67M652
49.01/46.70	    decisions=54186, wrong=26758, backtracks=7364, failedAssignments=20074, nogoods=2607, foundSolutions=11, bestBound=59
49.01/46.70	    
50.01/47.72	    num=226, depth=1..5, filters=1506001, revisions=(3114801,useless=1406170), ccks=432872248, wck=45.567, mem=75M510
50.01/47.72	    decisions=54870, wrong=27098, backtracks=7430, failedAssignments=20355, nogoods=2632, foundSolutions=11, bestBound=59
50.01/47.72	    
50.51/48.26	    num=227, depth=1..6, filters=1531476, revisions=(3168237,useless=1430596), ccks=437448319, wck=46.109, mem=80M748
50.51/48.26	    decisions=55748, wrong=27535, backtracks=7570, failedAssignments=20664, nogoods=2651, foundSolutions=11, bestBound=59
50.51/48.26	    
51.01/48.73	    num=228, depth=1..5, filters=1559424, revisions=(3225855,useless=1457113), ccks=441031155, wck=46.579, mem=88M606
51.01/48.73	    decisions=56718, wrong=28019, backtracks=7721, failedAssignments=21004, nogoods=2665, foundSolutions=11, bestBound=59
51.01/48.73	    
51.42/49.13	    num=229, depth=1..6, filters=1588947, revisions=(3284737,useless=1482626), ccks=443762444, wck=46.976, mem=93M845
51.42/49.13	    decisions=57757, wrong=28537, backtracks=7896, failedAssignments=21378, nogoods=2688, foundSolutions=11, bestBound=59
51.42/49.13	    
52.11/49.86	    num=230, depth=0..6, filters=1622213, revisions=(3354111,useless=1514472), ccks=450093581, wck=47.706, mem=101M702
52.11/49.86	    decisions=58918, wrong=29116, backtracks=8084, failedAssignments=21789, nogoods=2716, foundSolutions=11, bestBound=59
52.11/49.86	    
53.21/50.95	    num=231, depth=0..6, filters=1662338, revisions=(3440359,useless=1553828), ccks=460093606, wck=48.8, mem=112M179
53.21/50.95	    decisions=60212, wrong=29762, backtracks=8327, failedAssignments=22241, nogoods=2748, foundSolutions=11, bestBound=59
53.21/50.95	    
53.71/51.45	    num=232, depth=0..6, filters=1700325, revisions=(3515387,useless=1586473), ccks=463636647, wck=49.296, mem=120M37
53.71/51.45	    decisions=61563, wrong=30435, backtracks=8523, failedAssignments=22738, nogoods=2775, foundSolutions=11, bestBound=59
53.71/51.45	    
54.51/52.22	    num=233, depth=1..6, filters=1748180, revisions=(3615134,useless=1632512), ccks=469416928, wck=50.069, mem=130M514
54.51/52.22	    decisions=63157, wrong=31230, backtracks=8795, failedAssignments=23285, nogoods=2800, foundSolutions=11, bestBound=59
54.51/52.22	    
55.71/53.44	    num=234, depth=0..6, filters=1796183, revisions=(3717921,useless=1680497), ccks=480276958, wck=51.286, mem=143M610
55.71/53.44	    decisions=64770, wrong=32035, backtracks=9016, failedAssignments=23887, nogoods=2804, foundSolutions=11, bestBound=59
55.71/53.44	    
56.01/53.78	    num=235, depth=1..6, filters=1835439, revisions=(3791346,useless=1711016), ccks=482262073, wck=51.63, mem=151M467
56.01/53.78	    decisions=66518, wrong=32908, backtracks=9249, failedAssignments=24549, nogoods=2820, foundSolutions=11, bestBound=59
56.01/53.78	    
58.04/55.72	    num=236, depth=0..6, filters=1901522, revisions=(3936345,useless=1778403), ccks=499754871, wck=53.561, mem=36M86
58.04/55.72	    decisions=68638, wrong=33967, backtracks=9632, failedAssignments=25277, nogoods=2849, foundSolutions=11, bestBound=59
58.04/55.72	    
58.64/56.35	    num=237, depth=0..6, filters=1957194, revisions=(4045764,useless=1825988), ccks=503908448, wck=54.193, mem=46M428
58.64/56.35	    decisions=70789, wrong=35041, backtracks=9926, failedAssignments=26078, nogoods=2855, foundSolutions=11, bestBound=59
58.64/56.35	    
60.15/57.86	    num=238, depth=0..6, filters=2027788, revisions=(4194547,useless=1894126), ccks=516661908, wck=55.709, mem=64M528
60.15/57.86	    decisions=73210, wrong=36250, backtracks=10303, failedAssignments=26959, nogoods=2892, foundSolutions=11, bestBound=59
60.15/57.86	    
62.46/60.14	    num=239, depth=0..6, filters=2102916, revisions=(4355085,useless=1966157), ccks=537859020, wck=57.989, mem=85M213
62.46/60.14	    decisions=75943, wrong=37615, backtracks=10727, failedAssignments=27929, nogoods=2925, foundSolutions=11, bestBound=59
62.46/60.14	    
63.55/61.27	    num=240, depth=1..6, filters=2184027, revisions=(4516346,useless=2036474), ccks=545740531, wck=59.121, mem=103M312
63.55/61.27	    decisions=78907, wrong=39095, backtracks=11180, failedAssignments=28996, nogoods=2941, foundSolutions=11, bestBound=59
63.55/61.27	    
64.85/62.50	    num=241, depth=0..6, filters=2279575, revisions=(4708282,useless=2122982), ccks=554034131, wck=60.344, mem=121M411
64.85/62.50	    decisions=82268, wrong=40774, backtracks=11743, failedAssignments=30169, nogoods=2958, foundSolutions=11, bestBound=59
64.85/62.50	    
65.25/62.95	o 55
65.25/62.96	    num=242, depth=0..54, filters=2305821, revisions=(4763507,useless=2148841), ccks=557555897, wck=60.801, mem=129M168
65.25/62.96	    decisions=83140, wrong=41208, backtracks=11872, failedAssignments=30481, nogoods=2962, foundSolutions=12, bestBound=55
65.25/62.96	    
67.89/65.59	    num=243, depth=1..6, filters=2406178, revisions=(4984113,useless=2251040), ccks=581142182, wck=63.436, mem=25M681
67.89/65.59	    decisions=86924, wrong=43099, backtracks=12378, failedAssignments=31901, nogoods=2970, foundSolutions=12, bestBound=55
67.89/65.59	    
68.01/65.63	    num=244, depth=3..4, filters=2407327, revisions=(4986548,useless=2252059), ccks=581564052, wck=63.48, mem=28M230
68.01/65.63	    decisions=86956, wrong=43113, backtracks=12381, failedAssignments=31912, nogoods=2978, foundSolutions=12, bestBound=55
68.01/65.63	    
68.01/65.68	    num=245, depth=2..4, filters=2408427, revisions=(4989180,useless=2253271), ccks=582060487, wck=63.531, mem=28M230
68.01/65.68	    decisions=86988, wrong=43128, backtracks=12384, failedAssignments=31924, nogoods=2980, foundSolutions=12, bestBound=55
68.01/65.68	    
68.11/65.72	    num=246, depth=2..4, filters=2409155, revisions=(4990835,useless=2254039), ccks=582380572, wck=63.563, mem=28M230
68.11/65.72	    decisions=87018, wrong=43142, backtracks=12386, failedAssignments=31937, nogoods=2986, foundSolutions=12, bestBound=55
68.11/65.72	    
68.11/65.77	    num=247, depth=3..5, filters=2410233, revisions=(4993447,useless=2255292), ccks=582883292, wck=63.614, mem=28M230
68.11/65.77	    decisions=87055, wrong=43159, backtracks=12389, failedAssignments=31951, nogoods=2998, foundSolutions=12, bestBound=55
68.11/65.77	    
68.11/65.79	    num=248, depth=0..4, filters=2411121, revisions=(4995514,useless=2256294), ccks=583119447, wck=63.641, mem=28M230
68.11/65.79	    decisions=87093, wrong=43176, backtracks=12391, failedAssignments=31967, nogoods=3006, foundSolutions=12, bestBound=55
68.11/65.79	    
68.21/65.83	    num=249, depth=1..5, filters=2413095, revisions=(4999712,useless=2258270), ccks=583400059, wck=63.677, mem=28M230
68.21/65.83	    decisions=87153, wrong=43205, backtracks=12408, failedAssignments=31984, nogoods=3011, foundSolutions=12, bestBound=55
68.21/65.83	    
68.31/65.93	    num=250, depth=1..4, filters=2414883, revisions=(5004113,useless=2260469), ccks=584374592, wck=63.774, mem=30M779
68.31/65.93	    decisions=87205, wrong=43230, backtracks=12416, failedAssignments=32003, nogoods=3016, foundSolutions=12, bestBound=55
68.31/65.93	    
68.31/65.97	    num=251, depth=1..5, filters=2417103, revisions=(5008929,useless=2262670), ccks=584731028, wck=63.818, mem=30M779
68.31/65.97	    decisions=87279, wrong=43265, backtracks=12433, failedAssignments=32024, nogoods=3024, foundSolutions=12, bestBound=55
68.31/65.97	    
68.42/66.02	    num=252, depth=2..5, filters=2418967, revisions=(5012871,useless=2264388), ccks=585157000, wck=63.866, mem=30M779
68.42/66.02	    decisions=87342, wrong=43295, backtracks=12442, failedAssignments=32047, nogoods=3035, foundSolutions=12, bestBound=55
68.42/66.02	    
68.42/66.10	    num=253, depth=1..5, filters=2421655, revisions=(5019126,useless=2267496), ccks=585813098, wck=63.942, mem=30M779
68.42/66.10	    decisions=87432, wrong=43338, backtracks=12462, failedAssignments=32072, nogoods=3037, foundSolutions=12, bestBound=55
68.42/66.10	    
68.52/66.16	    num=254, depth=1..4, filters=2423941, revisions=(5024288,useless=2269955), ccks=586364221, wck=64.004, mem=33M328
68.52/66.16	    decisions=87504, wrong=43373, backtracks=12470, failedAssignments=32100, nogoods=3046, foundSolutions=12, bestBound=55
68.52/66.16	    
68.61/66.24	    num=255, depth=2..5, filters=2425816, revisions=(5028627,useless=2271979), ccks=587163442, wck=64.086, mem=33M328
68.61/66.24	    decisions=87577, wrong=43408, backtracks=12475, failedAssignments=32131, nogoods=3056, foundSolutions=12, bestBound=55
68.61/66.24	    
68.61/66.28	    num=256, depth=2..5, filters=2427856, revisions=(5033019,useless=2273944), ccks=587481181, wck=64.126, mem=33M328
68.61/66.28	    decisions=87662, wrong=43449, backtracks=12483, failedAssignments=32165, nogoods=3065, foundSolutions=12, bestBound=55
68.61/66.28	    
68.71/66.38	    num=257, depth=2..5, filters=2431943, revisions=(5041273,useless=2277360), ccks=588320550, wck=64.223, mem=33M328
68.71/66.38	    decisions=87784, wrong=43508, backtracks=12507, failedAssignments=32202, nogoods=3070, foundSolutions=12, bestBound=55
68.71/66.38	    
69.01/66.61	    num=258, depth=0..4, filters=2437361, revisions=(5054322,useless=2283733), ccks=590547396, wck=64.455, mem=35M877
69.01/66.61	    decisions=87923, wrong=43576, backtracks=12537, failedAssignments=32243, nogoods=3071, foundSolutions=12, bestBound=55
69.01/66.61	    
69.11/66.70	    num=259, depth=1..5, filters=2440878, revisions=(5062578,useless=2287834), ccks=591378725, wck=64.551, mem=38M426
69.11/66.70	    decisions=88043, wrong=43635, backtracks=12555, failedAssignments=32288, nogoods=3086, foundSolutions=12, bestBound=55
69.11/66.70	    
69.21/66.87	    num=260, depth=2..5, filters=2443524, revisions=(5068676,useless=2290575), ccks=593082026, wck=64.715, mem=38M426
69.21/66.87	    decisions=88165, wrong=43695, backtracks=12566, failedAssignments=32338, nogoods=3094, foundSolutions=12, bestBound=55
69.21/66.87	    
69.32/66.93	    num=261, depth=1..5, filters=2447450, revisions=(5077104,useless=2294382), ccks=593586136, wck=64.781, mem=38M426
69.32/66.93	    decisions=88316, wrong=43769, backtracks=12590, failedAssignments=32393, nogoods=3103, foundSolutions=12, bestBound=55
69.32/66.93	    
69.53/67.12	    num=262, depth=2..5, filters=2451674, revisions=(5087011,useless=2298869), ccks=595421373, wck=64.968, mem=40M975
69.53/67.12	    decisions=88466, wrong=43843, backtracks=12606, failedAssignments=32454, nogoods=3112, foundSolutions=12, bestBound=55
69.53/67.12	    
69.62/67.27	    num=263, depth=1..5, filters=2456743, revisions=(5098608,useless=2304552), ccks=596785629, wck=65.118, mem=43M524
69.62/67.27	    decisions=88646, wrong=43931, backtracks=12633, failedAssignments=32521, nogoods=3125, foundSolutions=12, bestBound=55
69.62/67.27	    
69.92/67.53	    num=264, depth=1..5, filters=2461771, revisions=(5110482,useless=2309994), ccks=599411727, wck=65.378, mem=43M524
69.92/67.53	    decisions=88849, wrong=44032, backtracks=12662, failedAssignments=32595, nogoods=3129, foundSolutions=12, bestBound=55
69.92/67.53	    
70.02/67.66	    num=265, depth=0..5, filters=2468460, revisions=(5124969,useless=2316778), ccks=600380363, wck=65.502, mem=46M73
70.02/67.66	    decisions=89083, wrong=44148, backtracks=12703, failedAssignments=32676, nogoods=3136, foundSolutions=12, bestBound=55
70.02/67.66	    
70.22/67.82	    num=266, depth=1..5, filters=2476792, revisions=(5143918,useless=2325870), ccks=601711113, wck=65.671, mem=48M622
70.22/67.82	    decisions=89347, wrong=44279, backtracks=12749, failedAssignments=32765, nogoods=3152, foundSolutions=12, bestBound=55
70.22/67.82	    
70.53/68.15	    num=267, depth=1..5, filters=2483509, revisions=(5159799,useless=2333150), ccks=604967546, wck=65.997, mem=51M171
70.53/68.15	    decisions=89613, wrong=44411, backtracks=12785, failedAssignments=32863, nogoods=3155, foundSolutions=12, bestBound=55
70.53/68.15	    
70.82/68.46	    num=268, depth=0..5, filters=2492695, revisions=(5181360,useless=2343571), ccks=607891724, wck=66.31, mem=53M720
70.82/68.46	    decisions=89897, wrong=44552, backtracks=12825, failedAssignments=32971, nogoods=3161, foundSolutions=12, bestBound=55
70.82/68.46	    
71.12/68.79	    num=269, depth=0..5, filters=2502811, revisions=(5204820,useless=2354917), ccks=610889836, wck=66.634, mem=56M269
71.12/68.79	    decisions=90236, wrong=44720, backtracks=12881, failedAssignments=33090, nogoods=3177, foundSolutions=12, bestBound=55
71.12/68.79	    
71.32/68.93	    num=270, depth=1..6, filters=2511257, revisions=(5223530,useless=2363844), ccks=611982233, wck=66.779, mem=58M818
71.32/68.93	    decisions=90588, wrong=44895, backtracks=12931, failedAssignments=33221, nogoods=3187, foundSolutions=12, bestBound=55
71.32/68.93	    
71.53/69.17	    num=271, depth=0..5, filters=2522851, revisions=(5249039,useless=2375961), ccks=613895154, wck=67.014, mem=61M367
71.53/69.17	    decisions=91012, wrong=45105, backtracks=13009, failedAssignments=33365, nogoods=3195, foundSolutions=12, bestBound=55
71.53/69.17	    
71.72/69.38	    num=272, depth=0..5, filters=2534123, revisions=(5274024,useless=2388065), ccks=615618915, wck=67.231, mem=63M916
71.72/69.38	    decisions=91450, wrong=45323, backtracks=13083, failedAssignments=33523, nogoods=3204, foundSolutions=12, bestBound=55
71.72/69.38	    
72.12/69.70	    num=273, depth=0..6, filters=2550355, revisions=(5310572,useless=2406134), ccks=618046363, wck=67.546, mem=66M465
72.12/69.70	    decisions=91958, wrong=45575, backtracks=13175, failedAssignments=33697, nogoods=3214, foundSolutions=12, bestBound=55
72.12/69.70	    
72.32/69.92	    num=274, depth=1..5, filters=2564059, revisions=(5338518,useless=2418566), ccks=619698567, wck=67.767, mem=71M563
72.32/69.92	    decisions=92470, wrong=45830, backtracks=13249, failedAssignments=33888, nogoods=3226, foundSolutions=12, bestBound=55
72.32/69.92	    
72.92/70.54	    num=275, depth=0..5, filters=2581110, revisions=(5378455,useless=2438300), ccks=625489971, wck=68.382, mem=76M661
72.92/70.54	    decisions=93071, wrong=46129, backtracks=13343, failedAssignments=34099, nogoods=3247, foundSolutions=12, bestBound=55
72.92/70.54	    
73.22/70.84	    num=276, depth=0..6, filters=2598689, revisions=(5415732,useless=2455192), ccks=627853161, wck=68.688, mem=79M210
73.22/70.84	    decisions=93717, wrong=46450, backtracks=13443, failedAssignments=34331, nogoods=3259, foundSolutions=12, bestBound=55
73.22/70.84	    
73.62/71.29	    num=277, depth=0..5, filters=2619618, revisions=(5462821,useless=2477546), ccks=631519226, wck=69.14, mem=86M858
73.62/71.29	    decisions=94405, wrong=46793, backtracks=13541, failedAssignments=34586, nogoods=3267, foundSolutions=12, bestBound=55
73.62/71.29	    
73.92/71.58	    num=278, depth=1..5, filters=2636932, revisions=(5499772,useless=2494729), ccks=633656857, wck=69.424, mem=89M407
73.92/71.58	    decisions=95148, wrong=47164, backtracks=13642, failedAssignments=34867, nogoods=3293, foundSolutions=12, bestBound=55
73.92/71.58	    
74.72/72.36	    num=279, depth=0..5, filters=2660462, revisions=(5553784,useless=2519843), ccks=640956735, wck=70.206, mem=97M54
74.72/72.36	    decisions=95988, wrong=47583, backtracks=13778, failedAssignments=35176, nogoods=3301, foundSolutions=12, bestBound=55
74.72/72.36	    
75.92/73.59	    num=280, depth=0..5, filters=2691781, revisions=(5627014,useless=2555250), ccks=652712749, wck=71.44, mem=107M250
75.92/73.59	    decisions=96960, wrong=48067, backtracks=13944, failedAssignments=35516, nogoods=3319, foundSolutions=12, bestBound=55
75.92/73.59	    
76.82/74.49	    num=281, depth=0..5, filters=2725875, revisions=(5704885,useless=2593043), ccks=660406405, wck=72.331, mem=114M897
76.82/74.49	    decisions=98065, wrong=48618, backtracks=14145, failedAssignments=35890, nogoods=3335, foundSolutions=12, bestBound=55
76.82/74.49	    
78.43/76.04	    num=282, depth=0..5, filters=2759827, revisions=(5784025,useless=2629711), ccks=675784897, wck=73.885, mem=127M642
78.43/76.04	    decisions=99271, wrong=49220, backtracks=14354, failedAssignments=36301, nogoods=3346, foundSolutions=12, bestBound=55
78.43/76.04	    
79.82/77.44	    num=283, depth=0..5, filters=2801254, revisions=(5879138,useless=2674521), ccks=688713452, wck=75.288, mem=140M387
79.82/77.44	    decisions=100570, wrong=49869, backtracks=14583, failedAssignments=36753, nogoods=3348, foundSolutions=12, bestBound=55
79.82/77.44	    
81.25/78.87	    num=284, depth=1..5, filters=2837591, revisions=(5959873,useless=2710302), ccks=702483351, wck=76.721, mem=25M644
81.25/78.87	    decisions=101954, wrong=50559, backtracks=14786, failedAssignments=37250, nogoods=3368, foundSolutions=12, bestBound=55
81.25/78.87	    
82.08/79.61	    num=285, depth=0..6, filters=2878017, revisions=(6046596,useless=2749730), ccks=708215065, wck=77.459, mem=33M176
82.08/79.61	    decisions=103469, wrong=51315, backtracks=15026, failedAssignments=37797, nogoods=3400, foundSolutions=12, bestBound=55
82.08/79.61	    
83.68/81.23	    num=286, depth=0..5, filters=2930698, revisions=(6163219,useless=2802707), ccks=723168421, wck=79.08, mem=48M239
83.68/81.23	    decisions=105256, wrong=52207, backtracks=15356, failedAssignments=38399, nogoods=3413, foundSolutions=12, bestBound=55
83.68/81.23	    
85.08/82.64	    num=287, depth=0..6, filters=2986100, revisions=(6284862,useless=2858131), ccks=735621019, wck=80.489, mem=63M302
85.08/82.64	    decisions=107150, wrong=53153, backtracks=15680, failedAssignments=39061, nogoods=3438, foundSolutions=12, bestBound=55
85.08/82.64	    
86.78/84.39	    num=288, depth=0..6, filters=3043285, revisions=(6407205,useless=2910661), ccks=751919353, wck=82.234, mem=80M876
86.78/84.39	    decisions=109204, wrong=54178, backtracks=16020, failedAssignments=39789, nogoods=3443, foundSolutions=12, bestBound=55
86.78/84.39	    
89.18/86.79	    num=289, depth=0..5, filters=3117336, revisions=(6572444,useless=2984830), ccks=774300860, wck=84.638, mem=100M960
89.18/86.79	    decisions=111588, wrong=55369, backtracks=16473, failedAssignments=40590, nogoods=3458, foundSolutions=12, bestBound=55
89.18/86.79	    
91.38/89.00	    num=290, depth=0..5, filters=3196911, revisions=(6749172,useless=3064603), ccks=794082409, wck=86.842, mem=123M554
91.38/89.00	    decisions=114206, wrong=56677, backtracks=16971, failedAssignments=41471, nogoods=3474, foundSolutions=12, bestBound=55
91.38/89.00	    
94.71/92.24	    num=291, depth=0..5, filters=3297951, revisions=(6978249,useless=3171005), ccks=824049335, wck=90.09, mem=28M58
94.71/92.24	    decisions=117272, wrong=58209, backtracks=17661, failedAssignments=42441, nogoods=3482, foundSolutions=12, bestBound=55
94.71/92.24	    
95.71/93.22	
95.71/93.22	  New Bounds: 55..54
95.71/93.22	    num=292, depth=0..5, filters=3320895, revisions=(7031446,useless=3196235), ccks=833693820, wck=91.066, mem=32M999
95.71/93.22	    decisions=117970, wrong=58559, backtracks=17827, failedAssignments=42647, foundSolutions=12, bestBound=55
95.71/93.22	    
95.71/93.22	  Global
95.71/93.22	    filters=3320895, revisions=(7031446,useless=3196235), ccks=833693820
95.71/93.22	    Stop=FULL_EXPLORATION, wrong=58559, bestBound=55, bestBoundWck=61.102, bestBoundCpu=62.878, foundSolutions=12, firstSolCpu=2.983
95.71/93.22	    wck=91.367, cpu=93.113, mem=32M999
95.71/93.22	
95.71/93.22	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>
95.71/93.22	s OPTIMUM FOUND
95.71/93.22	
95.71/93.22	d WRONG_DECISIONS 58559
95.71/93.22	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 (13588 MiB free)
  memory of node 1: 16384 MiB (15559 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390856-1568387281/watcher-4390856-1568387281 -o /tmp/evaluation-result-4390856-1568387281/solver-4390856-1568387281 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568376822-25455 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390856-1568387281.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
Current StackSize limit: 8192 KiB

solver pid=27719, runsolver pid=27716

[startup+0.100149 s]*
/proc/loadavg: 2.00 2.02 1.97 4/228 27736
/proc/meminfo: memFree=29828868/32770624 swapFree=66936380/67108860
[pid=27719] ppid=27716 vsize=10659884 memory=27428 CPUtime=0.13 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27716 27719 25423 0 -1 1077944320 5391 0 0 0 12 1 0 0 20 0 15 0 414986463 10915721216 6857 33554432000 4194304 4196468 140722428792592 140722428775136 139662518054647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
/proc/27719/statm: 2664971 6857 2876 1 0 2627468 0
[pid=27719/tid=27721] ppid=27716 vsize=10659884 memory=-8617482348318186131 CPUtime=0.08 cores=1,3,5,7
/proc/27719/task/27721/stat : 27721 (java) R 27716 27719 25423 0 -1 4202560 3192 0 0 0 8 0 0 0 20 0 15 0 414986463 10915721216 6857 33554432000 4194304 4196468 140722428792592 139662522276768 139662510291774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27722] ppid=27716 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27722/stat : 27722 (java) S 27716 27719 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986464 10915721216 6857 33554432000 4194304 4196468 140722428792592 139662474606864 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27723] ppid=27716 vsize=10659884 memory=140404375869056 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27723/stat : 27723 (java) S 27716 27719 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986464 10915721216 6857 33554432000 4194304 4196468 140722428792592 139662473554320 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27724] ppid=27716 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27724/stat : 27724 (java) S 27716 27719 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986464 10915721216 6857 33554432000 4194304 4196468 140722428792592 139662122211856 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27725] ppid=27716 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (java) S 27716 27719 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986464 10915721216 6857 33554432000 4194304 4196468 140722428792592 139662121159312 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27726] ppid=27716 vsize=10659884 memory=140404375869056 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (java) S 27716 27719 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986465 10915721216 6857 33554432000 4194304 4196468 140722428792592 139662077200880 139662518065794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27727] ppid=27716 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27727/stat : 27727 (java) S 27716 27719 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414986466 10915721216 6857 33554432000 4194304 4196468 140722428792592 139662076147104 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27728] ppid=27716 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27728/stat : 27728 (java) S 27716 27719 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414986466 10915721216 6857 33554432000 4194304 4196468 140722428792592 139662075094512 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27729] ppid=27716 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27729/stat : 27729 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986468 10915721216 6857 33554432000 4194304 4196468 140722428792592 139662074043088 139662518073243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27730] ppid=27716 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27730/stat : 27730 (java) R 27716 27719 25423 0 -1 4202560 297 0 0 0 0 0 0 0 20 0 15 0 414986468 10915721216 6857 33554432000 4194304 4196468 140722428792592 139662072989776 139662518064853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27731] ppid=27716 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27731/stat : 27731 (java) R 27716 27719 25423 0 -1 4202560 193 0 0 0 0 0 0 0 20 0 15 0 414986468 10915721216 6857 33554432000 4194304 4196468 140722428792592 139662071918040 139662498754944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27732] ppid=27716 vsize=10659884 memory=140404375869056 CPUtime=0.02 cores=1,3,5,7
/proc/27719/task/27732/stat : 27732 (java) R 27716 27719 25423 0 -1 4202560 394 0 0 0 2 0 0 0 20 0 15 0 414986468 10915721216 6857 33554432000 4194304 4196468 140722428792592 139662070880472 139662496423286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27733] ppid=27716 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27733/stat : 27733 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986469 10915721216 6922 33554432000 4194304 4196468 140722428792592 139662001695328 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27734] ppid=27716 vsize=10659884 memory=140404375869056 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27734/stat : 27734 (java) S 27716 27719 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986469 10915721216 6988 33554432000 4194304 4196468 140722428792592 139662000642864 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27428 KiB

[startup+0.211261 s]*
/proc/loadavg: 2.00 2.02 1.97 4/228 27736
/proc/meminfo: memFree=29818380/32770624 swapFree=66936380/67108860
[pid=27719] ppid=27716 vsize=10659884 memory=37756 CPUtime=0.32 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27716 27719 25423 0 -1 1077944320 9126 0 0 0 30 2 0 0 20 0 15 0 414986463 10915721216 9439 33554432000 4194304 4196468 140722428792592 140722428775136 139662518054647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
/proc/27719/statm: 2664971 9439 2991 1 0 2627468 0
[pid=27719/tid=27721] ppid=27716 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/27719/task/27721/stat : 27721 (java) R 27716 27719 25423 0 -1 4202560 6088 0 0 0 17 2 0 0 20 0 15 0 414986463 10915721216 9439 33554432000 4194304 4196468 140722428792592 139662522286608 139662474656431 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27722] ppid=27716 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27722/stat : 27722 (java) S 27716 27719 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986464 10915721216 9439 33554432000 4194304 4196468 140722428792592 139662474606864 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27723] ppid=27716 vsize=10659884 memory=140404375894736 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27723/stat : 27723 (java) S 27716 27719 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986464 10915721216 9439 33554432000 4194304 4196468 140722428792592 139662473554320 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27724] ppid=27716 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27724/stat : 27724 (java) S 27716 27719 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986464 10915721216 9439 33554432000 4194304 4196468 140722428792592 139662122211856 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27725] ppid=27716 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (java) S 27716 27719 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986464 10915721216 9439 33554432000 4194304 4196468 140722428792592 139662121159312 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27726] ppid=27716 vsize=10659884 memory=140404375869056 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (java) S 27716 27719 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986465 10915721216 9439 33554432000 4194304 4196468 140722428792592 139662077200880 139662518065794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27727] ppid=27716 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27727/stat : 27727 (java) S 27716 27719 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414986466 10915721216 9439 33554432000 4194304 4196468 140722428792592 139662076147104 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27728] ppid=27716 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27728/stat : 27728 (java) S 27716 27719 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414986466 10915721216 9439 33554432000 4194304 4196468 140722428792592 139662075094512 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27729] ppid=27716 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27729/stat : 27729 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986468 10915721216 9439 33554432000 4194304 4196468 140722428792592 139662074043088 139662518073243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27730] ppid=27716 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27719/task/27730/stat : 27730 (java) S 27716 27719 25423 0 -1 1077944384 531 0 0 0 3 0 0 0 20 0 15 0 414986468 10915721216 9439 33554432000 4194304 4196468 140722428792592 139662072989680 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27731] ppid=27716 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/27719/task/27731/stat : 27731 (java) S 27716 27719 25423 0 -1 1077944384 412 0 0 0 3 0 0 0 20 0 15 0 414986468 10915721216 9439 33554432000 4194304 4196468 140722428792592 139662071937136 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27732] ppid=27716 vsize=10659884 memory=140404375869056 CPUtime=0.05 cores=1,3,5,7
/proc/27719/task/27732/stat : 27732 (java) S 27716 27719 25423 0 -1 1077944384 736 0 0 0 5 0 0 0 20 0 15 0 414986468 10915721216 9439 33554432000 4194304 4196468 140722428792592 139662070884592 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27733] ppid=27716 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27733/stat : 27733 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986469 10915721216 9439 33554432000 4194304 4196468 140722428792592 139662001695328 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27734] ppid=27716 vsize=10659884 memory=140404375869056 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27734/stat : 27734 (java) S 27716 27719 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986469 10915721216 9439 33554432000 4194304 4196468 140722428792592 139662000642864 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37756 KiB

[startup+0.31433 s]*
/proc/loadavg: 2.00 2.02 1.97 4/228 27736
/proc/meminfo: memFree=29816592/32770624 swapFree=66936380/67108860
[pid=27719] ppid=27716 vsize=10659884 memory=40052 CPUtime=0.46 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27716 27719 25423 0 -1 1077944320 9324 0 0 0 43 3 0 0 20 0 15 0 414986463 10915721216 10013 33554432000 4194304 4196468 140722428792592 140722428775136 139662518054647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
/proc/27719/statm: 2664971 10013 3003 1 0 2627468 0
[pid=27719/tid=27721] ppid=27716 vsize=10659884 memory=8390339637985935414 CPUtime=0.29 cores=1,3,5,7
/proc/27719/task/27721/stat : 27721 (java) R 27716 27719 25423 0 -1 4202560 6208 0 0 0 27 2 0 0 20 0 15 0 414986463 10915721216 10013 33554432000 4194304 4196468 140722428792592 139662522293632 139662518076573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27722] ppid=27716 vsize=10659884 memory=304556153357205527 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27722/stat : 27722 (java) S 27716 27719 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986464 10915721216 10013 33554432000 4194304 4196468 140722428792592 139662474606864 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27723] ppid=27716 vsize=10659884 memory=140404375894653 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27723/stat : 27723 (java) S 27716 27719 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986464 10915721216 10013 33554432000 4194304 4196468 140722428792592 139662473554320 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27724] ppid=27716 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27724/stat : 27724 (java) S 27716 27719 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986464 10915721216 10013 33554432000 4194304 4196468 140722428792592 139662122211856 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27725] ppid=27716 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (java) S 27716 27719 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986464 10915721216 10013 33554432000 4194304 4196468 140722428792592 139662121159312 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27726] ppid=27716 vsize=10659884 memory=140404375869056 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (java) S 27716 27719 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986465 10915721216 10013 33554432000 4194304 4196468 140722428792592 139662077200880 139662518065794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27727] ppid=27716 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27727/stat : 27727 (java) S 27716 27719 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414986466 10915721216 10013 33554432000 4194304 4196468 140722428792592 139662076147104 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27728] ppid=27716 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27728/stat : 27728 (java) S 27716 27719 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414986466 10915721216 10013 33554432000 4194304 4196468 140722428792592 139662075094512 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27729] ppid=27716 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27729/stat : 27729 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986468 10915721216 10013 33554432000 4194304 4196468 140722428792592 139662074043088 139662518073243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27730] ppid=27716 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27719/task/27730/stat : 27730 (java) S 27716 27719 25423 0 -1 1077944384 545 0 0 0 3 0 0 0 20 0 15 0 414986468 10915721216 10013 33554432000 4194304 4196468 140722428792592 139662072989680 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27731] ppid=27716 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/27719/task/27731/stat : 27731 (java) S 27716 27719 25423 0 -1 1077944384 454 0 0 0 4 0 0 0 20 0 15 0 414986468 10915721216 10013 33554432000 4194304 4196468 140722428792592 139662071937136 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27732] ppid=27716 vsize=10659884 memory=140404375869056 CPUtime=0.07 cores=1,3,5,7
/proc/27719/task/27732/stat : 27732 (java) R 27716 27719 25423 0 -1 4202560 758 0 0 0 7 0 0 0 20 0 15 0 414986468 10915721216 10013 33554432000 4194304 4196468 140722428792592 139662070884592 139662518066582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27733] ppid=27716 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27733/stat : 27733 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986469 10915721216 10013 33554432000 4194304 4196468 140722428792592 139662001695328 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27734] ppid=27716 vsize=10659884 memory=140404375869056 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27734/stat : 27734 (java) S 27716 27719 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986469 10915721216 10013 33554432000 4194304 4196468 140722428792592 139662000642864 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40052 KiB

[startup+0.700771 s]
/proc/loadavg: 2.00 2.02 1.97 3/228 27736
/proc/meminfo: memFree=29806084/32770624 swapFree=66936380/67108860
[pid=27719] ppid=27716 vsize=10661932 memory=63744 CPUtime=1.09 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27716 27719 25423 0 -1 1077944320 12930 0 0 0 104 5 0 0 20 0 15 0 414986463 10917818368 15936 33554432000 4194304 4196468 140722428792592 140722428775136 139662518054647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
/proc/27719/statm: 2665483 15936 3064 1 0 2627980 0
[pid=27719/tid=27721] ppid=27716 vsize=10661932 memory=1412 CPUtime=0.67 cores=1,3,5,7
/proc/27719/task/27721/stat : 27721 (java) R 27716 27719 25423 0 -1 4202560 8761 0 0 0 63 4 0 0 20 0 15 0 414986463 10917818368 15936 33554432000 4194304 4196468 140722428792592 139662522286672 139662502135134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27722] ppid=27716 vsize=10661932 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27722/stat : 27722 (java) S 27716 27719 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986464 10917818368 15936 33554432000 4194304 4196468 140722428792592 139662474606864 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27723] ppid=27716 vsize=10661932 memory=7148 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27723/stat : 27723 (java) S 27716 27719 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986464 10917818368 15936 33554432000 4194304 4196468 140722428792592 139662473554320 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27724] ppid=27716 vsize=10661932 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27724/stat : 27724 (java) S 27716 27719 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986464 10917818368 15936 33554432000 4194304 4196468 140722428792592 139662122211856 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27725] ppid=27716 vsize=10661932 memory=616 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (java) S 27716 27719 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986464 10917818368 15936 33554432000 4194304 4196468 140722428792592 139662121159312 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27726] ppid=27716 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (java) S 27716 27719 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986465 10917818368 15936 33554432000 4194304 4196468 140722428792592 139662077200880 139662518065794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27727] ppid=27716 vsize=10661932 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27727/stat : 27727 (java) S 27716 27719 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414986466 10917818368 15936 33554432000 4194304 4196468 140722428792592 139662076147104 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27728] ppid=27716 vsize=10661932 memory=1136 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27728/stat : 27728 (java) S 27716 27719 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414986466 10917818368 15936 33554432000 4194304 4196468 140722428792592 139662075094512 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27729] ppid=27716 vsize=10661932 memory=4639098309541127012 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27729/stat : 27729 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986468 10917818368 15936 33554432000 4194304 4196468 140722428792592 139662074043088 139662518073243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27730] ppid=27716 vsize=10661932 memory=7811609364956278113 CPUtime=0.1 cores=1,3,5,7
/proc/27719/task/27730/stat : 27730 (java) R 27716 27719 25423 0 -1 4202560 966 0 0 0 10 0 0 0 20 0 15 0 414986468 10917818368 15936 33554432000 4194304 4196468 140722428792592 139662072989680 139662511039689 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27731] ppid=27716 vsize=10661932 memory=5787213840016500561 CPUtime=0.11 cores=1,3,5,7
/proc/27719/task/27731/stat : 27731 (java) S 27716 27719 25423 0 -1 1077944384 592 0 0 0 11 0 0 0 20 0 15 0 414986468 10917818368 15936 33554432000 4194304 4196468 140722428792592 139662071937136 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27732] ppid=27716 vsize=10661932 memory=5450909908396308010 CPUtime=0.18 cores=1,3,5,7
/proc/27719/task/27732/stat : 27732 (java) S 27716 27719 25423 0 -1 1077944384 1253 0 0 0 18 0 0 0 20 0 15 0 414986468 10917818368 15936 33554432000 4194304 4196468 140722428792592 139662070884592 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27733] ppid=27716 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27733/stat : 27733 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414986469 10917818368 15936 33554432000 4194304 4196468 140722428792592 139662001695328 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27734] ppid=27716 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27734/stat : 27734 (java) S 27716 27719 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986469 10917818368 15936 33554432000 4194304 4196468 140722428792592 139662000642864 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63744 KiB

[startup+1.50074 s]
/proc/loadavg: 2.00 2.02 1.97 3/228 27736
/proc/meminfo: memFree=29789880/32770624 swapFree=66936380/67108860
[pid=27719] ppid=27716 vsize=10663980 memory=75608 CPUtime=1.99 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27716 27719 25423 0 -1 1077944320 18525 0 0 0 193 6 0 0 20 0 15 0 414986463 10919915520 18902 33554432000 4194304 4196468 140722428792592 140722428775136 139662518054647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
/proc/27719/statm: 2665995 18902 3097 1 0 2628492 0
[pid=27719/tid=27721] ppid=27716 vsize=10663980 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/27719/task/27721/stat : 27721 (java) R 27716 27719 25423 0 -1 4202560 12956 0 0 0 142 4 0 0 20 0 15 0 414986463 10919915520 18902 33554432000 4194304 4196468 140722428792592 139662522287008 139662502135134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27722] ppid=27716 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27722/stat : 27722 (java) S 27716 27719 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986464 10919915520 18902 33554432000 4194304 4196468 140722428792592 139662474606864 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27723] ppid=27716 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27723/stat : 27723 (java) S 27716 27719 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986464 10919915520 18902 33554432000 4194304 4196468 140722428792592 139662473554320 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27724] ppid=27716 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27724/stat : 27724 (java) S 27716 27719 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414986464 10919915520 18902 33554432000 4194304 4196468 140722428792592 139662122211856 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27725] ppid=27716 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (java) S 27716 27719 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414986464 10919915520 18902 33554432000 4194304 4196468 140722428792592 139662121159312 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27726] ppid=27716 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (java) S 27716 27719 25423 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 414986465 10919915520 18902 33554432000 4194304 4196468 140722428792592 139662077200880 139662518065794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0

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

[startup+91.2006 s]
/proc/loadavg: 2.02 2.03 1.98 3/229 27744
/proc/meminfo: memFree=29621404/32770624 swapFree=66936380/67108860
[pid=27719] ppid=27716 vsize=10748324 memory=235420 CPUtime=93.68 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27716 27719 25423 0 -1 1077944320 54729 0 0 0 9351 17 0 0 20 0 16 0 414986463 11006283776 58855 33554432000 4194304 4196468 140722428792592 140722428775136 139662518054647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
/proc/27719/statm: 2687081 58855 3367 1 0 2647217 0
[pid=27719/tid=27721] ppid=27716 vsize=10748324 memory=2016 CPUtime=1.85 cores=1,3,5,7
/proc/27719/task/27721/stat : 27721 (java) S 27716 27719 25423 0 -1 1077944384 15227 0 0 0 180 5 0 0 20 0 16 0 414986463 11006283776 58855 33554432000 4194304 4196468 140722428792592 139662522297520 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27722] ppid=27716 vsize=10748324 memory=6791534058613427641 CPUtime=0.06 cores=1,3,5,7
/proc/27719/task/27722/stat : 27722 (java) S 27716 27719 25423 0 -1 1077944384 639 0 0 0 6 0 0 0 20 0 16 0 414986464 11006283776 58855 33554432000 4194304 4196468 140722428792592 139662474606864 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27723] ppid=27716 vsize=10748324 memory=140404226418424 CPUtime=0.06 cores=1,3,5,7
/proc/27719/task/27723/stat : 27723 (java) S 27716 27719 25423 0 -1 1077944384 1890 0 0 0 6 0 0 0 20 0 16 0 414986464 11006283776 58855 33554432000 4194304 4196468 140722428792592 139662473554320 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27724] ppid=27716 vsize=10748324 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/27719/task/27724/stat : 27724 (java) S 27716 27719 25423 0 -1 1077944384 491 0 0 0 6 1 0 0 20 0 16 0 414986464 11006283776 58855 33554432000 4194304 4196468 140722428792592 139662122211856 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27725] ppid=27716 vsize=10748324 memory=3312 CPUtime=0.07 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (java) S 27716 27719 25423 0 -1 1077944384 1759 0 0 0 6 1 0 0 20 0 16 0 414986464 11006283776 58855 33554432000 4194304 4196468 140722428792592 139662121159312 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27726] ppid=27716 vsize=10748324 memory=1771688 CPUtime=0.02 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (java) S 27716 27719 25423 0 -1 1077944384 2149 0 0 0 2 0 0 0 20 0 16 0 414986465 11006283776 58855 33554432000 4194304 4196468 140722428792592 139662077200880 139662518065794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27727] ppid=27716 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27727/stat : 27727 (java) S 27716 27719 25423 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414986466 11006283776 58855 33554432000 4194304 4196468 140722428792592 139662076147168 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27728] ppid=27716 vsize=10748324 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27728/stat : 27728 (java) S 27716 27719 25423 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414986466 11006283776 58855 33554432000 4194304 4196468 140722428792592 139662075094528 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27729] ppid=27716 vsize=10748324 memory=235420 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27729/stat : 27729 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986468 11006283776 58855 33554432000 4194304 4196468 140722428792592 139662074043088 139662518073243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27730] ppid=27716 vsize=10748324 memory=24048 CPUtime=0.88 cores=1,3,5,7
/proc/27719/task/27730/stat : 27730 (java) S 27716 27719 25423 0 -1 1077944384 7728 0 0 0 87 1 0 0 20 0 16 0 414986468 11006283776 58855 33554432000 4194304 4196468 140722428792592 139662072989680 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27731] ppid=27716 vsize=10748324 memory=984 CPUtime=0.75 cores=1,3,5,7
/proc/27719/task/27731/stat : 27731 (java) S 27716 27719 25423 0 -1 1077944384 5191 0 0 0 75 0 0 0 20 0 16 0 414986468 11006283776 58855 33554432000 4194304 4196468 140722428792592 139662071937136 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27732] ppid=27716 vsize=10748324 memory=2016 CPUtime=0.58 cores=1,3,5,7
/proc/27719/task/27732/stat : 27732 (java) S 27716 27719 25423 0 -1 1077944384 7811 0 0 0 57 1 0 0 20 0 16 0 414986468 11006283776 58855 33554432000 4194304 4196468 140722428792592 139662070884592 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27733] ppid=27716 vsize=10748324 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27733/stat : 27733 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986469 11006283776 58855 33554432000 4194304 4196468 140722428792592 139662001695328 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27734] ppid=27716 vsize=10748324 memory=1548 CPUtime=0.01 cores=1,3,5,7
/proc/27719/task/27734/stat : 27734 (java) S 27716 27719 25423 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 16 0 414986469 11006283776 58855 33554432000 4194304 4196468 140722428792592 139662000642864 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27737] ppid=27716 vsize=10748324 memory=7148 CPUtime=89.22 cores=1,3,5,7
/proc/27719/task/27737/stat : 27737 (java) R 27716 27719 25423 0 -1 4202560 10168 0 0 0 8919 3 0 0 20 0 16 0 414986652 11006283776 58855 33554432000 4194304 4196468 140722428792592 139661983973392 139662157396640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
Current children cumulated CPU time: 93.68 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 235420 KiB

[startup+92.0006 s]*
/proc/loadavg: 2.02 2.03 1.98 3/229 27744
/proc/meminfo: memFree=29615260/32770624 swapFree=66936380/67108860
[pid=27719] ppid=27716 vsize=10748324 memory=241564 CPUtime=94.52 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27716 27719 25423 0 -1 1077944320 54743 0 0 0 9435 17 0 0 20 0 16 0 414986463 11006283776 60391 33554432000 4194304 4196468 140722428792592 140722428775136 139662518054647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
/proc/27719/statm: 2687081 60391 3367 1 0 2647217 0
[pid=27719/tid=27721] ppid=27716 vsize=10748324 memory=8317482817917895235 CPUtime=1.85 cores=1,3,5,7
/proc/27719/task/27721/stat : 27721 (java) S 27716 27719 25423 0 -1 1077944384 15227 0 0 0 180 5 0 0 20 0 16 0 414986463 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662522297520 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27722] ppid=27716 vsize=10748324 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/27719/task/27722/stat : 27722 (java) S 27716 27719 25423 0 -1 1077944384 643 0 0 0 7 0 0 0 20 0 16 0 414986464 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662474606864 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27723] ppid=27716 vsize=10748324 memory=14056 CPUtime=0.07 cores=1,3,5,7
/proc/27719/task/27723/stat : 27723 (java) S 27716 27719 25423 0 -1 1077944384 1890 0 0 0 7 0 0 0 20 0 16 0 414986464 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662473554320 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27724] ppid=27716 vsize=10748324 memory=2116 CPUtime=0.08 cores=1,3,5,7
/proc/27719/task/27724/stat : 27724 (java) S 27716 27719 25423 0 -1 1077944384 491 0 0 0 7 1 0 0 20 0 16 0 414986464 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662122211856 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27725] ppid=27716 vsize=10748324 memory=516 CPUtime=0.08 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (java) S 27716 27719 25423 0 -1 1077944384 1762 0 0 0 7 1 0 0 20 0 16 0 414986464 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662121159312 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27726] ppid=27716 vsize=10748324 memory=1556 CPUtime=0.02 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (java) S 27716 27719 25423 0 -1 1077944384 2153 0 0 0 2 0 0 0 20 0 16 0 414986465 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662077200880 139662518065794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27727] ppid=27716 vsize=10748324 memory=928 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27727/stat : 27727 (java) S 27716 27719 25423 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414986466 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662076147168 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27728] ppid=27716 vsize=10748324 memory=1668 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27728/stat : 27728 (java) S 27716 27719 25423 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414986466 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662075094528 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27729] ppid=27716 vsize=10748324 memory=904 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27729/stat : 27729 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986468 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662074043088 139662518073243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27730] ppid=27716 vsize=10748324 memory=1444 CPUtime=0.88 cores=1,3,5,7
/proc/27719/task/27730/stat : 27730 (java) S 27716 27719 25423 0 -1 1077944384 7728 0 0 0 87 1 0 0 20 0 16 0 414986468 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662072989680 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27731] ppid=27716 vsize=10748324 memory=288230574492221466 CPUtime=0.75 cores=1,3,5,7
/proc/27719/task/27731/stat : 27731 (java) S 27716 27719 25423 0 -1 1077944384 5191 0 0 0 75 0 0 0 20 0 16 0 414986468 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662071937136 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27732] ppid=27716 vsize=10748324 memory=301741420686082359 CPUtime=0.58 cores=1,3,5,7
/proc/27719/task/27732/stat : 27732 (java) S 27716 27719 25423 0 -1 1077944384 7811 0 0 0 57 1 0 0 20 0 16 0 414986468 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662070884592 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27733] ppid=27716 vsize=10748324 memory=14691894252800627 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27733/stat : 27733 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986469 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662001695328 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27734] ppid=27716 vsize=10748324 memory=4196912344889787449 CPUtime=0.01 cores=1,3,5,7
/proc/27719/task/27734/stat : 27734 (java) S 27716 27719 25423 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 16 0 414986469 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662000642864 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27737] ppid=27716 vsize=10748324 memory=7893295687695687954 CPUtime=90.02 cores=1,3,5,7
/proc/27719/task/27737/stat : 27737 (java) R 27716 27719 25423 0 -1 4202560 10171 0 0 0 8999 3 0 0 20 0 16 0 414986652 11006283776 60391 33554432000 4194304 4196468 140722428792592 139661983981440 139662157694867 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
Current children cumulated CPU time: 94.52 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 241564 KiB

[startup+92.8006 s]
/proc/loadavg: 2.02 2.03 1.98 3/229 27744
/proc/meminfo: memFree=29615260/32770624 swapFree=66936380/67108860
[pid=27719] ppid=27716 vsize=10748324 memory=241564 CPUtime=95.31 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27716 27719 25423 0 -1 1077944320 54748 0 0 0 9514 17 0 0 20 0 16 0 414986463 11006283776 60391 33554432000 4194304 4196468 140722428792592 140722428775136 139662518054647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
/proc/27719/statm: 2687081 60391 3367 1 0 2647217 0
[pid=27719/tid=27721] ppid=27716 vsize=10748324 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/27719/task/27721/stat : 27721 (java) S 27716 27719 25423 0 -1 1077944384 15227 0 0 0 180 5 0 0 20 0 16 0 414986463 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662522297520 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27722] ppid=27716 vsize=10748324 memory=235420 CPUtime=0.07 cores=1,3,5,7
/proc/27719/task/27722/stat : 27722 (java) S 27716 27719 25423 0 -1 1077944384 643 0 0 0 7 0 0 0 20 0 16 0 414986464 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662474606864 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27723] ppid=27716 vsize=10748324 memory=784 CPUtime=0.07 cores=1,3,5,7
/proc/27719/task/27723/stat : 27723 (java) S 27716 27719 25423 0 -1 1077944384 1890 0 0 0 7 0 0 0 20 0 16 0 414986464 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662473554320 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27724] ppid=27716 vsize=10748324 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/27719/task/27724/stat : 27724 (java) S 27716 27719 25423 0 -1 1077944384 491 0 0 0 7 1 0 0 20 0 16 0 414986464 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662122211856 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27725] ppid=27716 vsize=10748324 memory=235420 CPUtime=0.08 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (java) S 27716 27719 25423 0 -1 1077944384 1762 0 0 0 7 1 0 0 20 0 16 0 414986464 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662121159312 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27726] ppid=27716 vsize=10748324 memory=24048 CPUtime=0.02 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (java) S 27716 27719 25423 0 -1 1077944384 2153 0 0 0 2 0 0 0 20 0 16 0 414986465 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662077200880 139662518065794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27727] ppid=27716 vsize=10748324 memory=984 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27727/stat : 27727 (java) S 27716 27719 25423 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414986466 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662076147168 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27728] ppid=27716 vsize=10748324 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27728/stat : 27728 (java) S 27716 27719 25423 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414986466 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662075094528 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27729] ppid=27716 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27729/stat : 27729 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986468 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662074043088 139662518073243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27730] ppid=27716 vsize=10748324 memory=904 CPUtime=0.88 cores=1,3,5,7
/proc/27719/task/27730/stat : 27730 (java) S 27716 27719 25423 0 -1 1077944384 7728 0 0 0 87 1 0 0 20 0 16 0 414986468 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662072989680 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27731] ppid=27716 vsize=10748324 memory=1444 CPUtime=0.75 cores=1,3,5,7
/proc/27719/task/27731/stat : 27731 (java) S 27716 27719 25423 0 -1 1077944384 5191 0 0 0 75 0 0 0 20 0 16 0 414986468 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662071937136 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27732] ppid=27716 vsize=10748324 memory=1976 CPUtime=0.58 cores=1,3,5,7
/proc/27719/task/27732/stat : 27732 (java) S 27716 27719 25423 0 -1 1077944384 7811 0 0 0 57 1 0 0 20 0 16 0 414986468 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662070884592 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27733] ppid=27716 vsize=10748324 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27733/stat : 27733 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986469 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662001695328 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27734] ppid=27716 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/27719/task/27734/stat : 27734 (java) S 27716 27719 25423 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 16 0 414986469 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662000642864 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27737] ppid=27716 vsize=10748324 memory=7451602968510622824 CPUtime=90.81 cores=1,3,5,7
/proc/27719/task/27737/stat : 27737 (java) R 27716 27719 25423 0 -1 4202560 10176 0 0 0 9078 3 0 0 20 0 16 0 414986652 11006283776 60391 33554432000 4194304 4196468 140722428792592 139661983981328 139662157844520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
Current children cumulated CPU time: 95.31 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 241564 KiB

[startup+93.2006 s]
/proc/loadavg: 2.02 2.03 1.98 3/229 27744
/proc/meminfo: memFree=29615260/32770624 swapFree=66936380/67108860
[pid=27719] ppid=27716 vsize=10748324 memory=241564 CPUtime=95.71 cores=1,3,5,7
/proc/27719/stat : 27719 (java) S 27716 27719 25423 0 -1 1077944320 54749 0 0 0 9554 17 0 0 20 0 16 0 414986463 11006283776 60391 33554432000 4194304 4196468 140722428792592 140722428775136 139662518054647 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
/proc/27719/statm: 2687081 60391 3367 1 0 2647217 0
[pid=27719/tid=27721] ppid=27716 vsize=10748324 memory=1218 CPUtime=1.85 cores=1,3,5,7
/proc/27719/task/27721/stat : 27721 (java) S 27716 27719 25423 0 -1 1077944384 15227 0 0 0 180 5 0 0 20 0 16 0 414986463 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662522297520 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27722] ppid=27716 vsize=10748324 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27719/task/27722/stat : 27722 (java) S 27716 27719 25423 0 -1 1077944384 643 0 0 0 7 0 0 0 20 0 16 0 414986464 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662474606864 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27723] ppid=27716 vsize=10748324 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27719/task/27723/stat : 27723 (java) S 27716 27719 25423 0 -1 1077944384 1890 0 0 0 7 0 0 0 20 0 16 0 414986464 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662473554320 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27724] ppid=27716 vsize=10748324 memory=74769771 CPUtime=0.08 cores=1,3,5,7
/proc/27719/task/27724/stat : 27724 (java) S 27716 27719 25423 0 -1 1077944384 491 0 0 0 7 1 0 0 20 0 16 0 414986464 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662122211856 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27725] ppid=27716 vsize=10748324 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27719/task/27725/stat : 27725 (java) S 27716 27719 25423 0 -1 1077944384 1762 0 0 0 7 1 0 0 20 0 16 0 414986464 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662121159312 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27726] ppid=27716 vsize=10748324 memory=4 CPUtime=0.02 cores=1,3,5,7
/proc/27719/task/27726/stat : 27726 (java) S 27716 27719 25423 0 -1 1077944384 2153 0 0 0 2 0 0 0 20 0 16 0 414986465 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662077200880 139662518065794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27727] ppid=27716 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27727/stat : 27727 (java) S 27716 27719 25423 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414986466 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662076147168 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27728] ppid=27716 vsize=10748324 memory=142 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27728/stat : 27728 (java) S 27716 27719 25423 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414986466 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662075094528 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27729] ppid=27716 vsize=10748324 memory=590744 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27729/stat : 27729 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986468 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662074043088 139662518073243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27730] ppid=27716 vsize=10748324 memory=689430 CPUtime=0.88 cores=1,3,5,7
/proc/27719/task/27730/stat : 27730 (java) S 27716 27719 25423 0 -1 1077944384 7728 0 0 0 87 1 0 0 20 0 16 0 414986468 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662072989680 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27731] ppid=27716 vsize=10748324 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/27719/task/27731/stat : 27731 (java) S 27716 27719 25423 0 -1 1077944384 5191 0 0 0 75 0 0 0 20 0 16 0 414986468 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662071937136 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27732] ppid=27716 vsize=10748324 memory=288230574492221466 CPUtime=0.58 cores=1,3,5,7
/proc/27719/task/27732/stat : 27732 (java) S 27716 27719 25423 0 -1 1077944384 7811 0 0 0 57 1 0 0 20 0 16 0 414986468 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662070884592 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27733] ppid=27716 vsize=10748324 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/27719/task/27733/stat : 27733 (java) S 27716 27719 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414986469 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662001695328 139662518064853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27734] ppid=27716 vsize=10748324 memory=14691894252800627 CPUtime=0.01 cores=1,3,5,7
/proc/27719/task/27734/stat : 27734 (java) S 27716 27719 25423 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 16 0 414986469 11006283776 60391 33554432000 4194304 4196468 140722428792592 139662000642864 139662518065794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
[pid=27719/tid=27737] ppid=27716 vsize=10748324 memory=1624 CPUtime=91.21 cores=1,3,5,7
/proc/27719/task/27737/stat : 27737 (java) R 27716 27719 25423 0 -1 4202560 10177 0 0 0 9118 3 0 0 20 0 16 0 414986652 11006283776 60391 33554432000 4194304 4196468 140722428792592 139661983973392 139662157338688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30883840 140722428793867 140722428793970 140722428793970 140722428796879 0
Current children cumulated CPU time: 95.71 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 241564 KiB

Child status: 0
Real time (s): 93.2321
CPU time (s): 95.7562
CPU user time (s): 95.5769
CPU system time (s): 0.179247
CPU usage (%): 102.707
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 242492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.5769
system time used= 0.179247
maximum resident set size= 242508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5100
involuntary context switches= 60


# summary of solver processes directly reported to runsolver:
#   pid: 27719
#   total CPU time (s): 95.7562
#   total CPU user time (s): 95.5769
#   total CPU system time (s): 0.179247

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.53681 second user time and 0.86393 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-13 16:06:26
IDJOB=4390856
IDBENCH=141371
IDSOLVER=2832
FILE ID=node105/4390856-1568387281
RUNJOBID= node105-1568376822-25455
PBS_JOBID= 21701849
Free space on /tmp= 54364 MiB

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

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

MD5SUM BENCH= fd7701f01011f2453d3fac3f444f25b8
RANDOM SEED=621504613

node105.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.00
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.00
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.00
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.00
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:        29846804 kB
MemAvailable:   30093932 kB
Buffers:          148416 kB
Cached:           386124 kB
SwapCached:        68388 kB
Active:          2016352 kB
Inactive:         347640 kB
Active(anon):    1772032 kB
Inactive(anon):    89820 kB
Active(file):     244320 kB
Inactive(file):   257820 kB
Unevictable:      111220 kB
Mlocked:          111220 kB
SwapTotal:      67108860 kB
SwapFree:       66936380 kB
Dirty:              8572 kB
Writeback:             0 kB
AnonPages:       1914520 kB
Mapped:            49008 kB
Shmem:             24032 kB
Slab:             149880 kB
SReclaimable:     121644 kB
SUnreclaim:        28236 kB
KernelStack:        4016 kB
PageTables:         9236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3326404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1773568 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 54352 MiB
End job on node105 at 2019-09-13 16:07:59