Trace number 4391125

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 99.3462 96.8335

DiagnosticValue
WRONG_DECISIONS58559

General information on the benchmark

NameGolombRuler/
GolombRuler-a3v18-nodv-10_c18.xml
MD5SUM769ec0f26c47f1b96bb609b2e4d8d5d6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark30.6851
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.41/1.88	
2.41/1.88	AbsCon 2 
2.41/1.90	
2.91/2.01	  Instance
2.91/2.01	    name=instance-4391125-1568391782, framework=COP, bounds=-infty..+infty
2.91/2.01	
2.91/2.01	  Loading variables...
2.91/2.04	  Loading constraints...
3.13/2.12	
3.13/2.12	  Domains
3.13/2.12	    nTypes=2, nValues=5510, sizes=[100#45,101#10]
3.13/2.13	  Variables
3.13/2.13	    count=55, degrees=[2#45,9#9,10#1]
3.13/2.13	  Objectives
3.13/2.13	    way=min, type=ObjVarLE
3.13/2.13	  Constraints
3.13/2.13	    count=47, nSpecific=2, arities=[1#1,3#45,45#1]
3.13/2.13	    distribution=[AllDifferent#1,CtrIntension#45,ObjVarLE#1]
3.13/2.13	    nIntStructures=(1,shared:44)
3.13/2.13	    wck=0.276, cpu=2.093, mem=21M227
3.13/2.13	  Solver SolverBacktrack being built...
3.13/2.13	
3.13/2.15	
3.13/2.15	  Solver
3.13/2.15	    guaranteedGAC=true
3.13/2.15	    wck=0.303, cpu=2.119, mem=31M870
3.73/2.51	
3.73/2.51	  Preprocessing
3.73/2.51	    filters=111, revisions=(488,useless=303), ccks=3513028, nACremovedValues=330, nTotalRemovedValues=330, inconcistency=false
3.73/2.51	    wck=0.362, cpu=2.482, mem=31M870
3.73/2.51	
4.37/2.98	o 80
4.37/2.99	    num=0, depth=56..54, filters=740, revisions=(1752,useless=813), ccks=8885719, wck=0.838, mem=34M512
4.37/2.99	    decisions=10, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=80
4.37/2.99	    
5.20/3.77	o 78
5.20/3.77	    num=1, depth=8..54, filters=1389, revisions=(3516,useless=1750), ccks=18228139, wck=1.616, mem=34M512
5.20/3.77	    decisions=21, wrong=1, backtracks=0, failedAssignments=1, nogoods=1, foundSolutions=2, bestBound=78
5.20/3.77	    
6.49/4.92	    num=2, depth=0..2, filters=2717, revisions=(8336,useless=4440), ccks=31170513, wck=2.773, mem=37M155
6.49/4.92	    decisions=47, wrong=13, backtracks=1, failedAssignments=12, nogoods=10, foundSolutions=2, bestBound=78
6.49/4.92	    
6.70/5.16	    num=3, depth=0..0, filters=3285, revisions=(10399,useless=5568), ccks=33685737, wck=3.0, mem=37M155
6.70/5.16	    decisions=69, wrong=24, backtracks=1, failedAssignments=23, nogoods=10, foundSolutions=2, bestBound=78
6.70/5.16	    
7.63/6.01	    num=4, depth=0..0, filters=3909, revisions=(12811,useless=6924), ccks=43380306, wck=3.856, mem=39M797
7.63/6.01	    decisions=93, wrong=36, backtracks=1, failedAssignments=35, nogoods=10, foundSolutions=2, bestBound=78
7.63/6.01	    
8.22/6.69	    num=5, depth=0..2, filters=4434, revisions=(14522,useless=7858), ccks=51240878, wck=4.54, mem=39M797
8.22/6.69	    decisions=121, wrong=49, backtracks=1, failedAssignments=48, nogoods=18, foundSolutions=2, bestBound=78
8.22/6.69	    
8.64/7.06	    num=6, depth=0..0, filters=5211, revisions=(16812,useless=8993), ccks=55350824, wck=4.913, mem=42M439
8.64/7.06	    decisions=149, wrong=63, backtracks=1, failedAssignments=62, nogoods=18, foundSolutions=2, bestBound=78
8.64/7.06	    
9.23/7.69	    num=7, depth=0..3, filters=6041, revisions=(19062,useless=10110), ccks=62390349, wck=5.543, mem=42M439
9.23/7.69	    decisions=184, wrong=79, backtracks=1, failedAssignments=78, nogoods=26, foundSolutions=2, bestBound=78
9.23/7.69	    
9.65/8.10	    num=8, depth=1..4, filters=7173, revisions=(22110,useless=11689), ccks=66883383, wck=5.953, mem=45M82
9.65/8.10	    decisions=222, wrong=96, backtracks=1, failedAssignments=95, nogoods=43, foundSolutions=2, bestBound=78
9.65/8.10	    
10.07/8.40	    num=9, depth=0..1, filters=8180, revisions=(24697,useless=13006), ccks=70177002, wck=6.246, mem=45M82
10.07/8.40	    decisions=261, wrong=115, backtracks=1, failedAssignments=114, nogoods=51, foundSolutions=2, bestBound=78
10.07/8.40	    
10.17/8.59	o 74
10.17/8.60	    num=10, depth=0..54, filters=9045, revisions=(26595,useless=13913), ccks=72386277, wck=6.445, mem=45M82
10.17/8.60	    decisions=286, wrong=125, backtracks=2, failedAssignments=123, nogoods=53, foundSolutions=3, bestBound=74
10.17/8.60	    
10.60/8.94	o 72
10.60/8.94	    num=11, depth=1..54, filters=10780, revisions=(30890,useless=16122), ccks=76230806, wck=6.792, mem=47M724
10.60/8.94	    decisions=339, wrong=147, backtracks=5, failedAssignments=142, nogoods=65, foundSolutions=4, bestBound=72
10.60/8.94	    
10.91/9.21	    num=12, depth=1..2, filters=11588, revisions=(33103,useless=17286), ccks=79272067, wck=7.064, mem=47M724
10.91/9.21	    decisions=363, wrong=158, backtracks=5, failedAssignments=153, nogoods=76, foundSolutions=4, bestBound=72
10.91/9.21	    
10.91/9.28	    num=13, depth=2..5, filters=12381, revisions=(34674,useless=17947), ccks=79918741, wck=7.126, mem=47M724
10.91/9.28	    decisions=390, wrong=170, backtracks=6, failedAssignments=164, nogoods=87, foundSolutions=4, bestBound=72
10.91/9.28	    
11.21/9.52	    num=14, depth=0..2, filters=13127, revisions=(36699,useless=19008), ccks=82625557, wck=7.366, mem=50M367
11.21/9.52	    decisions=417, wrong=183, backtracks=7, failedAssignments=176, nogoods=91, foundSolutions=4, bestBound=72
11.21/9.52	    
11.41/9.72	    num=15, depth=0..3, filters=14190, revisions=(39332,useless=20298), ccks=84836818, wck=7.567, mem=50M367
11.41/9.72	    decisions=449, wrong=198, backtracks=9, failedAssignments=189, nogoods=95, foundSolutions=4, bestBound=72
11.41/9.72	    
11.51/9.82	    num=16, depth=1..4, filters=15205, revisions=(41542,useless=21362), ccks=85893652, wck=7.667, mem=50M367
11.51/9.82	    decisions=486, wrong=215, backtracks=12, failedAssignments=203, nogoods=103, foundSolutions=4, bestBound=72
11.51/9.82	    
11.63/9.93	    num=17, depth=0..3, filters=16576, revisions=(44592,useless=22877), ccks=87004874, wck=7.775, mem=50M367
11.63/9.93	    decisions=531, wrong=237, backtracks=20, failedAssignments=219, nogoods=104, foundSolutions=4, bestBound=72
11.63/9.93	    
11.74/10.01	    num=18, depth=1..3, filters=18180, revisions=(47766,useless=24303), ccks=87883995, wck=7.862, mem=53M9
11.74/10.01	    decisions=576, wrong=259, backtracks=25, failedAssignments=236, nogoods=116, foundSolutions=4, bestBound=72
11.74/10.01	    
11.84/10.14	    num=19, depth=0..4, filters=19797, revisions=(51409,useless=26105), ccks=89225976, wck=7.991, mem=53M9
11.84/10.14	    decisions=629, wrong=284, backtracks=33, failedAssignments=255, nogoods=120, foundSolutions=4, bestBound=72
11.84/10.14	    
11.93/10.22	o 71
11.93/10.22	    num=20, depth=0..54, filters=20583, revisions=(52998,useless=26808), ccks=90044260, wck=8.067, mem=53M9
11.93/10.22	    decisions=651, wrong=293, backtracks=35, failedAssignments=262, nogoods=122, foundSolutions=5, bestBound=71
11.93/10.22	    
12.44/10.79	    num=21, depth=1..4, filters=22662, revisions=(58702,useless=29987), ccks=96478160, wck=8.637, mem=53M9
12.44/10.79	    decisions=717, wrong=325, backtracks=44, failedAssignments=285, nogoods=141, foundSolutions=5, bestBound=71
12.44/10.79	    
12.55/10.86	    num=22, depth=0..4, filters=23515, revisions=(60447,useless=30771), ccks=97206229, wck=8.706, mem=55M652
12.55/10.86	    decisions=745, wrong=337, backtracks=45, failedAssignments=296, nogoods=149, foundSolutions=5, bestBound=71
12.55/10.86	    
12.65/10.90	    num=23, depth=5..6, filters=24620, revisions=(62313,useless=31408), ccks=97649981, wck=8.751, mem=55M652
12.65/10.90	    decisions=779, wrong=351, backtracks=47, failedAssignments=308, nogoods=157, foundSolutions=5, bestBound=71
12.65/10.90	    
12.65/10.98	    num=24, depth=1..3, filters=25605, revisions=(64426,useless=32369), ccks=98475595, wck=8.831, mem=55M652
12.65/10.98	    decisions=813, wrong=367, backtracks=50, failedAssignments=321, nogoods=161, foundSolutions=5, bestBound=71
12.65/10.98	    
12.76/11.04	    num=25, depth=1..4, filters=26588, revisions=(66399,useless=33242), ccks=99082786, wck=8.889, mem=55M652
12.76/11.04	    decisions=851, wrong=384, backtracks=53, failedAssignments=335, nogoods=174, foundSolutions=5, bestBound=71
12.76/11.04	    
12.86/11.13	    num=26, depth=1..4, filters=27963, revisions=(69572,useless=34777), ccks=100003630, wck=8.98, mem=55M652
12.86/11.13	    decisions=896, wrong=405, backtracks=58, failedAssignments=351, nogoods=185, foundSolutions=5, bestBound=71
12.86/11.13	    
12.86/11.18	o 65
12.86/11.18	    num=27, depth=2..54, filters=28725, revisions=(71090,useless=35443), ccks=100517714, wck=9.03, mem=55M652
12.86/11.18	    decisions=918, wrong=414, backtracks=61, failedAssignments=357, nogoods=188, foundSolutions=6, bestBound=65
12.86/11.18	    
13.17/11.41	    num=28, depth=1..5, filters=30517, revisions=(75230,useless=37505), ccks=103060741, wck=9.261, mem=58M294
13.17/11.41	    decisions=973, wrong=439, backtracks=67, failedAssignments=376, nogoods=203, foundSolutions=6, bestBound=65
13.17/11.41	    
13.17/11.47	    num=29, depth=1..4, filters=31599, revisions=(77714,useless=38795), ccks=103670017, wck=9.323, mem=58M294
13.17/11.47	    decisions=1002, wrong=453, backtracks=70, failedAssignments=387, nogoods=214, foundSolutions=6, bestBound=65
13.17/11.47	    
13.42/11.63	    num=30, depth=2..3, filters=32397, revisions=(80133,useless=40121), ccks=105343273, wck=9.475, mem=58M294
13.42/11.63	    decisions=1030, wrong=466, backtracks=71, failedAssignments=399, nogoods=226, foundSolutions=6, bestBound=65
13.42/11.63	    
13.52/11.70	    num=31, depth=1..4, filters=33678, revisions=(82872,useless=41407), ccks=106126162, wck=9.553, mem=58M294
13.52/11.70	    decisions=1070, wrong=485, backtracks=79, failedAssignments=412, nogoods=234, foundSolutions=6, bestBound=65
13.52/11.70	    
13.52/11.77	    num=32, depth=1..3, filters=34260, revisions=(84280,useless=42121), ccks=106879243, wck=9.623, mem=58M294
13.52/11.77	    decisions=1100, wrong=499, backtracks=79, failedAssignments=426, nogoods=248, foundSolutions=6, bestBound=65
13.52/11.77	    
13.63/11.86	    num=33, depth=1..4, filters=36129, revisions=(88461,useless=44141), ccks=107709129, wck=9.71, mem=60M936
13.63/11.86	    decisions=1151, wrong=523, backtracks=88, failedAssignments=442, nogoods=253, foundSolutions=6, bestBound=65
13.63/11.86	    
13.73/11.96	    num=34, depth=0..5, filters=37866, revisions=(92022,useless=45765), ccks=108723601, wck=9.81, mem=60M936
13.73/11.96	    decisions=1202, wrong=547, backtracks=98, failedAssignments=459, nogoods=255, foundSolutions=6, bestBound=65
13.73/11.96	    
13.84/12.09	    num=35, depth=0..5, filters=39890, revisions=(96252,useless=47748), ccks=110078704, wck=9.94, mem=60M936
13.84/12.09	    decisions=1257, wrong=573, backtracks=106, failedAssignments=478, nogoods=261, foundSolutions=6, bestBound=65
13.84/12.09	    
13.94/12.18	    num=36, depth=1..4, filters=41634, revisions=(99873,useless=49403), ccks=110920263, wck=10.026, mem=60M936
13.94/12.18	    decisions=1320, wrong=604, backtracks=117, failedAssignments=499, nogoods=266, foundSolutions=6, bestBound=65
13.94/12.18	    
14.05/12.22	    num=37, depth=2..4, filters=43227, revisions=(102918,useless=50738), ccks=111307861, wck=10.067, mem=63M579
14.05/12.22	    decisions=1381, wrong=633, backtracks=124, failedAssignments=522, nogoods=275, foundSolutions=6, bestBound=65
14.05/12.22	    
14.15/12.31	    num=38, depth=1..5, filters=45841, revisions=(108167,useless=53152), ccks=112192363, wck=10.161, mem=63M579
14.15/12.31	    decisions=1457, wrong=670, backtracks=136, failedAssignments=547, nogoods=281, foundSolutions=6, bestBound=65
14.15/12.31	    
14.15/12.39	    num=39, depth=1..4, filters=47569, revisions=(112033,useless=55046), ccks=112956487, wck=10.24, mem=63M579
14.15/12.39	    decisions=1531, wrong=706, backtracks=144, failedAssignments=575, nogoods=288, foundSolutions=6, bestBound=65
14.15/12.39	    
14.25/12.47	    num=40, depth=2..3, filters=48920, revisions=(114782,useless=56290), ccks=113753213, wck=10.318, mem=63M579
14.25/12.47	    decisions=1600, wrong=739, backtracks=146, failedAssignments=606, nogoods=303, foundSolutions=6, bestBound=65
14.25/12.47	    
14.49/12.63	    num=41, depth=0..2, filters=50649, revisions=(118653,useless=58231), ccks=115504845, wck=10.483, mem=66M221
14.49/12.63	    decisions=1677, wrong=777, backtracks=150, failedAssignments=640, nogoods=314, foundSolutions=6, bestBound=65
14.49/12.63	    
14.59/12.78	    num=42, depth=1..5, filters=53894, revisions=(125522,useless=61447), ccks=116967078, wck=10.634, mem=66M221
14.59/12.78	    decisions=1791, wrong=833, backtracks=172, failedAssignments=677, nogoods=328, foundSolutions=6, bestBound=65
14.59/12.78	    
14.69/12.87	    num=43, depth=2..5, filters=56311, revisions=(130242,useless=63497), ccks=117770987, wck=10.718, mem=66M221
14.69/12.87	    decisions=1892, wrong=882, backtracks=182, failedAssignments=718, nogoods=343, foundSolutions=6, bestBound=65
14.69/12.87	    
14.80/13.00	    num=44, depth=0..6, filters=59078, revisions=(136025,useless=66233), ccks=119020940, wck=10.847, mem=68M864
14.80/13.00	    decisions=2011, wrong=939, backtracks=196, failedAssignments=763, nogoods=354, foundSolutions=6, bestBound=65
14.80/13.00	    
14.91/13.04	    num=45, depth=2..4, filters=62364, revisions=(142199,useless=68891), ccks=119390738, wck=10.893, mem=68M864
14.91/13.04	    decisions=2148, wrong=1006, backtracks=214, failedAssignments=813, nogoods=364, foundSolutions=6, bestBound=65
14.91/13.04	    
15.02/13.17	    num=46, depth=1..5, filters=65935, revisions=(149735,useless=72467), ccks=120588104, wck=11.024, mem=68M864
15.02/13.17	    decisions=2289, wrong=1075, backtracks=230, failedAssignments=868, nogoods=378, foundSolutions=6, bestBound=65
15.02/13.17	    
15.21/13.37	    num=47, depth=0..4, filters=70460, revisions=(159544,useless=77187), ccks=122449776, wck=11.218, mem=71M506
15.21/13.37	    decisions=2448, wrong=1153, backtracks=249, failedAssignments=929, nogoods=395, foundSolutions=6, bestBound=65
15.21/13.37	    
15.31/13.46	    num=48, depth=2..5, filters=74867, revisions=(167713,useless=80504), ccks=123253692, wck=11.31, mem=71M506
15.31/13.46	    decisions=2622, wrong=1238, backtracks=268, failedAssignments=996, nogoods=406, foundSolutions=6, bestBound=65
15.31/13.46	    
15.51/13.64	    num=49, depth=1..4, filters=79697, revisions=(178135,useless=85483), ccks=124902760, wck=11.488, mem=74M149
15.51/13.64	    decisions=2813, wrong=1332, backtracks=288, failedAssignments=1070, nogoods=420, foundSolutions=6, bestBound=65
15.51/13.64	    
15.72/13.81	    num=50, depth=1..5, filters=84827, revisions=(188418,useless=89983), ccks=126491101, wck=11.657, mem=74M149
15.72/13.81	    decisions=3014, wrong=1431, backtracks=310, failedAssignments=1151, nogoods=428, foundSolutions=6, bestBound=65
15.72/13.81	    
15.92/14.08	    num=51, depth=0..5, filters=92298, revisions=(205180,useless=98179), ccks=129015087, wck=11.925, mem=76M791
15.92/14.08	    decisions=3260, wrong=1553, backtracks=346, failedAssignments=1240, nogoods=439, foundSolutions=6, bestBound=65
15.92/14.08	    
16.24/14.33	    num=52, depth=1..5, filters=99729, revisions=(220503,useless=105338), ccks=131335078, wck=12.179, mem=79M434
16.24/14.33	    decisions=3522, wrong=1683, backtracks=385, failedAssignments=1338, nogoods=455, foundSolutions=6, bestBound=65
16.24/14.33	    
16.35/14.46	    num=53, depth=2..6, filters=107788, revisions=(235557,useless=111608), ccks=132407220, wck=12.314, mem=82M76
16.35/14.46	    decisions=3813, wrong=1826, backtracks=423, failedAssignments=1446, nogoods=470, foundSolutions=6, bestBound=65
16.35/14.46	    
16.45/14.51	o 63
16.45/14.51	    num=54, depth=2..54, filters=111337, revisions=(242076,useless=114333), ccks=132738708, wck=12.358, mem=82M76
16.45/14.51	    decisions=3957, wrong=1896, backtracks=446, failedAssignments=1493, nogoods=479, foundSolutions=7, bestBound=63
16.45/14.51	    
16.96/15.02	    num=55, depth=1..6, filters=121258, revisions=(264354,useless=124733), ccks=137805606, wck=12.872, mem=84M718
16.96/15.02	    decisions=4299, wrong=2065, backtracks=484, failedAssignments=1624, nogoods=495, foundSolutions=7, bestBound=63
16.96/15.02	    
17.06/15.18	    num=56, depth=0..3, filters=122107, revisions=(266638,useless=125971), ccks=139584244, wck=13.033, mem=84M718
17.06/15.18	    decisions=4324, wrong=2076, backtracks=484, failedAssignments=1635, nogoods=504, foundSolutions=7, bestBound=63
17.06/15.18	    
17.15/15.23	    num=57, depth=1..3, filters=123104, revisions=(268699,useless=126929), ccks=140077741, wck=13.084, mem=87M361
17.15/15.23	    decisions=4356, wrong=2091, backtracks=487, failedAssignments=1647, nogoods=506, foundSolutions=7, bestBound=63
17.15/15.23	    
17.15/15.28	    num=58, depth=3..4, filters=123889, revisions=(270330,useless=127654), ccks=140530027, wck=13.128, mem=87M361
17.15/15.28	    decisions=4388, wrong=2105, backtracks=488, failedAssignments=1660, nogoods=516, foundSolutions=7, bestBound=63
17.15/15.28	    
17.26/15.34	    num=59, depth=1..4, filters=124927, revisions=(272666,useless=128759), ccks=141096087, wck=13.186, mem=87M361
17.26/15.34	    decisions=4427, wrong=2123, backtracks=492, failedAssignments=1674, nogoods=520, foundSolutions=7, bestBound=63
17.26/15.34	    
17.36/15.44	    num=60, depth=1..4, filters=126230, revisions=(275659,useless=130255), ccks=142136542, wck=13.286, mem=87M361
17.36/15.44	    decisions=4467, wrong=2141, backtracks=494, failedAssignments=1690, nogoods=528, foundSolutions=7, bestBound=63
17.36/15.44	    
17.36/15.47	    num=61, depth=1..3, filters=127679, revisions=(278572,useless=131620), ccks=142386893, wck=13.315, mem=87M361
17.36/15.47	    decisions=4520, wrong=2167, backtracks=503, failedAssignments=1707, nogoods=530, foundSolutions=7, bestBound=63
17.36/15.47	    
17.46/15.53	    num=62, depth=2..5, filters=129404, revisions=(281937,useless=133070), ccks=142940523, wck=13.375, mem=87M361
17.46/15.53	    decisions=4573, wrong=2192, backtracks=509, failedAssignments=1726, nogoods=543, foundSolutions=7, bestBound=63
17.46/15.53	    
17.56/15.60	    num=63, depth=2..3, filters=130673, revisions=(284893,useless=134524), ccks=143667600, wck=13.448, mem=90M3
17.56/15.60	    decisions=4619, wrong=2214, backtracks=510, failedAssignments=1747, nogoods=555, foundSolutions=7, bestBound=63
17.56/15.60	    
17.56/15.68	    num=64, depth=1..3, filters=132379, revisions=(288542,useless=136167), ccks=144437697, wck=13.528, mem=90M3
17.56/15.68	    decisions=4681, wrong=2244, backtracks=517, failedAssignments=1770, nogoods=557, foundSolutions=7, bestBound=63
17.56/15.68	    
17.66/15.71	    num=65, depth=1..3, filters=134344, revisions=(292588,useless=138091), ccks=144690440, wck=13.559, mem=90M3
17.66/15.71	    decisions=4749, wrong=2277, backtracks=525, failedAssignments=1795, nogoods=568, foundSolutions=7, bestBound=63
17.66/15.71	    
17.76/15.80	    num=66, depth=1..4, filters=136606, revisions=(297112,useless=140159), ccks=145514718, wck=13.646, mem=90M3
17.76/15.80	    decisions=4833, wrong=2318, backtracks=539, failedAssignments=1823, nogoods=573, foundSolutions=7, bestBound=63
17.76/15.80	    
17.97/16.04	    num=67, depth=1..4, filters=138940, revisions=(303426,useless=143500), ccks=148113053, wck=13.89, mem=92M646
17.97/16.04	    decisions=4909, wrong=2355, backtracks=545, failedAssignments=1854, nogoods=596, foundSolutions=7, bestBound=63
17.97/16.04	    
18.07/16.11	    num=68, depth=1..4, filters=140979, revisions=(307786,useless=145596), ccks=148732384, wck=13.958, mem=92M646
18.07/16.11	    decisions=4989, wrong=2394, backtracks=551, failedAssignments=1888, nogoods=605, foundSolutions=7, bestBound=63
18.07/16.11	    
18.16/16.21	    num=69, depth=1..4, filters=143411, revisions=(312931,useless=148050), ccks=149668162, wck=14.054, mem=92M646
18.16/16.21	    decisions=5083, wrong=2439, backtracks=559, failedAssignments=1925, nogoods=610, foundSolutions=7, bestBound=63
18.16/16.21	    
18.26/16.30	    num=70, depth=0..5, filters=146557, revisions=(319364,useless=150975), ccks=150568316, wck=14.154, mem=95M288
18.26/16.30	    decisions=5200, wrong=2496, backtracks=575, failedAssignments=1966, nogoods=617, foundSolutions=7, bestBound=63
18.26/16.30	    
18.26/16.37	    num=71, depth=3..5, filters=149928, revisions=(325804,useless=153675), ccks=151093734, wck=14.218, mem=95M288
18.26/16.37	    decisions=5326, wrong=2557, backtracks=592, failedAssignments=2011, nogoods=631, foundSolutions=7, bestBound=63
18.26/16.37	    
18.36/16.43	    num=72, depth=3..5, filters=154102, revisions=(333162,useless=156436), ccks=151544287, wck=14.277, mem=95M288
18.36/16.43	    decisions=5473, wrong=2629, backtracks=614, failedAssignments=2061, nogoods=640, foundSolutions=7, bestBound=63
18.36/16.43	    
18.47/16.52	    num=73, depth=2..5, filters=157690, revisions=(340083,useless=159341), ccks=152317232, wck=14.365, mem=97M931
18.47/16.52	    decisions=5615, wrong=2699, backtracks=629, failedAssignments=2116, nogoods=643, foundSolutions=7, bestBound=63
18.47/16.52	    
18.68/16.71	    num=74, depth=0..4, filters=162343, revisions=(350483,useless=164051), ccks=154169669, wck=14.561, mem=97M931
18.68/16.71	    decisions=5773, wrong=2777, backtracks=646, failedAssignments=2177, nogoods=653, foundSolutions=7, bestBound=63
18.68/16.71	    
18.78/16.83	    num=75, depth=1..3, filters=166580, revisions=(359579,useless=168573), ccks=155222490, wck=14.68, mem=100M573
18.78/16.83	    decisions=5957, wrong=2868, backtracks=670, failedAssignments=2244, nogoods=676, foundSolutions=7, bestBound=63
18.78/16.83	    
18.88/16.99	    num=76, depth=2..4, filters=171366, revisions=(369999,useless=173429), ccks=156630832, wck=14.837, mem=100M573
18.88/16.99	    decisions=6136, wrong=2956, backtracks=685, failedAssignments=2318, nogoods=707, foundSolutions=7, bestBound=63
18.88/16.99	    
19.09/17.14	    num=77, depth=1..4, filters=177492, revisions=(383187,useless=179804), ccks=157949129, wck=14.994, mem=103M215
19.09/17.14	    decisions=6371, wrong=3073, backtracks=721, failedAssignments=2399, nogoods=717, foundSolutions=7, bestBound=63
19.09/17.14	    
19.18/17.23	o 62
19.18/17.23	    num=78, depth=2..54, filters=182012, revisions=(391650,useless=183330), ccks=158639288, wck=15.077, mem=103M215
19.18/17.23	    decisions=6538, wrong=3154, backtracks=740, failedAssignments=2462, nogoods=731, foundSolutions=8, bestBound=62
19.18/17.23	    
19.48/17.54	    num=79, depth=2..5, filters=187318, revisions=(403871,useless=189115), ccks=161774182, wck=15.391, mem=105M858
19.48/17.54	    decisions=6763, wrong=3265, backtracks=753, failedAssignments=2560, nogoods=759, foundSolutions=8, bestBound=62
19.48/17.54	    
19.48/17.59	    num=80, depth=1..4, filters=188491, revisions=(406171,useless=190142), ccks=162184859, wck=15.434, mem=105M858
19.48/17.59	    decisions=6793, wrong=3279, backtracks=756, failedAssignments=2571, nogoods=766, foundSolutions=8, bestBound=62
19.48/17.59	    
19.58/17.62	    num=81, depth=3..5, filters=189456, revisions=(408095,useless=190973), ccks=162572534, wck=15.474, mem=108M500
19.58/17.62	    decisions=6829, wrong=3295, backtracks=760, failedAssignments=2583, nogoods=777, foundSolutions=8, bestBound=62
19.58/17.62	    
19.58/17.68	    num=82, depth=0..3, filters=190425, revisions=(410317,useless=192093), ccks=163141780, wck=15.53, mem=108M500
19.58/17.68	    decisions=6863, wrong=3311, backtracks=763, failedAssignments=2596, nogoods=781, foundSolutions=8, bestBound=62
19.58/17.68	    
19.68/17.72	    num=83, depth=3..5, filters=191367, revisions=(412202,useless=192905), ccks=163517804, wck=15.569, mem=108M500
19.68/17.72	    decisions=6902, wrong=3329, backtracks=767, failedAssignments=2610, nogoods=786, foundSolutions=8, bestBound=62
19.68/17.72	    
19.68/17.75	    num=84, depth=1..4, filters=192830, revisions=(415129,useless=194190), ccks=163806506, wck=15.602, mem=108M500
19.68/17.75	    decisions=6950, wrong=3352, backtracks=774, failedAssignments=2626, nogoods=791, foundSolutions=8, bestBound=62
19.68/17.75	    
19.78/17.82	    num=85, depth=1..3, filters=194234, revisions=(418295,useless=195716), ccks=164489291, wck=15.673, mem=108M500
19.78/17.82	    decisions=6998, wrong=3375, backtracks=780, failedAssignments=2643, nogoods=794, foundSolutions=8, bestBound=62
19.78/17.82	    
19.78/17.87	    num=86, depth=2..5, filters=195957, revisions=(421620,useless=197192), ccks=164864354, wck=15.715, mem=108M500
19.78/17.87	    decisions=7049, wrong=3399, backtracks=786, failedAssignments=2662, nogoods=801, foundSolutions=8, bestBound=62
19.78/17.87	    
19.88/17.96	    num=87, depth=0..4, filters=197860, revisions=(425769,useless=199214), ccks=165757455, wck=15.806, mem=111M143
19.88/17.96	    decisions=7110, wrong=3428, backtracks=796, failedAssignments=2683, nogoods=810, foundSolutions=8, bestBound=62
19.88/17.96	    
19.88/18.00	    num=88, depth=1..3, filters=199599, revisions=(429726,useless=201241), ccks=166152289, wck=15.852, mem=111M143
19.88/18.00	    decisions=7171, wrong=3457, backtracks=802, failedAssignments=2706, nogoods=819, foundSolutions=8, bestBound=62
19.88/18.00	    
19.99/18.06	    num=89, depth=3..5, filters=201980, revisions=(434264,useless=203107), ccks=166614464, wck=15.905, mem=111M143
19.99/18.06	    decisions=7250, wrong=3495, backtracks=815, failedAssignments=2731, nogoods=826, foundSolutions=8, bestBound=62
19.99/18.06	    
20.09/18.20	    num=90, depth=0..3, filters=203874, revisions=(438540,useless=205255), ccks=168064384, wck=16.045, mem=111M143
20.09/18.20	    decisions=7318, wrong=3528, backtracks=820, failedAssignments=2759, nogoods=844, foundSolutions=8, bestBound=62
20.09/18.20	    
20.18/18.29	    num=91, depth=0..4, filters=206772, revisions=(444626,useless=208104), ccks=168959841, wck=16.14, mem=113M785
20.18/18.29	    decisions=7401, wrong=3568, backtracks=829, failedAssignments=2790, nogoods=853, foundSolutions=8, bestBound=62
20.18/18.29	    
20.28/18.34	    num=92, depth=2..4, filters=209211, revisions=(449419,useless=210203), ccks=169337188, wck=16.186, mem=113M785
20.28/18.34	    decisions=7490, wrong=3611, backtracks=838, failedAssignments=2824, nogoods=869, foundSolutions=8, bestBound=62
20.28/18.34	    
20.38/18.45	    num=93, depth=1..4, filters=212516, revisions=(456481,useless=213551), ccks=170330213, wck=16.295, mem=113M785
20.38/18.45	    decisions=7595, wrong=3663, backtracks=857, failedAssignments=2861, nogoods=883, foundSolutions=8, bestBound=62
20.38/18.45	    
20.38/18.49	    num=94, depth=3..5, filters=214771, revisions=(460736,useless=215252), ccks=170749803, wck=16.344, mem=113M785
20.38/18.49	    decisions=7700, wrong=3714, backtracks=868, failedAssignments=2902, nogoods=893, foundSolutions=8, bestBound=62
20.38/18.49	    
20.60/18.60	    num=95, depth=0..4, filters=218188, revisions=(467880,useless=218585), ccks=171766530, wck=16.454, mem=116M428
20.60/18.60	    decisions=7825, wrong=3775, backtracks=885, failedAssignments=2947, nogoods=905, foundSolutions=8, bestBound=62
20.60/18.60	    
20.95/18.90	    num=96, depth=0..3, filters=222058, revisions=(477516,useless=223559), ccks=174792942, wck=16.747, mem=116M428
20.95/18.90	    decisions=7953, wrong=3838, backtracks=898, failedAssignments=2997, nogoods=918, foundSolutions=8, bestBound=62
20.95/18.90	    
21.06/19.04	    num=97, depth=1..5, filters=227040, revisions=(487862,useless=228415), ccks=176022349, wck=16.888, mem=119M70
21.06/19.04	    decisions=8115, wrong=3918, backtracks=927, failedAssignments=3052, nogoods=933, foundSolutions=8, bestBound=62
21.06/19.04	    
21.16/19.14	    num=98, depth=1..5, filters=232432, revisions=(498530,useless=233204), ccks=176830718, wck=16.988, mem=119M70
21.16/19.14	    decisions=8296, wrong=4006, backtracks=957, failedAssignments=3113, nogoods=943, foundSolutions=8, bestBound=62
21.16/19.14	    
21.45/19.46	    num=99, depth=2..5, filters=237851, revisions=(511625,useless=239578), ccks=180065440, wck=17.313, mem=121M712
21.45/19.46	    decisions=8478, wrong=4096, backtracks=980, failedAssignments=3180, nogoods=963, foundSolutions=8, bestBound=62
21.45/19.46	    
21.55/19.56	    num=100, depth=4..6, filters=244226, revisions=(522322,useless=243118), ccks=180759647, wck=17.405, mem=124M355
21.55/19.56	    decisions=8693, wrong=4201, backtracks=1011, failedAssignments=3254, nogoods=987, foundSolutions=8, bestBound=62
21.55/19.56	    
21.76/19.73	    num=101, depth=1..5, filters=250662, revisions=(535562,useless=249292), ccks=182208278, wck=17.574, mem=126M997
21.76/19.73	    decisions=8939, wrong=4323, backtracks=1056, failedAssignments=3335, nogoods=996, foundSolutions=8, bestBound=62
21.76/19.73	    
21.86/19.82	    num=102, depth=2..5, filters=256681, revisions=(546747,useless=253868), ccks=182944413, wck=17.669, mem=126M997
21.86/19.82	    decisions=9177, wrong=4440, backtracks=1086, failedAssignments=3424, nogoods=1005, foundSolutions=8, bestBound=62
21.86/19.82	    
21.96/19.99	    num=103, depth=1..5, filters=263375, revisions=(560486,useless=260215), ccks=184342462, wck=17.835, mem=129M640
21.96/19.99	    decisions=9443, wrong=4572, backtracks=1127, failedAssignments=3522, nogoods=1018, foundSolutions=8, bestBound=62
21.96/19.99	    
22.37/20.34	    num=104, depth=1..6, filters=271901, revisions=(579771,useless=269853), ccks=187752759, wck=18.188, mem=132M282
22.37/20.34	    decisions=9740, wrong=4719, backtracks=1167, failedAssignments=3630, nogoods=1043, foundSolutions=8, bestBound=62
22.37/20.34	    
22.69/20.60	    num=105, depth=0..5, filters=280803, revisions=(598714,useless=278819), ccks=190083794, wck=18.449, mem=134M925
22.69/20.60	    decisions=10051, wrong=4874, backtracks=1210, failedAssignments=3749, nogoods=1048, foundSolutions=8, bestBound=62
22.69/20.60	    
22.79/20.72	    num=106, depth=3..6, filters=289281, revisions=(613739,useless=284643), ccks=190988862, wck=18.57, mem=134M925
22.79/20.72	    decisions=10379, wrong=5036, backtracks=1244, failedAssignments=3880, nogoods=1065, foundSolutions=8, bestBound=62
22.79/20.72	    
22.99/20.94	    num=107, depth=1..6, filters=300661, revisions=(635474,useless=293632), ccks=192778680, wck=18.792, mem=140M209
22.99/20.94	    decisions=10757, wrong=5223, backtracks=1288, failedAssignments=4024, nogoods=1081, foundSolutions=8, bestBound=62
22.99/20.94	    
23.21/21.18	    num=108, depth=1..5, filters=310256, revisions=(655323,useless=302942), ccks=194756706, wck=19.027, mem=142M778
23.21/21.18	    decisions=11154, wrong=5420, backtracks=1335, failedAssignments=4182, nogoods=1099, foundSolutions=8, bestBound=62
23.21/21.18	    
23.40/21.33	    num=109, depth=2..5, filters=322144, revisions=(677081,useless=311621), ccks=195757867, wck=19.184, mem=23M8
23.40/21.33	    decisions=11616, wrong=5649, backtracks=1394, failedAssignments=4356, nogoods=1106, foundSolutions=8, bestBound=62
23.40/21.33	    
23.66/21.59	    num=110, depth=1..5, filters=338826, revisions=(709522,useless=325543), ccks=197675020, wck=19.438, mem=25M624
23.66/21.59	    decisions=12134, wrong=5907, backtracks=1461, failedAssignments=4547, nogoods=1118, foundSolutions=8, bestBound=62
23.66/21.59	    
23.96/21.90	    num=111, depth=1..6, filters=354969, revisions=(740825,useless=338834), ccks=200147430, wck=19.745, mem=30M856
23.96/21.90	    decisions=12678, wrong=6177, backtracks=1528, failedAssignments=4758, nogoods=1131, foundSolutions=8, bestBound=62
23.96/21.90	    
24.36/22.23	    num=112, depth=1..7, filters=370475, revisions=(772220,useless=352881), ccks=202934115, wck=20.084, mem=33M472
24.36/22.23	    decisions=13308, wrong=6490, backtracks=1620, failedAssignments=4990, nogoods=1148, foundSolutions=8, bestBound=62
24.36/22.23	    
24.56/22.45	    num=113, depth=1..6, filters=388007, revisions=(804170,useless=365441), ccks=204457809, wck=20.301, mem=38M704
24.56/22.45	    decisions=14014, wrong=6841, backtracks=1729, failedAssignments=5245, nogoods=1168, foundSolutions=8, bestBound=62
24.56/22.45	    
24.96/22.81	    num=114, depth=0..4, filters=407934, revisions=(845013,useless=384222), ccks=207334648, wck=20.662, mem=41M320
24.96/22.81	    decisions=14772, wrong=7219, backtracks=1830, failedAssignments=5526, nogoods=1182, foundSolutions=8, bestBound=62
24.96/22.81	    
25.46/23.30	    num=115, depth=0..5, filters=430187, revisions=(891319,useless=405510), ccks=211422648, wck=21.153, mem=49M168
25.46/23.30	    decisions=15591, wrong=7628, backtracks=1942, failedAssignments=5835, nogoods=1196, foundSolutions=8, bestBound=62
25.46/23.30	    
25.86/23.76	    num=116, depth=1..6, filters=454066, revisions=(934346,useless=421914), ccks=215126976, wck=21.604, mem=54M400
25.86/23.76	    decisions=16498, wrong=8079, backtracks=2058, failedAssignments=6175, nogoods=1222, foundSolutions=8, bestBound=62
25.86/23.76	    
26.17/24.04	o 61
26.17/24.04	    num=117, depth=0..54, filters=467872, revisions=(961876,useless=434157), ccks=217438997, wck=21.889, mem=57M16
26.17/24.04	    decisions=17006, wrong=8331, backtracks=2139, failedAssignments=6358, nogoods=1233, foundSolutions=9, bestBound=61
26.17/24.04	    
27.07/24.99	    num=118, depth=1..6, filters=495519, revisions=(1021924,useless=460845), ccks=226117858, wck=22.835, mem=67M480
27.07/24.99	    decisions=18081, wrong=8867, backtracks=2269, failedAssignments=6769, nogoods=1251, foundSolutions=9, bestBound=61
27.07/24.99	    
27.18/25.05	    num=119, depth=0..4, filters=496677, revisions=(1024513,useless=462085), ccks=226770759, wck=22.901, mem=67M480
27.18/25.05	    decisions=18117, wrong=8883, backtracks=2274, failedAssignments=6780, nogoods=1259, foundSolutions=9, bestBound=61
27.18/25.05	    
27.18/25.08	    num=120, depth=2..4, filters=497654, revisions=(1026473,useless=462939), ccks=227027239, wck=22.929, mem=67M480
27.18/25.08	    decisions=18150, wrong=8898, backtracks=2277, failedAssignments=6792, nogoods=1266, foundSolutions=9, bestBound=61
27.18/25.08	    
27.28/25.12	    num=121, depth=1..4, filters=498567, revisions=(1028424,useless=463860), ccks=227389217, wck=22.967, mem=67M480
27.28/25.12	    decisions=18185, wrong=8914, backtracks=2280, failedAssignments=6805, nogoods=1277, foundSolutions=9, bestBound=61
27.28/25.12	    
27.28/25.19	    num=122, depth=1..4, filters=499400, revisions=(1030341,useless=464807), ccks=228184210, wck=23.042, mem=68M801
27.28/25.19	    decisions=18220, wrong=8931, backtracks=2284, failedAssignments=6819, nogoods=1286, foundSolutions=9, bestBound=61
27.28/25.19	    
27.48/25.36	    num=123, depth=0..3, filters=500532, revisions=(1033167,useless=466216), ccks=229961626, wck=23.206, mem=68M801
27.48/25.36	    decisions=18258, wrong=8949, backtracks=2287, failedAssignments=6835, nogoods=1295, foundSolutions=9, bestBound=61
27.48/25.36	    
27.58/25.42	    num=124, depth=2..3, filters=501868, revisions=(1036104,useless=467587), ccks=230603226, wck=23.271, mem=71M417
27.58/25.42	    decisions=18301, wrong=8969, backtracks=2290, failedAssignments=6852, nogoods=1307, foundSolutions=9, bestBound=61
27.58/25.42	    
27.58/25.46	    num=125, depth=2..3, filters=503316, revisions=(1039180,useless=469058), ccks=230903245, wck=23.305, mem=71M417
27.58/25.46	    decisions=18346, wrong=8990, backtracks=2292, failedAssignments=6871, nogoods=1319, foundSolutions=9, bestBound=61
27.58/25.46	    
27.58/25.49	    num=126, depth=4..6, filters=504507, revisions=(1041440,useless=469984), ccks=231199196, wck=23.338, mem=71M417
27.58/25.49	    decisions=18398, wrong=9014, backtracks=2295, failedAssignments=6892, nogoods=1322, foundSolutions=9, bestBound=61
27.58/25.49	    
27.68/25.58	    num=127, depth=1..4, filters=506595, revisions=(1046437,useless=472520), ccks=232037477, wck=23.427, mem=71M417
27.68/25.58	    decisions=18463, wrong=9046, backtracks=2304, failedAssignments=6915, nogoods=1323, foundSolutions=9, bestBound=61
27.68/25.58	    
27.79/25.62	    num=128, depth=2..4, filters=508760, revisions=(1050733,useless=474388), ccks=232381140, wck=23.468, mem=71M417
27.79/25.62	    decisions=18530, wrong=9078, backtracks=2312, failedAssignments=6940, nogoods=1334, foundSolutions=9, bestBound=61
27.79/25.62	    
27.89/25.70	    num=129, depth=1..5, filters=511482, revisions=(1056527,useless=477187), ccks=233099853, wck=23.549, mem=74M33
27.89/25.70	    decisions=18610, wrong=9117, backtracks=2325, failedAssignments=6968, nogoods=1340, foundSolutions=9, bestBound=61
27.89/25.70	    
27.89/25.74	    num=130, depth=2..4, filters=513933, revisions=(1061381,useless=479308), ccks=233428179, wck=23.59, mem=74M33
27.89/25.74	    decisions=18693, wrong=9157, backtracks=2334, failedAssignments=6999, nogoods=1353, foundSolutions=9, bestBound=61
27.89/25.74	    
27.99/25.81	    num=131, depth=1..4, filters=516010, revisions=(1065668,useless=481209), ccks=234053457, wck=23.657, mem=74M33
27.99/25.81	    decisions=18782, wrong=9200, backtracks=2344, failedAssignments=7033, nogoods=1361, foundSolutions=9, bestBound=61
27.99/25.81	    
28.09/25.91	    num=132, depth=1..4, filters=519124, revisions=(1072548,useless=484558), ccks=234929020, wck=23.755, mem=76M649
28.09/25.91	    decisions=18895, wrong=9255, backtracks=2363, failedAssignments=7070, nogoods=1365, foundSolutions=9, bestBound=61
28.09/25.91	    
28.09/26.00	    num=133, depth=1..6, filters=522253, revisions=(1079055,useless=487628), ccks=235758214, wck=23.849, mem=76M649
28.09/26.00	    decisions=19010, wrong=9312, backtracks=2380, failedAssignments=7111, nogoods=1366, foundSolutions=9, bestBound=61
28.09/26.00	    
28.20/26.09	    num=134, depth=1..5, filters=526875, revisions=(1088052,useless=491519), ccks=236457323, wck=23.936, mem=76M649
28.20/26.09	    decisions=19154, wrong=9383, backtracks=2407, failedAssignments=7156, nogoods=1370, foundSolutions=9, bestBound=61
28.20/26.09	    
28.30/26.15	    num=135, depth=2..5, filters=529834, revisions=(1093883,useless=494031), ccks=236975988, wck=23.998, mem=79M265
28.30/26.15	    decisions=19280, wrong=9444, backtracks=2421, failedAssignments=7206, nogoods=1382, foundSolutions=9, bestBound=61
28.30/26.15	    
28.39/26.23	    num=136, depth=2..5, filters=533328, revisions=(1100834,useless=497063), ccks=237704734, wck=24.083, mem=79M265
28.39/26.23	    decisions=19421, wrong=9513, backtracks=2437, failedAssignments=7261, nogoods=1391, foundSolutions=9, bestBound=61
28.39/26.23	    
28.49/26.30	    num=137, depth=2..5, filters=537664, revisions=(1108915,useless=500344), ccks=238212135, wck=24.148, mem=81M881
28.49/26.30	    decisions=19575, wrong=9589, backtracks=2453, failedAssignments=7322, nogoods=1393, foundSolutions=9, bestBound=61
28.49/26.30	    
28.69/26.50	    num=138, depth=0..5, filters=543108, revisions=(1120978,useless=506236), ccks=240101142, wck=24.351, mem=81M881
28.69/26.50	    decisions=19754, wrong=9677, backtracks=2478, failedAssignments=7389, nogoods=1410, foundSolutions=9, bestBound=61
28.69/26.50	    
28.79/26.61	    num=139, depth=1..5, filters=549546, revisions=(1133832,useless=511953), ccks=240891463, wck=24.455, mem=84M497
28.79/26.61	    decisions=19959, wrong=9778, backtracks=2506, failedAssignments=7463, nogoods=1417, foundSolutions=9, bestBound=61
28.79/26.61	    
28.79/26.68	    num=140, depth=3..6, filters=555845, revisions=(1145438,useless=516591), ccks=241404473, wck=24.53, mem=84M497
28.79/26.68	    decisions=20197, wrong=9895, backtracks=2545, failedAssignments=7544, nogoods=1437, foundSolutions=9, bestBound=61
28.79/26.68	    
28.99/26.88	    num=141, depth=1..5, filters=561517, revisions=(1157366,useless=522310), ccks=243205447, wck=24.725, mem=87M113
28.99/26.88	    decisions=20417, wrong=10004, backtracks=2566, failedAssignments=7633, nogoods=1459, foundSolutions=9, bestBound=61
28.99/26.88	    
29.20/27.05	    num=142, depth=1..4, filters=567738, revisions=(1170398,useless=528240), ccks=244706788, wck=24.897, mem=89M729
29.20/27.05	    decisions=20664, wrong=10126, backtracks=2594, failedAssignments=7731, nogoods=1465, foundSolutions=9, bestBound=61
29.20/27.05	    
29.20/27.08	o 60
29.20/27.08	    num=143, depth=3..54, filters=568846, revisions=(1172626,useless=529232), ccks=244950981, wck=24.925, mem=89M729
29.20/27.08	    decisions=20704, wrong=10144, backtracks=2596, failedAssignments=7747, nogoods=1481, foundSolutions=10, bestBound=60
29.20/27.08	    
29.49/27.38	    num=144, depth=2..5, filters=576956, revisions=(1190577,useless=537542), ccks=247862571, wck=25.233, mem=92M345
29.49/27.38	    decisions=21012, wrong=10296, backtracks=2632, failedAssignments=7866, nogoods=1498, foundSolutions=10, bestBound=60
29.49/27.38	    
29.59/27.43	    num=145, depth=2..4, filters=577888, revisions=(1192698,useless=538581), ccks=248353964, wck=25.282, mem=92M345
29.59/27.43	    decisions=21043, wrong=10310, backtracks=2635, failedAssignments=7877, nogoods=1508, foundSolutions=10, bestBound=60
29.59/27.43	    
29.59/27.46	    num=146, depth=3..6, filters=578869, revisions=(1194534,useless=539334), ccks=248614784, wck=25.31, mem=92M345
29.59/27.46	    decisions=21079, wrong=10326, backtracks=2641, failedAssignments=7889, nogoods=1512, foundSolutions=10, bestBound=60
29.59/27.46	    
29.69/27.54	    num=147, depth=1..4, filters=580369, revisions=(1198171,useless=541249), ccks=249397140, wck=25.39, mem=92M345
29.69/27.54	    decisions=21123, wrong=10347, backtracks=2649, failedAssignments=7902, nogoods=1519, foundSolutions=10, bestBound=60
29.69/27.54	    
29.69/27.59	    num=148, depth=2..4, filters=581637, revisions=(1200813,useless=542469), ccks=249862933, wck=25.438, mem=92M345
29.69/27.59	    decisions=21163, wrong=10366, backtracks=2654, failedAssignments=7916, nogoods=1527, foundSolutions=10, bestBound=60
29.69/27.59	    
29.79/27.62	    num=149, depth=3..5, filters=582906, revisions=(1203163,useless=543413), ccks=250112073, wck=25.467, mem=92M345
29.79/27.62	    decisions=21216, wrong=10390, backtracks=2662, failedAssignments=7932, nogoods=1533, foundSolutions=10, bestBound=60
29.79/27.62	    
29.79/27.65	    num=150, depth=2..5, filters=584117, revisions=(1205713,useless=544590), ccks=250417506, wck=25.5, mem=94M961
29.79/27.65	    decisions=21260, wrong=10411, backtracks=2667, failedAssignments=7949, nogoods=1536, foundSolutions=10, bestBound=60
29.79/27.65	    
29.89/27.71	    num=151, depth=1..4, filters=585939, revisions=(1209624,useless=546480), ccks=250939619, wck=25.558, mem=94M961
29.89/27.71	    decisions=21312, wrong=10436, backtracks=2673, failedAssignments=7968, nogoods=1543, foundSolutions=10, bestBound=60
29.89/27.71	    
29.99/27.84	    num=152, depth=1..5, filters=588003, revisions=(1214438,useless=548810), ccks=252212301, wck=25.687, mem=94M961
29.99/27.84	    decisions=21372, wrong=10464, backtracks=2681, failedAssignments=7989, nogoods=1557, foundSolutions=10, bestBound=60
29.99/27.84	    
30.10/27.94	    num=153, depth=0..5, filters=590082, revisions=(1218912,useless=551011), ccks=253182465, wck=25.786, mem=94M961
30.10/27.94	    decisions=21434, wrong=10494, backtracks=2688, failedAssignments=8012, nogoods=1570, foundSolutions=10, bestBound=60
30.10/27.94	    
30.20/28.01	    num=154, depth=1..4, filters=592074, revisions=(1223462,useless=553213), ccks=253868988, wck=25.862, mem=97M577
30.20/28.01	    decisions=21496, wrong=10524, backtracks=2695, failedAssignments=8037, nogoods=1580, foundSolutions=10, bestBound=60
30.20/28.01	    
30.30/28.17	    num=155, depth=0..4, filters=594070, revisions=(1228072,useless=555483), ccks=255470666, wck=26.018, mem=97M577
30.30/28.17	    decisions=21570, wrong=10560, backtracks=2704, failedAssignments=8065, nogoods=1593, foundSolutions=10, bestBound=60
30.30/28.17	    
30.40/28.29	    num=156, depth=0..4, filters=596360, revisions=(1233368,useless=558155), ccks=256610247, wck=26.134, mem=97M577
30.40/28.29	    decisions=21654, wrong=10601, backtracks=2716, failedAssignments=8096, nogoods=1601, foundSolutions=10, bestBound=60
30.40/28.29	    
30.50/28.36	    num=157, depth=2..5, filters=599458, revisions=(1239784,useless=560997), ccks=257200339, wck=26.206, mem=100M193
30.50/28.36	    decisions=21754, wrong=10650, backtracks=2732, failedAssignments=8130, nogoods=1607, foundSolutions=10, bestBound=60
30.50/28.36	    
30.70/28.50	    num=158, depth=2..4, filters=602220, revisions=(1246243,useless=564083), ccks=258579355, wck=26.349, mem=100M193
30.70/28.50	    decisions=21850, wrong=10697, backtracks=2743, failedAssignments=8167, nogoods=1620, foundSolutions=10, bestBound=60
30.70/28.50	    
30.80/28.63	    num=159, depth=1..3, filters=605653, revisions=(1254049,useless=567994), ccks=259816600, wck=26.481, mem=100M193
30.80/28.63	    decisions=21954, wrong=10748, backtracks=2754, failedAssignments=8208, nogoods=1634, foundSolutions=10, bestBound=60
30.80/28.63	    
30.90/28.73	    num=160, depth=1..5, filters=609853, revisions=(1262792,useless=571911), ccks=260591328, wck=26.576, mem=102M809
30.90/28.73	    decisions=22089, wrong=10814, backtracks=2778, failedAssignments=8253, nogoods=1643, foundSolutions=10, bestBound=60
30.90/28.73	    
31.00/28.87	    num=161, depth=1..5, filters=614709, revisions=(1273566,useless=577224), ccks=261890072, wck=26.723, mem=102M809
31.00/28.87	    decisions=22233, wrong=10885, backtracks=2803, failedAssignments=8303, nogoods=1658, foundSolutions=10, bestBound=60
31.00/28.87	    
31.10/28.98	    num=162, depth=2..5, filters=619203, revisions=(1282981,useless=581582), ccks=262712466, wck=26.825, mem=105M425
31.10/28.98	    decisions=22379, wrong=10957, backtracks=2824, failedAssignments=8358, nogoods=1672, foundSolutions=10, bestBound=60
31.10/28.98	    
31.40/29.24	    num=163, depth=1..4, filters=623281, revisions=(1292929,useless=586585), ccks=265366269, wck=27.09, mem=105M425
31.40/29.24	    decisions=22528, wrong=11031, backtracks=2839, failedAssignments=8419, nogoods=1696, foundSolutions=10, bestBound=60
31.40/29.24	    
31.60/29.45	    num=164, depth=0..4, filters=628608, revisions=(1305546,useless=592917), ccks=267258532, wck=27.297, mem=108M41
31.60/29.45	    decisions=22696, wrong=11114, backtracks=2858, failedAssignments=8486, nogoods=1710, foundSolutions=10, bestBound=60
31.60/29.45	    
31.70/29.51	    num=165, depth=2..5, filters=633281, revisions=(1314152,useless=596369), ccks=267674545, wck=27.355, mem=108M41
31.70/29.51	    decisions=22891, wrong=11209, backtracks=2881, failedAssignments=8560, nogoods=1724, foundSolutions=10, bestBound=60
31.70/29.51	    
31.80/29.66	    num=166, depth=1..6, filters=641033, revisions=(1330220,useless=603879), ccks=268851882, wck=27.505, mem=110M657
31.80/29.66	    decisions=23129, wrong=11326, backtracks=2921, failedAssignments=8641, nogoods=1732, foundSolutions=10, bestBound=60
31.80/29.66	    
31.90/29.78	    num=167, depth=1..6, filters=648167, revisions=(1344060,useless=609807), ccks=269819857, wck=27.63, mem=113M273
31.90/29.78	    decisions=23383, wrong=11451, backtracks=2960, failedAssignments=8730, nogoods=1749, foundSolutions=10, bestBound=60
31.90/29.78	    
32.10/29.95	    num=168, depth=1..5, filters=656355, revisions=(1360905,useless=617555), ccks=271152647, wck=27.795, mem=115M889
32.10/29.95	    decisions=23674, wrong=11595, backtracks=3011, failedAssignments=8828, nogoods=1758, foundSolutions=10, bestBound=60
32.10/29.95	    
32.21/30.08	    num=169, depth=2..6, filters=664822, revisions=(1376573,useless=623741), ccks=272129121, wck=27.925, mem=118M505
32.21/30.08	    decisions=23968, wrong=11740, backtracks=3051, failedAssignments=8936, nogoods=1772, foundSolutions=10, bestBound=60
32.21/30.08	    
32.40/30.24	    num=170, depth=1..5, filters=673253, revisions=(1393888,useless=631559), ccks=273379382, wck=28.087, mem=118M505
32.40/30.24	    decisions=24290, wrong=11899, backtracks=3095, failedAssignments=9055, nogoods=1790, foundSolutions=10, bestBound=60
32.40/30.24	    
32.60/30.47	    num=171, depth=1..6, filters=682957, revisions=(1413159,useless=639775), ccks=275267253, wck=28.315, mem=121M121
32.60/30.47	    decisions=24651, wrong=12078, backtracks=3151, failedAssignments=9186, nogoods=1800, foundSolutions=10, bestBound=60
32.60/30.47	    
33.00/30.84	    num=172, depth=1..6, filters=696636, revisions=(1442845,useless=654078), ccks=278502730, wck=28.689, mem=126M353
33.00/30.84	    decisions=25054, wrong=12278, backtracks=3214, failedAssignments=9330, nogoods=1821, foundSolutions=10, bestBound=60
33.00/30.84	    
33.21/31.06	    num=173, depth=1..5, filters=707534, revisions=(1465745,useless=664943), ccks=280293051, wck=28.912, mem=128M969
33.21/31.06	    decisions=25467, wrong=12483, backtracks=3267, failedAssignments=9488, nogoods=1834, foundSolutions=10, bestBound=60
33.21/31.06	    
33.40/31.24	    num=174, depth=1..7, filters=719790, revisions=(1489449,useless=675141), ccks=281636193, wck=29.094, mem=131M585
33.40/31.24	    decisions=25921, wrong=12709, backtracks=3322, failedAssignments=9662, nogoods=1863, foundSolutions=10, bestBound=60
33.40/31.24	    
33.80/31.66	    num=175, depth=0..5, filters=734517, revisions=(1520922,useless=690254), ccks=285350564, wck=29.514, mem=136M817
33.80/31.66	    decisions=26453, wrong=12973, backtracks=3398, failedAssignments=9853, nogoods=1876, foundSolutions=10, bestBound=60
33.80/31.66	    
34.10/31.91	    num=176, depth=1..5, filters=750382, revisions=(1552106,useless=703830), ccks=287122807, wck=29.754, mem=139M433
34.10/31.91	    decisions=27001, wrong=13246, backtracks=3466, failedAssignments=10064, nogoods=1888, foundSolutions=10, bestBound=60
34.10/31.91	    
34.31/32.14	    num=177, depth=1..6, filters=764451, revisions=(1579403,useless=715765), ccks=288872099, wck=29.986, mem=144M665
34.31/32.14	    decisions=27623, wrong=13555, backtracks=3558, failedAssignments=10296, nogoods=1903, foundSolutions=10, bestBound=60
34.31/32.14	    
34.60/32.45	    num=178, depth=0..5, filters=782398, revisions=(1616181,useless=732943), ccks=291214732, wck=30.295, mem=147M281
34.60/32.45	    decisions=28304, wrong=13893, backtracks=3646, failedAssignments=10551, nogoods=1913, foundSolutions=10, bestBound=60
34.60/32.45	    
35.01/32.80	    num=179, depth=0..6, filters=801997, revisions=(1656878,useless=751782), ccks=293930943, wck=30.647, mem=152M512
35.01/32.80	    decisions=29053, wrong=14266, backtracks=3752, failedAssignments=10832, nogoods=1919, foundSolutions=10, bestBound=60
35.01/32.80	    
35.43/33.25	    num=180, depth=1..5, filters=824779, revisions=(1703649,useless=772976), ccks=297427131, wck=31.103, mem=25M697
35.43/33.25	    decisions=29894, wrong=14685, backtracks=3875, failedAssignments=11141, nogoods=1953, foundSolutions=10, bestBound=60
35.43/33.25	    
36.53/34.33	    num=181, depth=1..5, filters=850382, revisions=(1761845,useless=800608), ccks=307484936, wck=32.178, mem=36M161
36.53/34.33	    decisions=30786, wrong=15130, backtracks=3993, failedAssignments=11481, nogoods=1993, foundSolutions=10, bestBound=60
36.53/34.33	    
37.54/35.30	    num=182, depth=0..6, filters=876810, revisions=(1819309,useless=827014), ccks=316487666, wck=33.153, mem=44M9
37.54/35.30	    decisions=31776, wrong=15623, backtracks=4122, failedAssignments=11855, nogoods=2008, foundSolutions=10, bestBound=60
37.54/35.30	    
38.04/35.84	    num=183, depth=1..6, filters=907146, revisions=(1881593,useless=855339), ccks=320462826, wck=33.686, mem=49M241
38.04/35.84	    decisions=32879, wrong=16173, backtracks=4279, failedAssignments=12266, nogoods=2032, foundSolutions=10, bestBound=60
38.04/35.84	    
38.54/36.38	    num=184, depth=0..6, filters=938275, revisions=(1942089,useless=880474), ccks=324617304, wck=34.226, mem=57M89
38.54/36.38	    decisions=34071, wrong=16767, backtracks=4437, failedAssignments=12718, nogoods=2040, foundSolutions=10, bestBound=60
38.54/36.38	    
39.14/37.00	    num=185, depth=0..6, filters=972722, revisions=(2012139,useless=912350), ccks=329434313, wck=34.844, mem=67M553
39.14/37.00	    decisions=35373, wrong=17416, backtracks=4612, failedAssignments=13215, nogoods=2057, foundSolutions=10, bestBound=60
39.14/37.00	    
39.95/37.77	    num=186, depth=0..5, filters=1015834, revisions=(2100451,useless=951107), ccks=335285849, wck=35.623, mem=78M17
39.95/37.77	    decisions=36970, wrong=18213, backtracks=4874, failedAssignments=13762, nogoods=2079, foundSolutions=10, bestBound=60
39.95/37.77	    
40.55/38.37	    num=187, depth=1..6, filters=1059813, revisions=(2182684,useless=984021), ccks=339530160, wck=36.221, mem=89M340
40.55/38.37	    decisions=38612, wrong=19031, backtracks=5120, failedAssignments=14364, nogoods=2110, foundSolutions=10, bestBound=60
40.55/38.37	    
41.45/39.28	    num=188, depth=0..5, filters=1110462, revisions=(2288937,useless=1032925), ccks=346265606, wck=37.128, mem=99M804
41.45/39.28	    decisions=40455, wrong=19951, backtracks=5394, failedAssignments=15026, nogoods=2132, foundSolutions=10, bestBound=60
41.45/39.28	    
43.15/40.98	    num=189, depth=0..5, filters=1169722, revisions=(2417967,useless=1093414), ccks=361000108, wck=38.825, mem=118M116
43.15/40.98	    decisions=42395, wrong=20919, backtracks=5658, failedAssignments=15754, nogoods=2153, foundSolutions=10, bestBound=60
43.15/40.98	    
44.15/41.93	o 59
44.15/41.93	    num=190, depth=1..54, filters=1233282, revisions=(2548844,useless=1154130), ccks=367703350, wck=39.783, mem=131M196
44.15/41.93	    decisions=44601, wrong=22020, backtracks=6043, failedAssignments=16508, nogoods=2187, foundSolutions=11, bestBound=59
44.15/41.93	    
45.36/43.17	    num=191, depth=1..6, filters=1293524, revisions=(2672342,useless=1208760), ccks=377966591, wck=41.016, mem=146M892
45.36/43.17	    decisions=46920, wrong=23178, backtracks=6350, failedAssignments=17389, nogoods=2199, foundSolutions=11, bestBound=59
45.36/43.17	    
45.46/43.21	    num=192, depth=2..4, filters=1294553, revisions=(2674553,useless=1209809), ccks=378411727, wck=41.061, mem=146M892
45.46/43.21	    decisions=46953, wrong=23193, backtracks=6355, failedAssignments=17400, nogoods=2202, foundSolutions=11, bestBound=59
45.46/43.21	    
45.46/43.24	    num=193, depth=4..6, filters=1295617, revisions=(2676541,useless=1210602), ccks=378643097, wck=41.087, mem=146M892
45.46/43.24	    decisions=46990, wrong=23209, backtracks=6359, failedAssignments=17412, nogoods=2211, foundSolutions=11, bestBound=59
45.46/43.24	    
45.46/43.28	    num=194, depth=2..5, filters=1296801, revisions=(2679080,useless=1211776), ccks=379064521, wck=41.132, mem=146M892
45.46/43.28	    decisions=47028, wrong=23226, backtracks=6364, failedAssignments=17425, nogoods=2214, foundSolutions=11, bestBound=59
45.46/43.28	    
45.56/43.32	    num=195, depth=2..5, filters=1298415, revisions=(2682237,useless=1213117), ccks=379350292, wck=41.167, mem=146M892
45.56/43.32	    decisions=47078, wrong=23250, backtracks=6374, failedAssignments=17439, nogoods=2218, foundSolutions=11, bestBound=59
45.56/43.32	    
45.56/43.39	    num=196, depth=3..4, filters=1299464, revisions=(2684631,useless=1214196), ccks=380051561, wck=41.237, mem=149M508
45.56/43.39	    decisions=47117, wrong=23268, backtracks=6376, failedAssignments=17455, nogoods=2226, foundSolutions=11, bestBound=59
45.56/43.39	    
45.66/43.43	    num=197, depth=2..4, filters=1300996, revisions=(2687852,useless=1215737), ccks=380459831, wck=41.283, mem=149M508
45.66/43.43	    decisions=47175, wrong=23296, backtracks=6387, failedAssignments=17472, nogoods=2234, foundSolutions=11, bestBound=59
45.66/43.43	    
45.66/43.47	    num=198, depth=4..7, filters=1302634, revisions=(2690744,useless=1216839), ccks=380713247, wck=41.314, mem=149M508
45.66/43.47	    decisions=47235, wrong=23324, backtracks=6400, failedAssignments=17491, nogoods=2243, foundSolutions=11, bestBound=59
45.66/43.47	    
45.76/43.55	    num=199, depth=1..4, filters=1304336, revisions=(2694715,useless=1218821), ccks=381489886, wck=41.395, mem=149M508
45.76/43.55	    decisions=47286, wrong=23348, backtracks=6403, failedAssignments=17512, nogoods=2252, foundSolutions=11, bestBound=59
45.76/43.55	    
45.76/43.58	    num=200, depth=3..6, filters=1306145, revisions=(2697866,useless=1219950), ccks=381750184, wck=41.427, mem=149M508
45.76/43.58	    decisions=47353, wrong=23379, backtracks=6412, failedAssignments=17535, nogoods=2257, foundSolutions=11, bestBound=59
45.76/43.58	    
45.86/43.65	    num=201, depth=2..5, filters=1308745, revisions=(2703337,useless=1222512), ccks=382405803, wck=41.501, mem=152M124
45.86/43.65	    decisions=47432, wrong=23417, backtracks=6426, failedAssignments=17560, nogoods=2272, foundSolutions=11, bestBound=59
45.86/43.65	    
45.86/43.68	    num=202, depth=4..6, filters=1310435, revisions=(2706301,useless=1223583), ccks=382653332, wck=41.531, mem=152M124
45.86/43.68	    decisions=47504, wrong=23451, backtracks=6432, failedAssignments=17588, nogoods=2279, foundSolutions=11, bestBound=59
45.86/43.68	    
45.96/43.74	    num=203, depth=1..5, filters=1313516, revisions=(2712386,useless=1226251), ccks=383087288, wck=41.586, mem=152M124
45.96/43.74	    decisions=47605, wrong=23500, backtracks=6453, failedAssignments=17619, nogoods=2282, foundSolutions=11, bestBound=59
45.96/43.74	    
45.96/43.79	    num=204, depth=1..5, filters=1316204, revisions=(2717750,useless=1228704), ccks=383523864, wck=41.64, mem=152M124
45.96/43.79	    decisions=47712, wrong=23552, backtracks=6472, failedAssignments=17653, nogoods=2287, foundSolutions=11, bestBound=59
45.96/43.79	    
46.07/43.85	    num=205, depth=1..4, filters=1319042, revisions=(2723789,useless=1231576), ccks=384034680, wck=41.702, mem=152M586
46.07/43.85	    decisions=47811, wrong=23600, backtracks=6488, failedAssignments=17690, nogoods=2295, foundSolutions=11, bestBound=59
46.07/43.85	    
46.19/43.93	    num=206, depth=2..4, filters=1321391, revisions=(2728790,useless=1233866), ccks=384657581, wck=41.783, mem=23M126
46.19/43.93	    decisions=47913, wrong=23650, backtracks=6497, failedAssignments=17731, nogoods=2303, foundSolutions=11, bestBound=59
46.19/43.93	    
46.19/44.00	    num=207, depth=1..4, filters=1324046, revisions=(2734468,useless=1236615), ccks=385194186, wck=41.847, mem=23M126
46.19/44.00	    decisions=48028, wrong=23707, backtracks=6511, failedAssignments=17776, nogoods=2306, foundSolutions=11, bestBound=59
46.19/44.00	    
46.30/44.08	    num=208, depth=1..5, filters=1328208, revisions=(2743190,useless=1240697), ccks=385894853, wck=41.932, mem=23M126
46.30/44.08	    decisions=48167, wrong=23776, backtracks=6534, failedAssignments=17826, nogoods=2308, foundSolutions=11, bestBound=59
46.30/44.08	    
46.40/44.16	    num=209, depth=1..5, filters=1332330, revisions=(2751445,useless=1244543), ccks=386483496, wck=42.008, mem=25M745
46.40/44.16	    decisions=48335, wrong=23858, backtracks=6562, failedAssignments=17881, nogoods=2321, foundSolutions=11, bestBound=59
46.40/44.16	    
46.50/44.21	    num=210, depth=4..6, filters=1335684, revisions=(2757287,useless=1246653), ccks=386836153, wck=42.055, mem=25M745
46.50/44.21	    decisions=48488, wrong=23932, backtracks=6575, failedAssignments=17942, nogoods=2337, foundSolutions=11, bestBound=59
46.50/44.21	    
46.70/44.40	    num=211, depth=1..6, filters=1341430, revisions=(2769637,useless=1252405), ccks=388634181, wck=42.252, mem=28M364
46.70/44.40	    decisions=48664, wrong=24018, backtracks=6603, failedAssignments=18009, nogoods=2357, foundSolutions=11, bestBound=59
46.70/44.40	    
46.80/44.52	    num=212, depth=2..6, filters=1346796, revisions=(2780535,useless=1257334), ccks=389604862, wck=42.369, mem=28M364
46.80/44.52	    decisions=48867, wrong=24118, backtracks=6633, failedAssignments=18083, nogoods=2383, foundSolutions=11, bestBound=59
46.80/44.52	    
47.00/44.79	    num=213, depth=2..5, filters=1352278, revisions=(2792699,useless=1262873), ccks=392264197, wck=42.643, mem=30M983
47.00/44.79	    decisions=49066, wrong=24216, backtracks=6652, failedAssignments=18164, nogoods=2408, foundSolutions=11, bestBound=59
47.00/44.79	    
47.20/44.94	    num=214, depth=1..5, filters=1358904, revisions=(2806614,useless=1269022), ccks=393458296, wck=42.788, mem=33M602
47.20/44.94	    decisions=49308, wrong=24336, backtracks=6686, failedAssignments=18253, nogoods=2412, foundSolutions=11, bestBound=59
47.20/44.94	    
47.31/45.04	    num=215, depth=1..5, filters=1365544, revisions=(2820155,useless=1275470), ccks=394184719, wck=42.889, mem=33M602
47.31/45.04	    decisions=49586, wrong=24474, backtracks=6728, failedAssignments=18351, nogoods=2429, foundSolutions=11, bestBound=59
47.31/45.04	    
47.41/45.12	    num=216, depth=3..6, filters=1371921, revisions=(2831527,useless=1279710), ccks=394743824, wck=42.968, mem=36M222
47.41/45.12	    decisions=49860, wrong=24609, backtracks=6758, failedAssignments=18459, nogoods=2447, foundSolutions=11, bestBound=59
47.41/45.12	    
47.80/45.53	    num=217, depth=0..4, filters=1381348, revisions=(2853626,useless=1290576), ccks=398609304, wck=43.377, mem=38M841
47.80/45.53	    decisions=50175, wrong=24765, backtracks=6797, failedAssignments=18578, nogoods=2468, foundSolutions=11, bestBound=59
47.80/45.53	    
47.90/45.68	    num=218, depth=1..5, filters=1390571, revisions=(2872872,useless=1299576), ccks=399789797, wck=43.533, mem=41M460
47.90/45.68	    decisions=50533, wrong=24943, backtracks=6851, failedAssignments=18709, nogoods=2489, foundSolutions=11, bestBound=59
47.90/45.68	    
48.20/45.90	    num=219, depth=1..5, filters=1401044, revisions=(2893946,useless=1308575), ccks=401539420, wck=43.75, mem=44M79
48.20/45.90	    decisions=50906, wrong=25128, backtracks=6897, failedAssignments=18853, nogoods=2496, foundSolutions=11, bestBound=59
48.20/45.90	    
48.31/46.02	    num=220, depth=3..6, filters=1410007, revisions=(2909606,useless=1314241), ccks=402381785, wck=43.869, mem=46M699
48.31/46.02	    decisions=51303, wrong=25324, backtracks=6937, failedAssignments=19011, nogoods=2514, foundSolutions=11, bestBound=59
48.31/46.02	    
48.90/46.64	    num=221, depth=1..5, filters=1426025, revisions=(2945779,useless=1331102), ccks=408012710, wck=44.485, mem=49M318
48.90/46.64	    decisions=51825, wrong=25584, backtracks=7042, failedAssignments=19185, nogoods=2535, foundSolutions=11, bestBound=59
48.90/46.64	    
49.80/47.56	    num=222, depth=0..6, filters=1440297, revisions=(2979523,useless=1346773), ccks=417151787, wck=45.407, mem=57M175
49.80/47.56	    decisions=52339, wrong=25839, backtracks=7109, failedAssignments=19376, nogoods=2544, foundSolutions=11, bestBound=59
49.80/47.56	    
50.00/47.75	    num=223, depth=1..5, filters=1454848, revisions=(3008315,useless=1359690), ccks=418469029, wck=45.6, mem=59M795
50.00/47.75	    decisions=52915, wrong=26126, backtracks=7195, failedAssignments=19587, nogoods=2556, foundSolutions=11, bestBound=59
50.00/47.75	    
50.20/47.95	    num=224, depth=2..7, filters=1470465, revisions=(3036440,useless=1370564), ccks=419818689, wck=45.795, mem=62M414
50.20/47.95	    decisions=53520, wrong=26427, backtracks=7274, failedAssignments=19819, nogoods=2579, foundSolutions=11, bestBound=59
50.20/47.95	    
50.50/48.28	    num=225, depth=1..6, filters=1488698, revisions=(3074158,useless=1387808), ccks=422361360, wck=46.131, mem=67M652
50.50/48.28	    decisions=54186, wrong=26758, backtracks=7364, failedAssignments=20074, nogoods=2607, foundSolutions=11, bestBound=59
50.50/48.28	    
51.60/49.35	    num=226, depth=1..5, filters=1506001, revisions=(3114801,useless=1406170), ccks=432872248, wck=47.197, mem=75M510
51.60/49.35	    decisions=54870, wrong=27098, backtracks=7430, failedAssignments=20355, nogoods=2632, foundSolutions=11, bestBound=59
51.60/49.35	    
52.20/49.91	    num=227, depth=1..6, filters=1531476, revisions=(3168237,useless=1430596), ccks=437448319, wck=47.761, mem=80M749
52.20/49.91	    decisions=55748, wrong=27535, backtracks=7570, failedAssignments=20664, nogoods=2651, foundSolutions=11, bestBound=59
52.20/49.91	    
52.70/50.40	    num=228, depth=1..5, filters=1559424, revisions=(3225855,useless=1457113), ccks=441031155, wck=48.247, mem=88M606
52.70/50.40	    decisions=56718, wrong=28019, backtracks=7721, failedAssignments=21004, nogoods=2665, foundSolutions=11, bestBound=59
52.70/50.40	    
53.10/50.81	    num=229, depth=1..6, filters=1588947, revisions=(3284737,useless=1482626), ccks=443762444, wck=48.657, mem=93M845
53.10/50.81	    decisions=57757, wrong=28537, backtracks=7896, failedAssignments=21378, nogoods=2688, foundSolutions=11, bestBound=59
53.10/50.81	    
53.80/51.57	    num=230, depth=0..6, filters=1622213, revisions=(3354111,useless=1514472), ccks=450093581, wck=49.417, mem=101M702
53.80/51.57	    decisions=58918, wrong=29116, backtracks=8084, failedAssignments=21789, nogoods=2716, foundSolutions=11, bestBound=59
53.80/51.57	    
55.00/52.71	    num=231, depth=0..6, filters=1662338, revisions=(3440359,useless=1553828), ccks=460093606, wck=50.562, mem=112M179
55.00/52.71	    decisions=60212, wrong=29762, backtracks=8327, failedAssignments=22241, nogoods=2748, foundSolutions=11, bestBound=59
55.00/52.71	    
55.50/53.22	    num=232, depth=0..6, filters=1700325, revisions=(3515387,useless=1586473), ccks=463636647, wck=51.074, mem=120M37
55.50/53.22	    decisions=61563, wrong=30435, backtracks=8523, failedAssignments=22738, nogoods=2775, foundSolutions=11, bestBound=59
55.50/53.22	    
56.31/54.03	    num=233, depth=1..6, filters=1748180, revisions=(3615134,useless=1632512), ccks=469416928, wck=51.874, mem=130M514
56.31/54.03	    decisions=63157, wrong=31230, backtracks=8795, failedAssignments=23285, nogoods=2800, foundSolutions=11, bestBound=59
56.31/54.03	    
57.50/55.29	    num=234, depth=0..6, filters=1796183, revisions=(3717921,useless=1680497), ccks=480276958, wck=53.144, mem=143M610
57.50/55.29	    decisions=64770, wrong=32035, backtracks=9016, failedAssignments=23887, nogoods=2804, foundSolutions=11, bestBound=59
57.50/55.29	    
57.91/55.65	    num=235, depth=1..6, filters=1835439, revisions=(3791346,useless=1711016), ccks=482262073, wck=53.497, mem=151M468
57.91/55.65	    decisions=66518, wrong=32908, backtracks=9249, failedAssignments=24549, nogoods=2820, foundSolutions=11, bestBound=59
57.91/55.65	    
59.93/57.67	    num=236, depth=0..6, filters=1901522, revisions=(3936345,useless=1778403), ccks=499754871, wck=55.522, mem=36M53
59.93/57.67	    decisions=68638, wrong=33967, backtracks=9632, failedAssignments=25277, nogoods=2849, foundSolutions=11, bestBound=59
59.93/57.67	    
60.63/58.32	    num=237, depth=0..6, filters=1957194, revisions=(4045764,useless=1825988), ccks=503908448, wck=56.174, mem=46M395
60.63/58.32	    decisions=70789, wrong=35041, backtracks=9926, failedAssignments=26078, nogoods=2855, foundSolutions=11, bestBound=59
60.63/58.32	    
62.24/59.91	    num=238, depth=0..6, filters=2027788, revisions=(4194547,useless=1894126), ccks=516661908, wck=57.758, mem=64M495
62.24/59.91	    decisions=73210, wrong=36250, backtracks=10303, failedAssignments=26959, nogoods=2892, foundSolutions=11, bestBound=59
62.24/59.91	    
64.64/62.30	    num=239, depth=0..6, filters=2102916, revisions=(4355085,useless=1966157), ccks=537859020, wck=60.153, mem=85M180
64.64/62.30	    decisions=75943, wrong=37615, backtracks=10727, failedAssignments=27929, nogoods=2925, foundSolutions=11, bestBound=59
64.64/62.30	    
65.74/63.47	    num=240, depth=1..6, filters=2184027, revisions=(4516346,useless=2036474), ccks=545740531, wck=61.323, mem=103M279
65.74/63.47	    decisions=78907, wrong=39095, backtracks=11180, failedAssignments=28996, nogoods=2941, foundSolutions=11, bestBound=59
65.74/63.47	    
67.04/64.74	    num=241, depth=0..6, filters=2279575, revisions=(4708282,useless=2122982), ccks=554034131, wck=62.586, mem=121M379
67.04/64.74	    decisions=82268, wrong=40774, backtracks=11743, failedAssignments=30169, nogoods=2958, foundSolutions=11, bestBound=59
67.04/64.74	    
67.54/65.21	o 55
67.54/65.21	    num=242, depth=0..54, filters=2305821, revisions=(4763507,useless=2148841), ccks=557555897, wck=63.06, mem=129M136
67.54/65.21	    decisions=83140, wrong=41208, backtracks=11872, failedAssignments=30481, nogoods=2962, foundSolutions=12, bestBound=55
67.54/65.21	    
70.29/67.97	    num=243, depth=1..6, filters=2406178, revisions=(4984113,useless=2251040), ccks=581142182, wck=65.819, mem=25M670
70.29/67.97	    decisions=86924, wrong=43099, backtracks=12378, failedAssignments=31901, nogoods=2970, foundSolutions=12, bestBound=55
70.29/67.97	    
70.42/68.02	    num=244, depth=3..4, filters=2407327, revisions=(4986548,useless=2252059), ccks=581564052, wck=65.865, mem=28M219
70.42/68.02	    decisions=86956, wrong=43113, backtracks=12381, failedAssignments=31912, nogoods=2978, foundSolutions=12, bestBound=55
70.42/68.02	    
70.42/68.07	    num=245, depth=2..4, filters=2408427, revisions=(4989180,useless=2253271), ccks=582060487, wck=65.918, mem=28M219
70.42/68.07	    decisions=86988, wrong=43128, backtracks=12384, failedAssignments=31924, nogoods=2980, foundSolutions=12, bestBound=55
70.42/68.07	    
70.42/68.10	    num=246, depth=2..4, filters=2409155, revisions=(4990835,useless=2254039), ccks=582380572, wck=65.952, mem=28M219
70.42/68.10	    decisions=87018, wrong=43142, backtracks=12386, failedAssignments=31937, nogoods=2986, foundSolutions=12, bestBound=55
70.42/68.10	    
70.52/68.16	    num=247, depth=3..5, filters=2410233, revisions=(4993447,useless=2255292), ccks=582883292, wck=66.005, mem=28M219
70.52/68.16	    decisions=87055, wrong=43159, backtracks=12389, failedAssignments=31951, nogoods=2998, foundSolutions=12, bestBound=55
70.52/68.16	    
70.52/68.18	    num=248, depth=0..4, filters=2411121, revisions=(4995514,useless=2256294), ccks=583119447, wck=66.033, mem=28M219
70.52/68.18	    decisions=87093, wrong=43176, backtracks=12391, failedAssignments=31967, nogoods=3006, foundSolutions=12, bestBound=55
70.52/68.18	    
70.61/68.22	    num=249, depth=1..5, filters=2413095, revisions=(4999712,useless=2258270), ccks=583400059, wck=66.07, mem=28M219
70.61/68.22	    decisions=87153, wrong=43205, backtracks=12408, failedAssignments=31984, nogoods=3011, foundSolutions=12, bestBound=55
70.61/68.22	    
70.71/68.32	    num=250, depth=1..4, filters=2414883, revisions=(5004113,useless=2260469), ccks=584374592, wck=66.172, mem=30M768
70.71/68.32	    decisions=87205, wrong=43230, backtracks=12416, failedAssignments=32003, nogoods=3016, foundSolutions=12, bestBound=55
70.71/68.32	    
70.71/68.37	    num=251, depth=1..5, filters=2417103, revisions=(5008929,useless=2262670), ccks=584731028, wck=66.218, mem=30M768
70.71/68.37	    decisions=87279, wrong=43265, backtracks=12433, failedAssignments=32024, nogoods=3024, foundSolutions=12, bestBound=55
70.71/68.37	    
70.81/68.42	    num=252, depth=2..5, filters=2418967, revisions=(5012871,useless=2264388), ccks=585157000, wck=66.268, mem=30M768
70.81/68.42	    decisions=87342, wrong=43295, backtracks=12442, failedAssignments=32047, nogoods=3035, foundSolutions=12, bestBound=55
70.81/68.42	    
70.91/68.50	    num=253, depth=1..5, filters=2421655, revisions=(5019126,useless=2267496), ccks=585813098, wck=66.346, mem=30M768
70.91/68.50	    decisions=87432, wrong=43338, backtracks=12462, failedAssignments=32072, nogoods=3037, foundSolutions=12, bestBound=55
70.91/68.50	    
70.91/68.56	    num=254, depth=1..4, filters=2423941, revisions=(5024288,useless=2269955), ccks=586364221, wck=66.412, mem=33M317
70.91/68.56	    decisions=87504, wrong=43373, backtracks=12470, failedAssignments=32100, nogoods=3046, foundSolutions=12, bestBound=55
70.91/68.56	    
71.02/68.65	    num=255, depth=2..5, filters=2425816, revisions=(5028627,useless=2271979), ccks=587163442, wck=66.497, mem=33M317
71.02/68.65	    decisions=87577, wrong=43408, backtracks=12475, failedAssignments=32131, nogoods=3056, foundSolutions=12, bestBound=55
71.02/68.65	    
71.02/68.69	    num=256, depth=2..5, filters=2427856, revisions=(5033019,useless=2273944), ccks=587481181, wck=66.538, mem=33M317
71.02/68.69	    decisions=87662, wrong=43449, backtracks=12483, failedAssignments=32165, nogoods=3065, foundSolutions=12, bestBound=55
71.02/68.69	    
71.12/68.79	    num=257, depth=2..5, filters=2431943, revisions=(5041273,useless=2277360), ccks=588320550, wck=66.639, mem=33M317
71.12/68.79	    decisions=87784, wrong=43508, backtracks=12507, failedAssignments=32202, nogoods=3070, foundSolutions=12, bestBound=55
71.12/68.79	    
71.42/69.03	    num=258, depth=0..4, filters=2437361, revisions=(5054322,useless=2283733), ccks=590547396, wck=66.882, mem=35M866
71.42/69.03	    decisions=87923, wrong=43576, backtracks=12537, failedAssignments=32243, nogoods=3071, foundSolutions=12, bestBound=55
71.42/69.03	    
71.52/69.13	    num=259, depth=1..5, filters=2440878, revisions=(5062578,useless=2287834), ccks=591378725, wck=66.983, mem=38M415
71.52/69.13	    decisions=88043, wrong=43635, backtracks=12555, failedAssignments=32288, nogoods=3086, foundSolutions=12, bestBound=55
71.52/69.13	    
71.72/69.30	    num=260, depth=2..5, filters=2443524, revisions=(5068676,useless=2290575), ccks=593082026, wck=67.154, mem=38M415
71.72/69.30	    decisions=88165, wrong=43695, backtracks=12566, failedAssignments=32338, nogoods=3094, foundSolutions=12, bestBound=55
71.72/69.30	    
71.72/69.37	    num=261, depth=1..5, filters=2447450, revisions=(5077104,useless=2294382), ccks=593586136, wck=67.223, mem=38M415
71.72/69.37	    decisions=88316, wrong=43769, backtracks=12590, failedAssignments=32393, nogoods=3103, foundSolutions=12, bestBound=55
71.72/69.37	    
71.92/69.57	    num=262, depth=2..5, filters=2451674, revisions=(5087011,useless=2298869), ccks=595421373, wck=67.419, mem=40M964
71.92/69.57	    decisions=88466, wrong=43843, backtracks=12606, failedAssignments=32454, nogoods=3112, foundSolutions=12, bestBound=55
71.92/69.57	    
72.12/69.73	    num=263, depth=1..5, filters=2456743, revisions=(5098608,useless=2304552), ccks=596785629, wck=67.575, mem=43M513
72.12/69.73	    decisions=88646, wrong=43931, backtracks=12633, failedAssignments=32521, nogoods=3125, foundSolutions=12, bestBound=55
72.12/69.73	    
72.32/70.00	    num=264, depth=1..5, filters=2461771, revisions=(5110482,useless=2309994), ccks=599411727, wck=67.848, mem=43M513
72.32/70.00	    decisions=88849, wrong=44032, backtracks=12662, failedAssignments=32595, nogoods=3129, foundSolutions=12, bestBound=55
72.32/70.00	    
72.53/70.13	    num=265, depth=0..5, filters=2468460, revisions=(5124969,useless=2316778), ccks=600380363, wck=67.976, mem=46M62
72.53/70.13	    decisions=89083, wrong=44148, backtracks=12703, failedAssignments=32676, nogoods=3136, foundSolutions=12, bestBound=55
72.53/70.13	    
72.72/70.30	    num=266, depth=1..5, filters=2476792, revisions=(5143918,useless=2325870), ccks=601711113, wck=68.152, mem=48M611
72.72/70.30	    decisions=89347, wrong=44279, backtracks=12749, failedAssignments=32765, nogoods=3152, foundSolutions=12, bestBound=55
72.72/70.30	    
73.02/70.65	    num=267, depth=1..5, filters=2483509, revisions=(5159799,useless=2333150), ccks=604967546, wck=68.495, mem=51M160
73.02/70.65	    decisions=89613, wrong=44411, backtracks=12785, failedAssignments=32863, nogoods=3155, foundSolutions=12, bestBound=55
73.02/70.65	    
73.32/70.97	    num=268, depth=0..5, filters=2492695, revisions=(5181360,useless=2343571), ccks=607891724, wck=68.822, mem=53M709
73.32/70.97	    decisions=89897, wrong=44552, backtracks=12825, failedAssignments=32971, nogoods=3161, foundSolutions=12, bestBound=55
73.32/70.97	    
73.72/71.31	    num=269, depth=0..5, filters=2502811, revisions=(5204820,useless=2354917), ccks=610889836, wck=69.16, mem=56M258
73.72/71.31	    decisions=90236, wrong=44720, backtracks=12881, failedAssignments=33090, nogoods=3177, foundSolutions=12, bestBound=55
73.72/71.31	    
73.82/71.46	    num=270, depth=1..6, filters=2511257, revisions=(5223530,useless=2363844), ccks=611982233, wck=69.311, mem=58M808
73.82/71.46	    decisions=90588, wrong=44895, backtracks=12931, failedAssignments=33221, nogoods=3187, foundSolutions=12, bestBound=55
73.82/71.46	    
74.12/71.71	    num=271, depth=0..5, filters=2522851, revisions=(5249039,useless=2375961), ccks=613895154, wck=69.555, mem=61M357
74.12/71.71	    decisions=91012, wrong=45105, backtracks=13009, failedAssignments=33365, nogoods=3195, foundSolutions=12, bestBound=55
74.12/71.71	    
74.32/71.93	    num=272, depth=0..5, filters=2534123, revisions=(5274024,useless=2388065), ccks=615618915, wck=69.779, mem=63M906
74.32/71.93	    decisions=91450, wrong=45323, backtracks=13083, failedAssignments=33523, nogoods=3204, foundSolutions=12, bestBound=55
74.32/71.93	    
74.62/72.26	    num=273, depth=0..6, filters=2550355, revisions=(5310572,useless=2406134), ccks=618046363, wck=70.107, mem=66M455
74.62/72.26	    decisions=91958, wrong=45575, backtracks=13175, failedAssignments=33697, nogoods=3214, foundSolutions=12, bestBound=55
74.62/72.26	    
74.82/72.49	    num=274, depth=1..5, filters=2564059, revisions=(5338518,useless=2418566), ccks=619698567, wck=70.335, mem=71M553
74.82/72.49	    decisions=92470, wrong=45830, backtracks=13249, failedAssignments=33888, nogoods=3226, foundSolutions=12, bestBound=55
74.82/72.49	    
75.53/73.13	    num=275, depth=0..5, filters=2581110, revisions=(5378455,useless=2438300), ccks=625489971, wck=70.979, mem=76M651
75.53/73.13	    decisions=93071, wrong=46129, backtracks=13343, failedAssignments=34099, nogoods=3247, foundSolutions=12, bestBound=55
75.53/73.13	    
75.82/73.45	    num=276, depth=0..6, filters=2598689, revisions=(5415732,useless=2455192), ccks=627853161, wck=71.296, mem=79M200
75.82/73.45	    decisions=93717, wrong=46450, backtracks=13443, failedAssignments=34331, nogoods=3259, foundSolutions=12, bestBound=55
75.82/73.45	    
76.32/73.92	    num=277, depth=0..5, filters=2619618, revisions=(5462821,useless=2477546), ccks=631519226, wck=71.767, mem=86M847
76.32/73.92	    decisions=94405, wrong=46793, backtracks=13541, failedAssignments=34586, nogoods=3267, foundSolutions=12, bestBound=55
76.32/73.92	    
76.62/74.21	    num=278, depth=1..5, filters=2636932, revisions=(5499772,useless=2494729), ccks=633656857, wck=72.061, mem=89M396
76.62/74.21	    decisions=95148, wrong=47164, backtracks=13642, failedAssignments=34867, nogoods=3293, foundSolutions=12, bestBound=55
76.62/74.21	    
77.43/75.03	    num=279, depth=0..5, filters=2660462, revisions=(5553784,useless=2519843), ccks=640956735, wck=72.879, mem=97M43
77.43/75.03	    decisions=95988, wrong=47583, backtracks=13778, failedAssignments=35176, nogoods=3301, foundSolutions=12, bestBound=55
77.43/75.03	    
78.72/76.32	    num=280, depth=0..5, filters=2691781, revisions=(5627014,useless=2555250), ccks=652712749, wck=74.173, mem=107M239
78.72/76.32	    decisions=96960, wrong=48067, backtracks=13944, failedAssignments=35516, nogoods=3319, foundSolutions=12, bestBound=55
78.72/76.32	    
79.62/77.26	    num=281, depth=0..5, filters=2725875, revisions=(5704885,useless=2593043), ccks=660406405, wck=75.105, mem=114M886
79.62/77.26	    decisions=98065, wrong=48618, backtracks=14145, failedAssignments=35890, nogoods=3335, foundSolutions=12, bestBound=55
79.62/77.26	    
81.22/78.88	    num=282, depth=0..5, filters=2759827, revisions=(5784025,useless=2629711), ccks=675784897, wck=76.731, mem=127M632
81.22/78.88	    decisions=99271, wrong=49220, backtracks=14354, failedAssignments=36301, nogoods=3346, foundSolutions=12, bestBound=55
81.22/78.88	    
82.72/80.35	    num=283, depth=0..5, filters=2801254, revisions=(5879138,useless=2674521), ccks=688713452, wck=78.203, mem=140M377
82.72/80.35	    decisions=100570, wrong=49869, backtracks=14583, failedAssignments=36753, nogoods=3348, foundSolutions=12, bestBound=55
82.72/80.35	    
84.25/81.85	    num=284, depth=1..5, filters=2837591, revisions=(5959873,useless=2710302), ccks=702483351, wck=79.703, mem=25M626
84.25/81.85	    decisions=101954, wrong=50559, backtracks=14786, failedAssignments=37250, nogoods=3368, foundSolutions=12, bestBound=55
84.25/81.85	    
85.08/82.62	    num=285, depth=0..6, filters=2878017, revisions=(6046596,useless=2749730), ccks=708215065, wck=80.471, mem=33M157
85.08/82.62	    decisions=103469, wrong=51315, backtracks=15026, failedAssignments=37797, nogoods=3400, foundSolutions=12, bestBound=55
85.08/82.62	    
86.78/84.31	    num=286, depth=0..5, filters=2930698, revisions=(6163219,useless=2802707), ccks=723168421, wck=82.162, mem=48M220
86.78/84.31	    decisions=105256, wrong=52207, backtracks=15356, failedAssignments=38399, nogoods=3413, foundSolutions=12, bestBound=55
86.78/84.31	    
88.19/85.78	    num=287, depth=0..6, filters=2986100, revisions=(6284862,useless=2858131), ccks=735621019, wck=83.63, mem=63M283
88.19/85.78	    decisions=107150, wrong=53153, backtracks=15680, failedAssignments=39061, nogoods=3438, foundSolutions=12, bestBound=55
88.19/85.78	    
90.09/87.60	    num=288, depth=0..6, filters=3043285, revisions=(6407205,useless=2910661), ccks=751919353, wck=85.451, mem=80M857
90.09/87.60	    decisions=109204, wrong=54178, backtracks=16020, failedAssignments=39789, nogoods=3443, foundSolutions=12, bestBound=55
90.09/87.60	    
92.60/90.11	    num=289, depth=0..5, filters=3117336, revisions=(6572444,useless=2984830), ccks=774300860, wck=87.961, mem=100M941
92.60/90.11	    decisions=111588, wrong=55369, backtracks=16473, failedAssignments=40590, nogoods=3458, foundSolutions=12, bestBound=55
92.60/90.11	    
94.89/92.41	    num=290, depth=0..5, filters=3196911, revisions=(6749172,useless=3064603), ccks=794082409, wck=90.262, mem=123M536
94.89/92.41	    decisions=114206, wrong=56677, backtracks=16971, failedAssignments=41471, nogoods=3474, foundSolutions=12, bestBound=55
94.89/92.41	    
98.21/95.80	    num=291, depth=0..5, filters=3297951, revisions=(6978249,useless=3171005), ccks=824049335, wck=93.644, mem=27M992
98.21/95.80	    decisions=117272, wrong=58209, backtracks=17661, failedAssignments=42441, nogoods=3482, foundSolutions=12, bestBound=55
98.21/95.80	    
99.31/96.81	
99.31/96.81	  New Bounds: 55..54
99.31/96.81	    num=292, depth=0..5, filters=3320895, revisions=(7031446,useless=3196235), ccks=833693820, wck=94.66, mem=32M934
99.31/96.81	    decisions=117970, wrong=58559, backtracks=17827, failedAssignments=42647, foundSolutions=12, bestBound=55
99.31/96.81	    
99.31/96.81	  Global
99.31/96.81	    filters=3320895, revisions=(7031446,useless=3196235), ccks=833693820
99.31/96.81	    Stop=FULL_EXPLORATION, wrong=58559, bestBound=55, bestBoundWck=63.364, bestBoundCpu=65.129, foundSolutions=12, firstSolCpu=2.949
99.31/96.81	    wck=94.964, cpu=96.695, mem=32M934
99.31/96.81	
99.31/96.81	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>
99.31/96.81	s OPTIMUM FOUND
99.31/96.81	
99.31/96.81	d WRONG_DECISIONS 58559
99.31/96.81	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 (15011 MiB free)
  memory of node 1: 16384 MiB (15206 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391125-1568391782/watcher-4391125-1568391782 -o /tmp/evaluation-result-4391125-1568391782/solver-4391125-1568391782 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568389344-31922 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391125-1568391782.xml -cm 

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

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

solver pid=32444, runsolver pid=32441

[startup+0.105161 s]*
/proc/loadavg: 1.92 1.92 1.88 4/230 32459
/proc/meminfo: memFree=30928272/32770624 swapFree=66940856/67108860
[pid=32444] ppid=32441 vsize=10659884 memory=28108 CPUtime=0.14 cores=0,2,4,6
/proc/32444/stat : 32444 (java) S 32441 32444 29917 0 -1 1077944320 5521 0 0 0 13 1 0 0 20 0 15 0 415416889 10915721216 7027 33554432000 4194304 4196468 140737474252112 140737474234656 139635155484407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
/proc/32444/statm: 2664971 7027 2886 1 0 2627468 0
[pid=32444/tid=32446] ppid=32441 vsize=10659884 memory=-8197568871503140226 CPUtime=0.09 cores=0,2,4,6
/proc/32444/task/32446/stat : 32446 (java) R 32441 32444 29917 0 -1 4202560 3268 0 0 0 9 0 0 0 20 0 15 0 415416889 10915721216 7027 33554432000 4194304 4196468 140737474252112 139635159706528 139635138468768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32447] ppid=32441 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32447/stat : 32447 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416890 10915721216 7027 33554432000 4194304 4196468 140737474252112 139635092175504 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32448] ppid=32441 vsize=10659884 memory=140100554675840 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32448/stat : 32448 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416890 10915721216 7027 33554432000 4194304 4196468 140737474252112 139634761656848 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32449] ppid=32441 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32449/stat : 32449 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416890 10915721216 7027 33554432000 4194304 4196468 140737474252112 139634760604048 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32450] ppid=32441 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32450/stat : 32450 (java) S 32441 32444 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415416890 10915721216 7027 33554432000 4194304 4196468 140737474252112 139634759551248 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32451] ppid=32441 vsize=10659884 memory=140100554675840 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32451/stat : 32451 (java) S 32441 32444 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415416891 10915721216 7027 33554432000 4194304 4196468 140737474252112 139634647419760 139635155495554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32452] ppid=32441 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32452/stat : 32452 (java) S 32441 32444 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415416891 10915721216 7027 33554432000 4194304 4196468 140737474252112 139634646365728 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32453] ppid=32441 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32453/stat : 32453 (java) S 32441 32444 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415416892 10915721216 7027 33554432000 4194304 4196468 140737474252112 139634645312880 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32454] ppid=32441 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32454/stat : 32454 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415416894 10915721216 7027 33554432000 4194304 4196468 140737474252112 139634644261200 139635155503003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32455] ppid=32441 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32455/stat : 32455 (java) S 32441 32444 29917 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 15 0 415416894 10915721216 7027 33554432000 4194304 4196468 140737474252112 139634643208560 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32456] ppid=32441 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32456/stat : 32456 (java) S 32441 32444 29917 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 415416894 10915721216 7027 33554432000 4194304 4196468 140737474252112 139634642155760 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32457] ppid=32441 vsize=10659884 memory=140100554675840 CPUtime=0.02 cores=0,2,4,6
/proc/32444/task/32457/stat : 32457 (java) R 32441 32444 29917 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 15 0 415416894 10915721216 7027 33554432000 4194304 4196468 140737474252112 139634641100768 139635155505754 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32458] ppid=32441 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32458/stat : 32458 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415416894 10915721216 7027 33554432000 4194304 4196468 140737474252112 139634640050400 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32459] ppid=32441 vsize=10659884 memory=140100554675840 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32459/stat : 32459 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416895 10915721216 7027 33554432000 4194304 4196468 140737474252112 139634638998704 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28108 KiB

[startup+0.210987 s]*
/proc/loadavg: 1.92 1.92 1.88 4/230 32459
/proc/meminfo: memFree=30915960/32770624 swapFree=66940856/67108860
[pid=32444] ppid=32441 vsize=10659884 memory=37644 CPUtime=0.32 cores=0,2,4,6
/proc/32444/stat : 32444 (java) S 32441 32444 29917 0 -1 1077944320 9196 0 0 0 30 2 0 0 20 0 15 0 415416889 10915721216 9411 33554432000 4194304 4196468 140737474252112 140737474234656 139635155484407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
/proc/32444/statm: 2664971 9411 2989 1 0 2627468 0
[pid=32444/tid=32446] ppid=32441 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/32444/task/32446/stat : 32446 (java) R 32441 32444 29917 0 -1 4202560 6124 0 0 0 18 2 0 0 20 0 15 0 415416889 10915721216 9411 33554432000 4194304 4196468 140737474252112 139635159710768 139635155506333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32447] ppid=32441 vsize=10659884 memory=342 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32447/stat : 32447 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416890 10915721216 9411 33554432000 4194304 4196468 140737474252112 139635092175504 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32448] ppid=32441 vsize=10659884 memory=140100554706040 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32448/stat : 32448 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416890 10915721216 9411 33554432000 4194304 4196468 140737474252112 139634761656848 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32449] ppid=32441 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32449/stat : 32449 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416890 10915721216 9411 33554432000 4194304 4196468 140737474252112 139634760604048 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32450] ppid=32441 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32450/stat : 32450 (java) S 32441 32444 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415416890 10915721216 9411 33554432000 4194304 4196468 140737474252112 139634759551248 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32451] ppid=32441 vsize=10659884 memory=140100554675840 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32451/stat : 32451 (java) S 32441 32444 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415416891 10915721216 9411 33554432000 4194304 4196468 140737474252112 139634647419760 139635155495554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32452] ppid=32441 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32452/stat : 32452 (java) S 32441 32444 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415416891 10915721216 9411 33554432000 4194304 4196468 140737474252112 139634646365728 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32453] ppid=32441 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32453/stat : 32453 (java) S 32441 32444 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415416892 10915721216 9411 33554432000 4194304 4196468 140737474252112 139634645312880 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32454] ppid=32441 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32454/stat : 32454 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415416894 10915721216 9411 33554432000 4194304 4196468 140737474252112 139634644261200 139635155503003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32455] ppid=32441 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32444/task/32455/stat : 32455 (java) S 32441 32444 29917 0 -1 1077944384 747 0 0 0 3 0 0 0 20 0 15 0 415416894 10915721216 9411 33554432000 4194304 4196468 140737474252112 139634643208560 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32456] ppid=32441 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32444/task/32456/stat : 32456 (java) S 32441 32444 29917 0 -1 1077944384 242 0 0 0 2 0 0 0 20 0 15 0 415416894 10915721216 9411 33554432000 4194304 4196468 140737474252112 139634642155760 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32457] ppid=32441 vsize=10659884 memory=140100554675840 CPUtime=0.05 cores=0,2,4,6
/proc/32444/task/32457/stat : 32457 (java) S 32441 32444 29917 0 -1 1077944384 723 0 0 0 5 0 0 0 20 0 15 0 415416894 10915721216 9411 33554432000 4194304 4196468 140737474252112 139634641102960 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32458] ppid=32441 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32458/stat : 32458 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415416894 10915721216 9411 33554432000 4194304 4196468 140737474252112 139634640050400 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32459] ppid=32441 vsize=10659884 memory=140100554675840 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32459/stat : 32459 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416895 10915721216 9411 33554432000 4194304 4196468 140737474252112 139634638998704 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37644 KiB

[startup+0.310332 s]*
/proc/loadavg: 1.92 1.92 1.88 3/230 32459
/proc/meminfo: memFree=30914148/32770624 swapFree=66940856/67108860
[pid=32444] ppid=32441 vsize=10659884 memory=40708 CPUtime=0.47 cores=0,2,4,6
/proc/32444/stat : 32444 (java) S 32441 32444 29917 0 -1 1077944320 9395 0 0 0 44 3 0 0 20 0 15 0 415416889 10915721216 10177 33554432000 4194304 4196468 140737474252112 140737474234656 139635155484407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
/proc/32444/statm: 2664971 10177 3020 1 0 2627468 0
[pid=32444/tid=32446] ppid=32441 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/32444/task/32446/stat : 32446 (java) R 32441 32444 29917 0 -1 4202560 6256 0 0 0 28 2 0 0 20 0 15 0 415416889 10915721216 10177 33554432000 4194304 4196468 140737474252112 139635159714656 139635155506333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32447] ppid=32441 vsize=10659884 memory=4296910614 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32447/stat : 32447 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416890 10915721216 10177 33554432000 4194304 4196468 140737474252112 139635092175504 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32448] ppid=32441 vsize=10659884 memory=140100554706014 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32448/stat : 32448 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416890 10915721216 10177 33554432000 4194304 4196468 140737474252112 139634761656848 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32449] ppid=32441 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32449/stat : 32449 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416890 10915721216 10177 33554432000 4194304 4196468 140737474252112 139634760604048 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32450] ppid=32441 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32450/stat : 32450 (java) S 32441 32444 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415416890 10915721216 10177 33554432000 4194304 4196468 140737474252112 139634759551248 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32451] ppid=32441 vsize=10659884 memory=140100554675840 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32451/stat : 32451 (java) S 32441 32444 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415416891 10915721216 10177 33554432000 4194304 4196468 140737474252112 139634647419760 139635155495554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32452] ppid=32441 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32452/stat : 32452 (java) S 32441 32444 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415416891 10915721216 10177 33554432000 4194304 4196468 140737474252112 139634646365728 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32453] ppid=32441 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32453/stat : 32453 (java) S 32441 32444 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415416892 10915721216 10177 33554432000 4194304 4196468 140737474252112 139634645312880 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32454] ppid=32441 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32454/stat : 32454 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415416894 10915721216 10177 33554432000 4194304 4196468 140737474252112 139634644261200 139635155503003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32455] ppid=32441 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/32444/task/32455/stat : 32455 (java) S 32441 32444 29917 0 -1 1077944384 763 0 0 0 4 0 0 0 20 0 15 0 415416894 10915721216 10177 33554432000 4194304 4196468 140737474252112 139634643208560 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32456] ppid=32441 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/32444/task/32456/stat : 32456 (java) S 32441 32444 29917 0 -1 1077944384 273 0 0 0 3 0 0 0 20 0 15 0 415416894 10915721216 10177 33554432000 4194304 4196468 140737474252112 139634642155760 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32457] ppid=32441 vsize=10659884 memory=140100554675840 CPUtime=0.07 cores=0,2,4,6
/proc/32444/task/32457/stat : 32457 (java) S 32441 32444 29917 0 -1 1077944384 743 0 0 0 7 0 0 0 20 0 15 0 415416894 10915721216 10177 33554432000 4194304 4196468 140737474252112 139634641102960 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32458] ppid=32441 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32458/stat : 32458 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415416894 10915721216 10177 33554432000 4194304 4196468 140737474252112 139634640050400 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32459] ppid=32441 vsize=10659884 memory=140100554675840 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32459/stat : 32459 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416895 10915721216 10177 33554432000 4194304 4196468 140737474252112 139634638998704 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40708 KiB

[startup+0.700709 s]
/proc/loadavg: 1.92 1.92 1.88 4/230 32459
/proc/meminfo: memFree=30904336/32770624 swapFree=66940856/67108860
[pid=32444] ppid=32441 vsize=10661932 memory=63824 CPUtime=1.1 cores=0,2,4,6
/proc/32444/stat : 32444 (java) S 32441 32444 29917 0 -1 1077944320 13000 0 0 0 106 4 0 0 20 0 15 0 415416889 10917818368 15956 33554432000 4194304 4196468 140737474252112 140737474234656 139635155484407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
/proc/32444/statm: 2665483 15956 3068 1 0 2627980 0
[pid=32444/tid=32446] ppid=32441 vsize=10661932 memory=2112 CPUtime=0.68 cores=0,2,4,6
/proc/32444/task/32446/stat : 32446 (java) R 32441 32444 29917 0 -1 4202560 8820 0 0 0 65 3 0 0 20 0 15 0 415416889 10917818368 15956 33554432000 4194304 4196468 140737474252112 139635159707488 139635135761232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32447] ppid=32441 vsize=10661932 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32447/stat : 32447 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416890 10917818368 15956 33554432000 4194304 4196468 140737474252112 139635092175504 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32448] ppid=32441 vsize=10661932 memory=23484 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32448/stat : 32448 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416890 10917818368 15956 33554432000 4194304 4196468 140737474252112 139634761656848 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32449] ppid=32441 vsize=10661932 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32449/stat : 32449 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416890 10917818368 15956 33554432000 4194304 4196468 140737474252112 139634760604048 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32450] ppid=32441 vsize=10661932 memory=532 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32450/stat : 32450 (java) S 32441 32444 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415416890 10917818368 15956 33554432000 4194304 4196468 140737474252112 139634759551248 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32451] ppid=32441 vsize=10661932 memory=928 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32451/stat : 32451 (java) S 32441 32444 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415416891 10917818368 15956 33554432000 4194304 4196468 140737474252112 139634647419760 139635155495554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32452] ppid=32441 vsize=10661932 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32452/stat : 32452 (java) S 32441 32444 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415416891 10917818368 15956 33554432000 4194304 4196468 140737474252112 139634646365728 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32453] ppid=32441 vsize=10661932 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32453/stat : 32453 (java) S 32441 32444 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415416892 10917818368 15956 33554432000 4194304 4196468 140737474252112 139634645312880 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32454] ppid=32441 vsize=10661932 memory=7086240636162691427 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32454/stat : 32454 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415416894 10917818368 15956 33554432000 4194304 4196468 140737474252112 139634644261200 139635155503003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32455] ppid=32441 vsize=10661932 memory=7740110344165609817 CPUtime=0.12 cores=0,2,4,6
/proc/32444/task/32455/stat : 32455 (java) S 32441 32444 29917 0 -1 1077944384 1071 0 0 0 12 0 0 0 20 0 15 0 415416894 10917818368 15956 33554432000 4194304 4196468 140737474252112 139634643208560 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32456] ppid=32441 vsize=10661932 memory=5787221536915148880 CPUtime=0.1 cores=0,2,4,6
/proc/32444/task/32456/stat : 32456 (java) R 32441 32444 29917 0 -1 4202560 521 0 0 0 10 0 0 0 20 0 15 0 415416894 10917818368 15956 33554432000 4194304 4196468 140737474252112 139634642155760 139635133373200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32457] ppid=32441 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/32444/task/32457/stat : 32457 (java) S 32441 32444 29917 0 -1 1077944384 1228 0 0 0 18 0 0 0 20 0 15 0 415416894 10917818368 15956 33554432000 4194304 4196468 140737474252112 139634641102960 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32458] ppid=32441 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32458/stat : 32458 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415416894 10917818368 15956 33554432000 4194304 4196468 140737474252112 139634640050400 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32459] ppid=32441 vsize=10661932 memory=3996 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32459/stat : 32459 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416895 10917818368 15956 33554432000 4194304 4196468 140737474252112 139634638998704 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63824 KiB

[startup+1.50074 s]
/proc/loadavg: 1.92 1.92 1.88 3/230 32459
/proc/meminfo: memFree=30879212/32770624 swapFree=66940856/67108860
[pid=32444] ppid=32441 vsize=10663980 memory=75936 CPUtime=2 cores=0,2,4,6
/proc/32444/stat : 32444 (java) S 32441 32444 29917 0 -1 1077944320 18599 0 0 0 194 6 0 0 20 0 15 0 415416889 10919915520 18984 33554432000 4194304 4196468 140737474252112 140737474234656 139635155484407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
/proc/32444/statm: 2665995 18984 3097 1 0 2628492 0
[pid=32444/tid=32446] ppid=32441 vsize=10663980 memory=72100 CPUtime=1.47 cores=0,2,4,6
/proc/32444/task/32446/stat : 32446 (java) R 32441 32444 29917 0 -1 4202560 13048 0 0 0 143 4 0 0 20 0 15 0 415416889 10919915520 18984 33554432000 4194304 4196468 140737474252112 139635159716432 139635137047936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32447] ppid=32441 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32447/stat : 32447 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416890 10919915520 18984 33554432000 4194304 4196468 140737474252112 139635092175504 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32448] ppid=32441 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32448/stat : 32448 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416890 10919915520 18984 33554432000 4194304 4196468 140737474252112 139634761656848 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32449] ppid=32441 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32449/stat : 32449 (java) S 32441 32444 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415416890 10919915520 18984 33554432000 4194304 4196468 140737474252112 139634760604048 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32450] ppid=32441 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32450/stat : 32450 (java) S 32441 32444 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415416890 10919915520 18984 33554432000 4194304 4196468 140737474252112 139634759551248 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32451] ppid=32441 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32451/stat : 32451 (java) S 32441 32444 29917 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 415416891 10919915520 18984 33554432000 4194304 4196468 140737474252112 139634647419760 139635155495554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0

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

[startup+94.4006 s]
/proc/loadavg: 1.78 1.88 1.87 3/230 32466
/proc/meminfo: memFree=30636916/32770624 swapFree=66940856/67108860
[pid=32444] ppid=32441 vsize=10748324 memory=237276 CPUtime=96.88 cores=0,2,4,6
/proc/32444/stat : 32444 (java) S 32441 32444 29917 0 -1 1077944320 55342 0 0 0 9671 17 0 0 20 0 16 0 415416889 11006283776 59319 33554432000 4194304 4196468 140737474252112 140737474234656 139635155484407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
/proc/32444/statm: 2687081 59319 3370 1 0 2647217 0
[pid=32444/tid=32446] ppid=32441 vsize=10748324 memory=6791534058613427641 CPUtime=1.86 cores=0,2,4,6
/proc/32444/task/32446/stat : 32446 (java) S 32441 32444 29917 0 -1 1077944384 15298 0 0 0 181 5 0 0 20 0 16 0 415416889 11006283776 59319 33554432000 4194304 4196468 140737474252112 139635159727280 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32447] ppid=32441 vsize=10748324 memory=988 CPUtime=0.06 cores=0,2,4,6
/proc/32444/task/32447/stat : 32447 (java) S 32441 32444 29917 0 -1 1077944384 573 0 0 0 6 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139635092175504 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32448] ppid=32441 vsize=10748324 memory=1428 CPUtime=0.06 cores=0,2,4,6
/proc/32444/task/32448/stat : 32448 (java) S 32441 32444 29917 0 -1 1077944384 2636 0 0 0 6 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634761656848 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32449] ppid=32441 vsize=10748324 memory=1772 CPUtime=0.06 cores=0,2,4,6
/proc/32444/task/32449/stat : 32449 (java) S 32441 32444 29917 0 -1 1077944384 1119 0 0 0 6 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634760604048 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32450] ppid=32441 vsize=10748324 memory=1056 CPUtime=0.06 cores=0,2,4,6
/proc/32444/task/32450/stat : 32450 (java) S 32441 32444 29917 0 -1 1077944384 580 0 0 0 6 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634759551248 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32451] ppid=32441 vsize=10748324 memory=1556 CPUtime=0.02 cores=0,2,4,6
/proc/32444/task/32451/stat : 32451 (java) S 32441 32444 29917 0 -1 1077944384 2096 0 0 0 2 0 0 0 20 0 16 0 415416891 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634647419760 139635155495554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32452] ppid=32441 vsize=10748324 memory=11340 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32452/stat : 32452 (java) S 32441 32444 29917 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 415416891 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634646365792 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32453] ppid=32441 vsize=10748324 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32453/stat : 32453 (java) S 32441 32444 29917 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 415416892 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634645312896 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32454] ppid=32441 vsize=10748324 memory=1088 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32454/stat : 32454 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634644261200 139635155503003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32455] ppid=32441 vsize=10748324 memory=988 CPUtime=0.92 cores=0,2,4,6
/proc/32444/task/32455/stat : 32455 (java) S 32441 32444 29917 0 -1 1077944384 7046 0 0 0 91 1 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634643208560 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32456] ppid=32441 vsize=10748324 memory=780 CPUtime=0.73 cores=0,2,4,6
/proc/32444/task/32456/stat : 32456 (java) S 32441 32444 29917 0 -1 1077944384 5092 0 0 0 72 1 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634642155760 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32457] ppid=32441 vsize=10748324 memory=5972 CPUtime=0.59 cores=0,2,4,6
/proc/32444/task/32457/stat : 32457 (java) S 32441 32444 29917 0 -1 1077944384 8813 0 0 0 58 1 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634641102960 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32458] ppid=32441 vsize=10748324 memory=624 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32458/stat : 32458 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634640050400 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32459] ppid=32441 vsize=10748324 memory=3996 CPUtime=0.02 cores=0,2,4,6
/proc/32444/task/32459/stat : 32459 (java) S 32441 32444 29917 0 -1 1077944384 365 0 0 0 1 1 0 0 20 0 16 0 415416895 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634638998704 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32460] ppid=32441 vsize=10748324 memory=2832 CPUtime=92.4 cores=0,2,4,6
/proc/32444/task/32460/stat : 32460 (java) R 32441 32444 29917 0 -1 4202560 10289 0 0 0 9237 3 0 0 20 0 16 0 415417077 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634554159248 139634776900608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
Current children cumulated CPU time: 96.88 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 237276 KiB

[startup+96.0006 s]*
/proc/loadavg: 1.78 1.88 1.87 3/231 32468
/proc/meminfo: memFree=30636960/32770624 swapFree=66940856/67108860
[pid=32444] ppid=32441 vsize=10748324 memory=237276 CPUtime=98.52 cores=0,2,4,6
/proc/32444/stat : 32444 (java) S 32441 32444 29917 0 -1 1077944320 55351 0 0 0 9835 17 0 0 20 0 16 0 415416889 11006283776 59319 33554432000 4194304 4196468 140737474252112 140737474234656 139635155484407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
/proc/32444/statm: 2687081 59319 3370 1 0 2647217 0
[pid=32444/tid=32446] ppid=32441 vsize=10748324 memory=11340 CPUtime=1.86 cores=0,2,4,6
/proc/32444/task/32446/stat : 32446 (java) S 32441 32444 29917 0 -1 1077944384 15298 0 0 0 181 5 0 0 20 0 16 0 415416889 11006283776 59319 33554432000 4194304 4196468 140737474252112 139635159727280 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32447] ppid=32441 vsize=10748324 memory=1532 CPUtime=0.07 cores=0,2,4,6
/proc/32444/task/32447/stat : 32447 (java) S 32441 32444 29917 0 -1 1077944384 574 0 0 0 7 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139635092175504 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32448] ppid=32441 vsize=10748324 memory=1088 CPUtime=0.07 cores=0,2,4,6
/proc/32444/task/32448/stat : 32448 (java) S 32441 32444 29917 0 -1 1077944384 2637 0 0 0 7 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634761656848 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32449] ppid=32441 vsize=10748324 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/32444/task/32449/stat : 32449 (java) S 32441 32444 29917 0 -1 1077944384 1120 0 0 0 7 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634760604048 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32450] ppid=32441 vsize=10748324 memory=1720 CPUtime=0.07 cores=0,2,4,6
/proc/32444/task/32450/stat : 32450 (java) S 32441 32444 29917 0 -1 1077944384 583 0 0 0 7 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634759551248 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32451] ppid=32441 vsize=10748324 memory=1976 CPUtime=0.02 cores=0,2,4,6
/proc/32444/task/32451/stat : 32451 (java) S 32441 32444 29917 0 -1 1077944384 2098 0 0 0 2 0 0 0 20 0 16 0 415416891 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634647419760 139635155495554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32452] ppid=32441 vsize=10748324 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32452/stat : 32452 (java) S 32441 32444 29917 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 415416891 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634646365792 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32453] ppid=32441 vsize=10748324 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32453/stat : 32453 (java) S 32441 32444 29917 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 415416892 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634645312896 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32454] ppid=32441 vsize=10748324 memory=800 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32454/stat : 32454 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634644261200 139635155503003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32455] ppid=32441 vsize=10748324 memory=1764 CPUtime=0.92 cores=0,2,4,6
/proc/32444/task/32455/stat : 32455 (java) S 32441 32444 29917 0 -1 1077944384 7046 0 0 0 91 1 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634643208560 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32456] ppid=32441 vsize=10748324 memory=237276 CPUtime=0.73 cores=0,2,4,6
/proc/32444/task/32456/stat : 32456 (java) S 32441 32444 29917 0 -1 1077944384 5092 0 0 0 72 1 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634642155760 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32457] ppid=32441 vsize=10748324 memory=237276 CPUtime=0.59 cores=0,2,4,6
/proc/32444/task/32457/stat : 32457 (java) S 32441 32444 29917 0 -1 1077944384 8813 0 0 0 58 1 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634641102960 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32458] ppid=32441 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32458/stat : 32458 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634640050400 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32459] ppid=32441 vsize=10748324 memory=1404 CPUtime=0.02 cores=0,2,4,6
/proc/32444/task/32459/stat : 32459 (java) S 32441 32444 29917 0 -1 1077944384 365 0 0 0 1 1 0 0 20 0 16 0 415416895 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634638998704 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32460] ppid=32441 vsize=10748324 memory=2980 CPUtime=94 cores=0,2,4,6
/proc/32444/task/32460/stat : 32460 (java) R 32441 32444 29917 0 -1 4202560 10290 0 0 0 9397 3 0 0 20 0 16 0 415417077 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634554167136 139634776955015 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
Current children cumulated CPU time: 98.52 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 237276 KiB

[startup+96.4006 s]
/proc/loadavg: 1.78 1.88 1.87 3/231 32468
/proc/meminfo: memFree=30636960/32770624 swapFree=66940856/67108860
[pid=32444] ppid=32441 vsize=10748324 memory=237276 CPUtime=98.91 cores=0,2,4,6
/proc/32444/stat : 32444 (java) S 32441 32444 29917 0 -1 1077944320 55351 0 0 0 9874 17 0 0 20 0 16 0 415416889 11006283776 59319 33554432000 4194304 4196468 140737474252112 140737474234656 139635155484407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
/proc/32444/statm: 2687081 59319 3370 1 0 2647217 0
[pid=32444/tid=32446] ppid=32441 vsize=10748324 memory=1764 CPUtime=1.86 cores=0,2,4,6
/proc/32444/task/32446/stat : 32446 (java) S 32441 32444 29917 0 -1 1077944384 15298 0 0 0 181 5 0 0 20 0 16 0 415416889 11006283776 59319 33554432000 4194304 4196468 140737474252112 139635159727280 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32447] ppid=32441 vsize=10748324 memory=111628 CPUtime=0.07 cores=0,2,4,6
/proc/32444/task/32447/stat : 32447 (java) S 32441 32444 29917 0 -1 1077944384 574 0 0 0 7 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139635092175504 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32448] ppid=32441 vsize=10748324 memory=800 CPUtime=0.07 cores=0,2,4,6
/proc/32444/task/32448/stat : 32448 (java) S 32441 32444 29917 0 -1 1077944384 2637 0 0 0 7 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634761656848 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32449] ppid=32441 vsize=10748324 memory=1988 CPUtime=0.07 cores=0,2,4,6
/proc/32444/task/32449/stat : 32449 (java) S 32441 32444 29917 0 -1 1077944384 1120 0 0 0 7 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634760604048 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32450] ppid=32441 vsize=10748324 memory=988 CPUtime=0.07 cores=0,2,4,6
/proc/32444/task/32450/stat : 32450 (java) S 32441 32444 29917 0 -1 1077944384 583 0 0 0 7 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634759551248 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32451] ppid=32441 vsize=10748324 memory=1428 CPUtime=0.02 cores=0,2,4,6
/proc/32444/task/32451/stat : 32451 (java) S 32441 32444 29917 0 -1 1077944384 2098 0 0 0 2 0 0 0 20 0 16 0 415416891 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634647419760 139635155495554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32452] ppid=32441 vsize=10748324 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32452/stat : 32452 (java) S 32441 32444 29917 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 415416891 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634646365792 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32453] ppid=32441 vsize=10748324 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32453/stat : 32453 (java) S 32441 32444 29917 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 415416892 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634645312896 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32454] ppid=32441 vsize=10748324 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32454/stat : 32454 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634644261200 139635155503003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32455] ppid=32441 vsize=10748324 memory=11340 CPUtime=0.92 cores=0,2,4,6
/proc/32444/task/32455/stat : 32455 (java) S 32441 32444 29917 0 -1 1077944384 7046 0 0 0 91 1 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634643208560 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32456] ppid=32441 vsize=10748324 memory=1532 CPUtime=0.73 cores=0,2,4,6
/proc/32444/task/32456/stat : 32456 (java) S 32441 32444 29917 0 -1 1077944384 5092 0 0 0 72 1 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634642155760 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32457] ppid=32441 vsize=10748324 memory=1088 CPUtime=0.59 cores=0,2,4,6
/proc/32444/task/32457/stat : 32457 (java) S 32441 32444 29917 0 -1 1077944384 8813 0 0 0 58 1 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634641102960 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32458] ppid=32441 vsize=10748324 memory=988 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32458/stat : 32458 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634640050400 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32459] ppid=32441 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/32444/task/32459/stat : 32459 (java) S 32441 32444 29917 0 -1 1077944384 365 0 0 0 1 1 0 0 20 0 16 0 415416895 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634638998704 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32460] ppid=32441 vsize=10748324 memory=1988 CPUtime=94.39 cores=0,2,4,6
/proc/32444/task/32460/stat : 32460 (java) R 32441 32444 29917 0 -1 4202560 10290 0 0 0 9436 3 0 0 20 0 16 0 415417077 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634554167136 139634776900615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
Current children cumulated CPU time: 98.91 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 237276 KiB

[startup+96.8006 s]
/proc/loadavg: 1.78 1.88 1.87 3/231 32468
/proc/meminfo: memFree=30636960/32770624 swapFree=66940856/67108860
[pid=32444] ppid=32441 vsize=10748324 memory=237276 CPUtime=99.31 cores=0,2,4,6
/proc/32444/stat : 32444 (java) S 32441 32444 29917 0 -1 1077944320 55351 0 0 0 9914 17 0 0 20 0 16 0 415416889 11006283776 59319 33554432000 4194304 4196468 140737474252112 140737474234656 139635155484407 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
/proc/32444/statm: 2687081 59319 3370 1 0 2647217 0
[pid=32444/tid=32446] ppid=32441 vsize=10748324 memory=237276 CPUtime=1.86 cores=0,2,4,6
/proc/32444/task/32446/stat : 32446 (java) S 32441 32444 29917 0 -1 1077944384 15298 0 0 0 181 5 0 0 20 0 16 0 415416889 11006283776 59319 33554432000 4194304 4196468 140737474252112 139635159727280 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32447] ppid=32441 vsize=10748324 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/32444/task/32447/stat : 32447 (java) S 32441 32444 29917 0 -1 1077944384 574 0 0 0 7 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139635092175504 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32448] ppid=32441 vsize=10748324 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/32444/task/32448/stat : 32448 (java) S 32441 32444 29917 0 -1 1077944384 2637 0 0 0 7 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634761656848 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32449] ppid=32441 vsize=10748324 memory=1720 CPUtime=0.07 cores=0,2,4,6
/proc/32444/task/32449/stat : 32449 (java) S 32441 32444 29917 0 -1 1077944384 1120 0 0 0 7 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634760604048 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32450] ppid=32441 vsize=10748324 memory=1976 CPUtime=0.07 cores=0,2,4,6
/proc/32444/task/32450/stat : 32450 (java) S 32441 32444 29917 0 -1 1077944384 583 0 0 0 7 0 0 0 20 0 16 0 415416890 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634759551248 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32451] ppid=32441 vsize=10748324 memory=2432 CPUtime=0.02 cores=0,2,4,6
/proc/32444/task/32451/stat : 32451 (java) S 32441 32444 29917 0 -1 1077944384 2098 0 0 0 2 0 0 0 20 0 16 0 415416891 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634647419760 139635155495554 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32452] ppid=32441 vsize=10748324 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32452/stat : 32452 (java) S 32441 32444 29917 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 415416891 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634646365792 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32453] ppid=32441 vsize=10748324 memory=237276 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32453/stat : 32453 (java) S 32441 32444 29917 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 415416892 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634645312896 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32454] ppid=32441 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32454/stat : 32454 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634644261200 139635155503003 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32455] ppid=32441 vsize=10748324 memory=14012 CPUtime=0.92 cores=0,2,4,6
/proc/32444/task/32455/stat : 32455 (java) S 32441 32444 29917 0 -1 1077944384 7046 0 0 0 91 1 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634643208560 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32456] ppid=32441 vsize=10748324 memory=2112 CPUtime=0.73 cores=0,2,4,6
/proc/32444/task/32456/stat : 32456 (java) S 32441 32444 29917 0 -1 1077944384 5092 0 0 0 72 1 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634642155760 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32457] ppid=32441 vsize=10748324 memory=237276 CPUtime=0.59 cores=0,2,4,6
/proc/32444/task/32457/stat : 32457 (java) S 32441 32444 29917 0 -1 1077944384 8813 0 0 0 58 1 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634641102960 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32458] ppid=32441 vsize=10748324 memory=237276 CPUtime=0 cores=0,2,4,6
/proc/32444/task/32458/stat : 32458 (java) S 32441 32444 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415416894 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634640050400 139635155494613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32459] ppid=32441 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/32444/task/32459/stat : 32459 (java) S 32441 32444 29917 0 -1 1077944384 365 0 0 0 1 1 0 0 20 0 16 0 415416895 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634638998704 139635155495554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
[pid=32444/tid=32460] ppid=32441 vsize=10748324 memory=1404 CPUtime=94.79 cores=0,2,4,6
/proc/32444/task/32460/stat : 32460 (java) R 32441 32444 29917 0 -1 4202560 10290 0 0 0 9476 3 0 0 20 0 16 0 415417077 11006283776 59319 33554432000 4194304 4196468 140737474252112 139634554167136 139634777259845 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35913728 140737474253835 140737474253938 140737474253938 140737474256847 0
Current children cumulated CPU time: 99.31 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 237276 KiB

Child status: 0
Real time (s): 96.8335
CPU time (s): 99.3462
CPU user time (s): 99.168
CPU system time (s): 0.178199
CPU usage (%): 102.595
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 242708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.168
system time used= 0.178199
maximum resident set size= 242720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56154
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= 5396
involuntary context switches= 97


# summary of solver processes directly reported to runsolver:
#   pid: 32444
#   total CPU time (s): 99.3462
#   total CPU user time (s): 99.168
#   total CPU system time (s): 0.178199

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.515059 second user time and 0.951806 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-13 18:22:24
IDJOB=4391125
IDBENCH=141365
IDSOLVER=2833
FILE ID=node149/4391125-1568391782
RUNJOBID= node149-1568389344-31922
PBS_JOBID= 21701822
Free space on /tmp= 61412 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-nodv-10_c18.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391125-1568391782/watcher-4391125-1568391782 -o /tmp/evaluation-result-4391125-1568391782/solver-4391125-1568391782 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568389344-31922 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391125-1568391782.xml -cm

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

MD5SUM BENCH= 769ec0f26c47f1b96bb609b2e4d8d5d6
RANDOM SEED=1582572883

node149.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.81
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.81
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.81
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.81
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:        30944760 kB
MemAvailable:   31717356 kB
Buffers:          158944 kB
Cached:           914040 kB
SwapCached:        61296 kB
Active:           589284 kB
Inactive:         690244 kB
Active(anon):     173776 kB
Inactive(anon):    72352 kB
Active(file):     415508 kB
Inactive(file):   617892 kB
Unevictable:      111264 kB
Mlocked:          111264 kB
SwapTotal:      67108860 kB
SwapFree:       66940856 kB
Dirty:             17216 kB
Writeback:             0 kB
AnonPages:        267776 kB
Mapped:            56360 kB
Shmem:             31292 kB
Slab:             138744 kB
SReclaimable:     110060 kB
SUnreclaim:        28684 kB
KernelStack:        4032 kB
PageTables:         6068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1259288 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    174080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61404 MiB
End job on node149 at 2019-09-13 18:24:01