Trace number 4391130

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-23OPT20 16.7027 12.997

DiagnosticValue
WRONG_DECISIONS27752

General information on the benchmark

NamePrizeCollecting/PrizeCollecting-jok-s1/
PrizeCollecting-20-4-5-8.xml
MD5SUMcc4f118531160cfe6c95c1294546deff
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark13.7083
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints81
Number of domains21
Minimum domain size4
Maximum domain size21
Distribution of domain sizes[{"size":4,"count":7},{"size":5,"count":7},{"size":6,"count":6},{"size":21,"count":40}]
Minimum variable degree2
Maximum variable degree23
Distribution of variable degrees[{"degree":2,"count":20},{"degree":21,"count":19},{"degree":22,"count":1},{"degree":23,"count":20}]
Minimum constraint arity1
Maximum constraint arity21
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":40},{"arity":20,"count":20},{"arity":21,"count":20}]
Number of extensional constraints40
Number of intensional constraints21
Distribution of constraint types[{"type":"extension","count":40},{"type":"intension","count":21},{"type":"count","count":20}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

2.40/1.89	
2.40/1.89	AbsCon 2 
2.65/1.91	
3.25/2.15	  Instance
3.25/2.15	    name=instance-4391130-1568389961, framework=COP, bounds=-infty..+infty
3.25/2.15	
3.25/2.15	  Loading variables...
3.25/2.18	  Loading constraints...
3.95/2.33	
3.95/2.33	  Domains
3.95/2.33	    nTypes=21, nValues=939, sizes=[4#7,5#7,6#6,21#40]
3.95/2.33	  Variables
3.95/2.33	    count=60, degrees=[2#20,21#19,22#1,23#20]
3.95/2.33	  Objectives
3.95/2.33	    way=max, type=SumSimpleGE
3.95/2.33	  Constraints
3.95/2.33	    count=82, nSpecific=41, arities=[1#1,2#40,20#21,21#20]
3.95/2.33	    distribution=[AtMost1#20,CtrExtensionCT-Table#20,CtrExtensionV-Bits#20,CtrIntension#21,SumSimpleGE#1]
3.95/2.33	    tables=[362#19,382#1], nTotalTuples=7260
3.95/2.33	    nExtStructures=(40,shared:0), nIntStructures=(2,shared:19), nCftStructures=(21,shared:19,unbuilt:42)
3.95/2.33	    wck=0.469, cpu=2.305, mem=52M969
3.95/2.34	  Solver SolverBacktrack being built...
3.95/2.34	
3.95/2.36	
3.95/2.36	  Solver
3.95/2.36	    guaranteedGAC=true
3.95/2.36	    wck=0.496, cpu=2.33, mem=63M611
3.95/2.37	
3.95/2.37	  Preprocessing
3.95/2.37	    filters=22, revisions=(41,useless=38), ccks=502, nACremovedValues=41, nTotalRemovedValues=41, inconcistency=false
3.95/2.37	    wck=0.004, cpu=2.336, mem=63M611
3.95/2.37	
3.95/2.39	o -1000
3.95/2.39	    num=0, depth=61..59, filters=263, revisions=(459,useless=387), ccks=965, wck=0.027, mem=66M254
3.95/2.39	    decisions=19, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
3.95/2.39	    nFilterCalls=440, avgTableProportion=0.9972448005553761, avgTableSize=362.0
3.95/2.39	    
4.31/2.41	    num=1, depth=13..17, filters=806, revisions=(904,useless=643), ccks=2341, wck=0.047, mem=66M254
4.31/2.41	    decisions=64, wrong=16, backtracks=10, failedAssignments=11, nogoods=2, foundSolutions=1, bestBound=-1000
4.31/2.41	    nFilterCalls=2710, avgTableProportion=0.9972449873468068, avgTableSize=362.02583025830256
4.31/2.41	    
4.61/2.53	    num=2, depth=11..14, filters=1195, revisions=(1283,useless=816), ccks=3765, wck=0.057, mem=68M896
4.61/2.53	    decisions=110, wrong=33, backtracks=16, failedAssignments=22, nogoods=5, foundSolutions=1, bestBound=-1000
4.61/2.53	    nFilterCalls=3844, avgTableProportion=0.9972449435298438, avgTableSize=362.0197710718002
4.61/2.53	    
4.61/2.53	    num=3, depth=6..13, filters=1892, revisions=(1885,useless=1135), ccks=5596, wck=0.091, mem=68M896
4.61/2.53	    decisions=166, wrong=58, backtracks=31, failedAssignments=34, nogoods=8, foundSolutions=1, bestBound=-1000
4.61/2.53	    nFilterCalls=6274, avgTableProportion=0.9972450840981215, avgTableSize=362.0392094357667
4.61/2.53	    
4.61/2.53	o -998
4.61/2.53	    num=4, depth=61..59, filters=2035, revisions=(2061,useless=1229), ccks=6022, wck=0.096, mem=68M896
4.61/2.53	    decisions=183, wrong=58, backtracks=31, failedAssignments=34, nogoods=8, foundSolutions=2, bestBound=-998
4.61/2.53	    nFilterCalls=6666, avgTableProportion=0.997245076102781, avgTableSize=362.038103810381
4.61/2.53	    
4.61/2.53	    num=5, depth=11..15, filters=2715, revisions=(2651,useless=1527), ccks=8379, wck=0.109, mem=68M896
4.61/2.53	    decisions=246, wrong=84, backtracks=45, failedAssignments=48, nogoods=12, foundSolutions=2, bestBound=-998
4.61/2.53	    nFilterCalls=8869, avgTableProportion=0.9972450541345844, avgTableSize=362.0350659600857
4.61/2.53	    
4.61/2.53	    num=6, depth=10..14, filters=3388, revisions=(3247,useless=1903), ccks=9899, wck=0.125, mem=68M896
4.61/2.53	    decisions=298, wrong=105, backtracks=56, failedAssignments=59, nogoods=16, foundSolutions=2, bestBound=-998
4.61/2.53	    nFilterCalls=12087, avgTableProportion=0.9972451194424096, avgTableSize=362.04409696368
4.61/2.53	    
4.61/2.53	    num=7, depth=11..14, filters=3822, revisions=(3688,useless=2130), ccks=11195, wck=0.133, mem=68M896
4.61/2.53	    decisions=345, wrong=123, backtracks=65, failedAssignments=71, nogoods=20, foundSolutions=2, bestBound=-998
4.61/2.53	    nFilterCalls=13183, avgTableProportion=0.9972451719217874, avgTableSize=362.05135401653644
4.61/2.53	    
4.61/2.53	    num=8, depth=10..14, filters=4467, revisions=(4271,useless=2444), ccks=12984, wck=0.145, mem=68M896
4.61/2.53	    decisions=400, wrong=145, backtracks=77, failedAssignments=84, nogoods=23, foundSolutions=2, bestBound=-998
4.61/2.53	    nFilterCalls=15307, avgTableProportion=0.9972451468471556, avgTableSize=362.04788658783565
4.61/2.53	    
4.61/2.53	    num=9, depth=9..14, filters=5190, revisions=(4877,useless=2770), ccks=14990, wck=0.162, mem=68M896
4.61/2.53	    decisions=457, wrong=169, backtracks=90, failedAssignments=98, nogoods=26, foundSolutions=2, bestBound=-998
4.61/2.53	    nFilterCalls=18528, avgTableProportion=0.9972451721218454, avgTableSize=362.0513816925734
4.61/2.53	    
4.61/2.54	    num=10, depth=9..13, filters=6044, revisions=(5616,useless=3184), ccks=17193, wck=0.179, mem=68M896
4.61/2.54	    decisions=522, wrong=196, backtracks=105, failedAssignments=114, nogoods=28, foundSolutions=2, bestBound=-998
4.61/2.54	    nFilterCalls=21558, avgTableProportion=0.9972451836318987, avgTableSize=362.05297337415345
4.61/2.54	    
4.61/2.55	    num=11, depth=10..14, filters=6879, revisions=(6341,useless=3575), ccks=19369, wck=0.192, mem=68M896
4.61/2.55	    decisions=590, wrong=225, backtracks=120, failedAssignments=131, nogoods=29, foundSolutions=2, bestBound=-998
4.61/2.55	    nFilterCalls=24337, avgTableProportion=0.9972452709276188, avgTableSize=362.0650449932202
4.61/2.55	    
4.61/2.57	    num=12, depth=9..14, filters=7957, revisions=(7265,useless=4108), ccks=21958, wck=0.206, mem=68M896
4.61/2.57	    decisions=662, wrong=256, backtracks=138, failedAssignments=150, nogoods=31, foundSolutions=2, bestBound=-998
4.61/2.57	    nFilterCalls=28476, avgTableProportion=0.997245324708801, avgTableSize=362.0724820901812
4.61/2.57	    
4.61/2.58	o -989
4.61/2.58	    num=13, depth=11..59, filters=8706, revisions=(7978,useless=4505), ccks=24001, wck=0.217, mem=68M896
4.61/2.58	    decisions=737, wrong=287, backtracks=154, failedAssignments=170, nogoods=34, foundSolutions=3, bestBound=-989
4.61/2.58	    nFilterCalls=30847, avgTableProportion=0.9972453287280477, avgTableSize=362.0730378967161
4.61/2.58	    
4.61/2.59	    num=14, depth=6..13, filters=9647, revisions=(8882,useless=4983), ccks=26326, wck=0.231, mem=68M896
4.61/2.59	    decisions=809, wrong=320, backtracks=175, failedAssignments=193, nogoods=38, foundSolutions=3, bestBound=-989
4.61/2.59	    nFilterCalls=33669, avgTableProportion=0.9972453484637536, avgTableSize=362.0757670260477
4.61/2.59	    
4.92/2.60	    num=15, depth=8..13, filters=10245, revisions=(9432,useless=5272), ccks=27794, wck=0.239, mem=68M896
4.92/2.60	    decisions=857, wrong=340, backtracks=187, failedAssignments=204, nogoods=39, foundSolutions=3, bestBound=-989
4.92/2.60	    nFilterCalls=35418, avgTableProportion=0.9972453440707414, avgTableSize=362.07515952340617
4.92/2.60	    
4.92/2.61	    num=16, depth=9..13, filters=10815, revisions=(9970,useless=5557), ccks=29307, wck=0.246, mem=68M896
4.92/2.61	    decisions=907, wrong=360, backtracks=197, failedAssignments=216, nogoods=43, foundSolutions=3, bestBound=-989
4.92/2.61	    nFilterCalls=36930, avgTableProportion=0.9972453625478394, avgTableSize=362.07771459518005
4.92/2.61	    
4.92/2.62	    num=17, depth=9..14, filters=11617, revisions=(10704,useless=5971), ccks=31040, wck=0.257, mem=68M896
4.92/2.62	    decisions=959, wrong=381, backtracks=211, failedAssignments=229, nogoods=48, foundSolutions=3, bestBound=-989
4.92/2.62	    nFilterCalls=39489, avgTableProportion=0.9972453702628372, avgTableSize=362.0787814328041
4.92/2.62	    
4.92/2.62	    num=18, depth=11..15, filters=12235, revisions=(11296,useless=6289), ccks=32654, wck=0.263, mem=68M896
4.92/2.62	    decisions=1017, wrong=404, backtracks=221, failedAssignments=243, nogoods=51, foundSolutions=3, bestBound=-989
4.92/2.62	    nFilterCalls=41128, avgTableProportion=0.9972453688347153, avgTableSize=362.078583933087
4.92/2.62	    
4.92/2.64	    num=19, depth=8..12, filters=13028, revisions=(11997,useless=6662), ccks=34561, wck=0.275, mem=68M896
4.92/2.64	    decisions=1077, wrong=430, backtracks=237, failedAssignments=259, nogoods=55, foundSolutions=3, bestBound=-989
4.92/2.64	    nFilterCalls=43505, avgTableProportion=0.9972453748530796, avgTableSize=362.0794161590622
4.92/2.64	    
4.92/2.64	    num=20, depth=9..13, filters=13776, revisions=(12694,useless=7027), ccks=36229, wck=0.283, mem=68M896
4.92/2.64	    decisions=1138, wrong=455, backtracks=248, failedAssignments=276, nogoods=59, foundSolutions=3, bestBound=-989
4.92/2.64	    nFilterCalls=45394, avgTableProportion=0.9972453718236464, avgTableSize=362.0789972243028
4.92/2.64	    
4.92/2.66	o -985
4.92/2.66	    num=21, depth=9..59, filters=14616, revisions=(13448,useless=7445), ccks=38149, wck=0.294, mem=68M896
4.92/2.66	    decisions=1202, wrong=480, backtracks=263, failedAssignments=291, nogoods=65, foundSolutions=4, bestBound=-985
4.92/2.66	    nFilterCalls=48161, avgTableProportion=0.9972453769912174, avgTableSize=362.07971180000413
4.92/2.66	    
4.92/2.67	    num=22, depth=8..16, filters=15583, revisions=(14341,useless=7947), ccks=40183, wck=0.307, mem=68M896
4.92/2.67	    decisions=1270, wrong=510, backtracks=283, failedAssignments=312, nogoods=67, foundSolutions=4, bestBound=-985
4.92/2.67	    nFilterCalls=51086, avgTableProportion=0.9972453942388524, avgTableSize=362.08209685628157
4.92/2.67	    
4.92/2.67	    num=23, depth=10..14, filters=16069, revisions=(14806,useless=8190), ccks=41303, wck=0.313, mem=68M896
4.92/2.67	    decisions=1314, wrong=527, backtracks=293, failedAssignments=323, nogoods=70, foundSolutions=4, bestBound=-985
4.92/2.67	    nFilterCalls=52582, avgTableProportion=0.9972453916510563, avgTableSize=362.08173899813625
4.92/2.67	    
4.92/2.68	    num=24, depth=8..14, filters=16681, revisions=(15397,useless=8486), ccks=42803, wck=0.32, mem=71M539
4.92/2.68	    decisions=1360, wrong=546, backtracks=303, failedAssignments=335, nogoods=77, foundSolutions=4, bestBound=-985
4.92/2.68	    nFilterCalls=54010, avgTableProportion=0.9972453803073529, avgTableSize=362.0801703388261
4.92/2.68	    
4.92/2.69	    num=25, depth=9..14, filters=17322, revisions=(15976,useless=8797), ccks=44286, wck=0.328, mem=71M539
4.92/2.69	    decisions=1407, wrong=565, backtracks=312, failedAssignments=348, nogoods=80, foundSolutions=4, bestBound=-985
4.92/2.69	    nFilterCalls=55962, avgTableProportion=0.9972453662878488, avgTableSize=362.07823165719594
4.92/2.69	    
5.23/2.70	    num=26, depth=9..13, filters=18077, revisions=(16643,useless=9163), ccks=46141, wck=0.337, mem=71M539
5.23/2.70	    decisions=1461, wrong=587, backtracks=326, failedAssignments=362, nogoods=84, foundSolutions=4, bestBound=-985
5.23/2.70	    nFilterCalls=58090, avgTableProportion=0.9972453819139938, avgTableSize=362.08039249440526
5.23/2.70	    
5.23/2.71	    num=27, depth=7..14, filters=18902, revisions=(17408,useless=9577), ccks=48181, wck=0.349, mem=71M539
5.23/2.71	    decisions=1527, wrong=616, backtracks=345, failedAssignments=378, nogoods=91, foundSolutions=4, bestBound=-985
5.23/2.71	    nFilterCalls=60674, avgTableProportion=0.9972453685969047, avgTableSize=362.07855094439134
5.23/2.71	    
5.23/2.72	    num=28, depth=8..13, filters=19828, revisions=(18270,useless=10055), ccks=50339, wck=0.362, mem=71M539
5.23/2.72	    decisions=1595, wrong=646, backtracks=361, failedAssignments=395, nogoods=98, foundSolutions=4, bestBound=-985
5.23/2.72	    nFilterCalls=63867, avgTableProportion=0.99724535457794, avgTableSize=362.0766123350087
5.23/2.72	    
5.23/2.73	    num=29, depth=10..16, filters=20688, revisions=(19042,useless=10482), ccks=52373, wck=0.371, mem=71M539
5.23/2.73	    decisions=1663, wrong=675, backtracks=380, failedAssignments=414, nogoods=104, foundSolutions=4, bestBound=-985
5.23/2.73	    nFilterCalls=66468, avgTableProportion=0.9972453632524196, avgTableSize=362.0778118794006
5.23/2.73	    
5.23/2.74	    num=30, depth=10..14, filters=21661, revisions=(19892,useless=10954), ccks=54676, wck=0.382, mem=71M539
5.23/2.74	    decisions=1735, wrong=706, backtracks=398, failedAssignments=435, nogoods=107, foundSolutions=4, bestBound=-985
5.23/2.74	    nFilterCalls=69837, avgTableProportion=0.9972453455300718, avgTableSize=362.07536119821873
5.23/2.74	    
5.23/2.75	    num=31, depth=10..16, filters=22678, revisions=(20837,useless=11482), ccks=56751, wck=0.394, mem=71M539
5.23/2.75	    decisions=1817, wrong=742, backtracks=421, failedAssignments=458, nogoods=115, foundSolutions=4, bestBound=-985
5.23/2.75	    nFilterCalls=72919, avgTableProportion=0.9972453798171311, avgTableSize=362.0801025795746
5.23/2.75	    
5.23/2.76	o -982
5.23/2.76	    num=32, depth=9..59, filters=23468, revisions=(21534,useless=11858), ccks=58642, wck=0.403, mem=71M539
5.23/2.76	    decisions=1877, wrong=766, backtracks=434, failedAssignments=471, nogoods=117, foundSolutions=5, bestBound=-982
5.23/2.76	    nFilterCalls=75222, avgTableProportion=0.9972453790982501, avgTableSize=362.08000319055594
5.23/2.76	    
5.23/2.78	    num=33, depth=7..12, filters=24763, revisions=(22744,useless=12509), ccks=61412, wck=0.419, mem=71M539
5.23/2.78	    decisions=1960, wrong=804, backtracks=455, failedAssignments=499, nogoods=124, foundSolutions=5, bestBound=-982
5.23/2.78	    nFilterCalls=78806, avgTableProportion=0.9972453726074876, avgTableSize=362.0791056518539
5.23/2.78	    
5.23/2.79	    num=34, depth=7..13, filters=25287, revisions=(23249,useless=12757), ccks=62488, wck=0.426, mem=71M539
5.23/2.79	    decisions=2003, wrong=822, backtracks=465, failedAssignments=510, nogoods=126, foundSolutions=5, bestBound=-982
5.23/2.79	    nFilterCalls=80160, avgTableProportion=0.9972453725073599, avgTableSize=362.0790918163673
5.23/2.79	    
5.54/2.80	    num=35, depth=6..9, filters=26062, revisions=(23943,useless=13128), ccks=64326, wck=0.437, mem=71M539
5.54/2.80	    decisions=2054, wrong=844, backtracks=475, failedAssignments=522, nogoods=129, foundSolutions=5, bestBound=-982
5.54/2.80	    nFilterCalls=82812, avgTableProportion=0.9972453671148147, avgTableSize=362.0783461334106
5.54/2.80	    
5.54/2.81	    num=36, depth=9..13, filters=26755, revisions=(24620,useless=13501), ccks=65930, wck=0.445, mem=71M539
5.54/2.81	    decisions=2112, wrong=867, backtracks=487, failedAssignments=535, nogoods=133, foundSolutions=5, bestBound=-982
5.54/2.81	    nFilterCalls=84736, avgTableProportion=0.9972453641501281, avgTableSize=362.07793617824774
5.54/2.81	    
5.54/2.81	    num=37, depth=8..14, filters=27376, revisions=(25204,useless=13807), ccks=67444, wck=0.454, mem=71M539
5.54/2.81	    decisions=2165, wrong=888, backtracks=497, failedAssignments=549, nogoods=140, foundSolutions=5, bestBound=-982
5.54/2.81	    nFilterCalls=86808, avgTableProportion=0.9972453746893964, avgTableSize=362.0793936042761
5.54/2.81	    
5.54/2.82	o -980
5.54/2.82	    num=38, depth=10..59, filters=27794, revisions=(25611,useless=14048), ccks=68384, wck=0.461, mem=71M539
5.54/2.82	    decisions=2196, wrong=897, backtracks=503, failedAssignments=554, nogoods=144, foundSolutions=6, bestBound=-980
5.54/2.82	    nFilterCalls=88129, avgTableProportion=0.9972453742069328, avgTableSize=362.0793268958005
5.54/2.82	    
5.54/2.83	    num=39, depth=7..11, filters=28684, revisions=(26470,useless=14510), ccks=70303, wck=0.472, mem=71M539
5.54/2.83	    decisions=2262, wrong=926, backtracks=521, failedAssignments=571, nogoods=148, foundSolutions=6, bestBound=-980
5.54/2.83	    nFilterCalls=90407, avgTableProportion=0.997245382309104, avgTableSize=362.08044731049586
5.54/2.83	    
5.54/2.84	    num=40, depth=8..12, filters=29215, revisions=(26970,useless=14764), ccks=71504, wck=0.479, mem=71M539
5.54/2.84	    decisions=2300, wrong=941, backtracks=531, failedAssignments=582, nogoods=150, foundSolutions=6, bestBound=-980
5.54/2.84	    nFilterCalls=91796, avgTableProportion=0.9972453743728563, avgTableSize=362.0793498627391
5.54/2.84	    
5.54/2.84	o -977
5.54/2.84	    num=41, depth=10..59, filters=29489, revisions=(27273,useless=14940), ccks=72246, wck=0.484, mem=71M539
5.54/2.84	    decisions=2324, wrong=947, backtracks=533, failedAssignments=586, nogoods=154, foundSolutions=7, bestBound=-977
5.54/2.84	    nFilterCalls=92673, avgTableProportion=0.9972453738585993, avgTableSize=362.0792787543297
5.54/2.84	    
5.54/2.85	    num=42, depth=7..12, filters=30217, revisions=(27925,useless=15289), ccks=73911, wck=0.492, mem=71M539
5.54/2.85	    decisions=2369, wrong=966, backtracks=544, failedAssignments=599, nogoods=157, foundSolutions=7, bestBound=-977
5.54/2.85	    nFilterCalls=94697, avgTableProportion=0.9972453658814596, avgTableSize=362.0781756549838
5.54/2.85	    
5.54/2.86	    num=43, depth=9..13, filters=30733, revisions=(28425,useless=15559), ccks=75084, wck=0.498, mem=71M539
5.54/2.86	    decisions=2408, wrong=981, backtracks=555, failedAssignments=610, nogoods=160, foundSolutions=7, bestBound=-977
5.54/2.86	    nFilterCalls=95999, avgTableProportion=0.9972453595700026, avgTableSize=362.07730288857175
5.54/2.86	    
5.54/2.87	    num=44, depth=5..10, filters=31249, revisions=(28920,useless=15834), ccks=76135, wck=0.507, mem=71M539
5.54/2.87	    decisions=2450, wrong=998, backtracks=565, failedAssignments=622, nogoods=165, foundSolutions=7, bestBound=-977
5.54/2.87	    nFilterCalls=97609, avgTableProportion=0.997245364425735, avgTableSize=362.0779743671178
5.54/2.87	    
5.54/2.88	    num=45, depth=8..14, filters=32066, revisions=(29717,useless=16262), ccks=77920, wck=0.516, mem=71M539
5.54/2.88	    decisions=2503, wrong=1020, backtracks=577, failedAssignments=635, nogoods=167, foundSolutions=7, bestBound=-977
5.54/2.88	    nFilterCalls=99636, avgTableProportion=0.997245355349346, avgTableSize=362.0767192580995
5.54/2.88	    
5.54/2.89	    num=46, depth=7..13, filters=32758, revisions=(30359,useless=16606), ccks=79456, wck=0.525, mem=71M539
5.54/2.89	    decisions=2559, wrong=1044, backtracks=593, failedAssignments=649, nogoods=172, foundSolutions=7, bestBound=-977
5.54/2.89	    nFilterCalls=101588, avgTableProportion=0.9972453609190408, avgTableSize=362.0774894672599
5.54/2.89	    
5.54/2.89	    num=47, depth=7..11, filters=33377, revisions=(31002,useless=16941), ccks=80765, wck=0.533, mem=71M539
5.54/2.89	    decisions=2614, wrong=1068, backtracks=605, failedAssignments=665, nogoods=177, foundSolutions=7, bestBound=-977
5.54/2.89	    nFilterCalls=103088, avgTableProportion=0.9972453681980314, avgTableSize=362.0784960422164
5.54/2.89	    
5.86/2.90	    num=48, depth=7..12, filters=34333, revisions=(31907,useless=17420), ccks=83261, wck=0.544, mem=71M539
5.86/2.90	    decisions=2682, wrong=1098, backtracks=625, failedAssignments=682, nogoods=185, foundSolutions=7, bestBound=-977
5.86/2.90	    nFilterCalls=105325, avgTableProportion=0.997245367333155, avgTableSize=362.07837645383336
5.86/2.90	    
5.86/2.91	    num=49, depth=6..12, filters=35256, revisions=(32819,useless=17888), ccks=85269, wck=0.554, mem=71M539
5.86/2.91	    decisions=2748, wrong=1128, backtracks=645, failedAssignments=701, nogoods=186, foundSolutions=7, bestBound=-977
5.86/2.91	    nFilterCalls=107228, avgTableProportion=0.997245358420825, avgTableSize=362.0771440295445
5.86/2.91	    
5.86/2.93	    num=50, depth=6..15, filters=36484, revisions=(33876,useless=18475), ccks=87680, wck=0.57, mem=71M539
5.86/2.93	    decisions=2824, wrong=1162, backtracks=667, failedAssignments=722, nogoods=189, foundSolutions=7, bestBound=-977
5.86/2.93	    nFilterCalls=110761, avgTableProportion=0.9972453763393437, avgTableSize=362.0796218885709
5.86/2.93	    
5.86/2.94	    num=51, depth=6..14, filters=37586, revisions=(34858,useless=19008), ccks=89926, wck=0.584, mem=71M539
5.86/2.94	    decisions=2899, wrong=1196, backtracks=688, failedAssignments=745, nogoods=197, foundSolutions=7, bestBound=-977
5.86/2.94	    nFilterCalls=113958, avgTableProportion=0.9972453781445457, avgTableSize=362.0798715316169
5.86/2.94	    
5.86/2.96	    num=52, depth=5..13, filters=38839, revisions=(35985,useless=19617), ccks=92999, wck=0.598, mem=71M539
5.86/2.96	    decisions=2988, wrong=1238, backtracks=714, failedAssignments=770, nogoods=198, foundSolutions=7, bestBound=-977
5.86/2.96	    nFilterCalls=117350, avgTableProportion=0.9972453816616526, avgTableSize=362.08035790370684
5.86/2.96	    
5.86/2.97	    num=53, depth=5..11, filters=40116, revisions=(37133,useless=20236), ccks=95786, wck=0.614, mem=71M539
5.86/2.97	    decisions=3079, wrong=1281, backtracks=741, failedAssignments=798, nogoods=204, foundSolutions=7, bestBound=-977
5.86/2.97	    nFilterCalls=120905, avgTableProportion=0.99724539119117, avgTableSize=362.0816756957942
5.86/2.97	    
5.86/2.99	    num=54, depth=6..11, filters=41608, revisions=(38507,useless=20970), ccks=99730, wck=0.634, mem=71M539
5.86/2.99	    decisions=3189, wrong=1333, backtracks=774, failedAssignments=829, nogoods=210, foundSolutions=7, bestBound=-977
5.86/2.99	    nFilterCalls=125358, avgTableProportion=0.9972453902275883, avgTableSize=362.08154246238774
5.86/2.99	    
6.18/3.02	    num=55, depth=7..14, filters=43512, revisions=(40195,useless=21917), ccks=104176, wck=0.658, mem=71M539
6.18/3.02	    decisions=3320, wrong=1394, backtracks=815, failedAssignments=863, nogoods=216, foundSolutions=7, bestBound=-977
6.18/3.02	    nFilterCalls=131678, avgTableProportion=0.9972453838927736, avgTableSize=362.0806664742782
6.18/3.02	    
6.18/3.04	    num=56, depth=5..13, filters=45242, revisions=(41731,useless=22753), ccks=107840, wck=0.68, mem=71M539
6.18/3.04	    decisions=3436, wrong=1449, backtracks=846, failedAssignments=900, nogoods=219, foundSolutions=7, bestBound=-977
6.18/3.04	    nFilterCalls=137114, avgTableProportion=0.9972453873475737, avgTableSize=362.0811441574165
6.18/3.04	    
6.18/3.06	    num=57, depth=7..13, filters=47015, revisions=(43325,useless=23576), ccks=111846, wck=0.697, mem=74M182
6.18/3.06	    decisions=3569, wrong=1512, backtracks=875, failedAssignments=941, nogoods=224, foundSolutions=7, bestBound=-977
6.18/3.06	    nFilterCalls=141280, avgTableProportion=0.9972453840696278, avgTableSize=362.08069082672705
6.18/3.06	    
6.18/3.08	    num=58, depth=4..12, filters=49289, revisions=(45484,useless=24688), ccks=118047, wck=0.722, mem=74M182
6.18/3.08	    decisions=3722, wrong=1586, backtracks=917, failedAssignments=986, nogoods=229, foundSolutions=7, bestBound=-977
6.18/3.08	    nFilterCalls=146990, avgTableProportion=0.9972453766538161, avgTableSize=362.0796652833526
6.18/3.08	    
6.47/3.11	    num=59, depth=5..11, filters=52057, revisions=(47883,useless=26034), ccks=124012, wck=0.753, mem=74M182
6.47/3.11	    decisions=3895, wrong=1670, backtracks=966, failedAssignments=1036, nogoods=236, foundSolutions=7, bestBound=-977
6.47/3.11	    nFilterCalls=154424, avgTableProportion=0.9972454053963383, avgTableSize=362.0836398487282
6.47/3.11	    
6.47/3.14	    num=60, depth=5..12, filters=54934, revisions=(50538,useless=27427), ccks=130635, wck=0.784, mem=74M182
6.47/3.14	    decisions=4084, wrong=1762, backtracks=1026, failedAssignments=1091, nogoods=238, foundSolutions=7, bestBound=-977
6.47/3.14	    nFilterCalls=161832, avgTableProportion=0.9972453970136478, avgTableSize=362.0824805971625
6.47/3.14	    
6.47/3.17	    num=61, depth=6..14, filters=57529, revisions=(52974,useless=28728), ccks=136992, wck=0.81, mem=74M182
6.47/3.17	    decisions=4279, wrong=1856, backtracks=1081, failedAssignments=1152, nogoods=248, foundSolutions=7, bestBound=-977
6.47/3.17	    nFilterCalls=168854, avgTableProportion=0.9972453969635386, avgTableSize=362.0824736162602
6.47/3.17	    
6.57/3.21	    num=62, depth=7..13, filters=61302, revisions=(56168,useless=30563), ccks=144362, wck=0.849, mem=74M182
6.57/3.21	    decisions=4513, wrong=1969, backtracks=1145, failedAssignments=1219, nogoods=255, foundSolutions=7, bestBound=-977
6.57/3.21	    nFilterCalls=179667, avgTableProportion=0.9972454160910997, avgTableSize=362.085118580485
6.57/3.21	    
6.57/3.25	    num=63, depth=7..14, filters=64767, revisions=(59135,useless=32185), ccks=152956, wck=0.888, mem=74M182
6.57/3.25	    decisions=4746, wrong=2082, backtracks=1218, failedAssignments=1293, nogoods=260, foundSolutions=7, bestBound=-977
6.57/3.25	    nFilterCalls=191577, avgTableProportion=0.997245404625428, avgTableSize=362.08353299195625
6.57/3.25	    
6.57/3.29	    num=64, depth=4..12, filters=68955, revisions=(63037,useless=34288), ccks=162310, wck=0.933, mem=74M182
6.57/3.29	    decisions=5018, wrong=2216, backtracks=1296, failedAssignments=1374, nogoods=266, foundSolutions=7, bestBound=-977
6.57/3.29	    nFilterCalls=202109, avgTableProportion=0.997245405635916, avgTableSize=362.08367267167716
6.57/3.29	    
6.69/3.36	    num=65, depth=3..11, filters=74122, revisions=(67564,useless=36788), ccks=175173, wck=0.995, mem=74M182
6.69/3.36	    decisions=5342, wrong=2375, backtracks=1403, failedAssignments=1463, nogoods=271, foundSolutions=7, bestBound=-977
6.69/3.36	    nFilterCalls=217633, avgTableProportion=0.9972454141781814, avgTableSize=362.08485385947904
6.69/3.36	    
6.79/3.40	    num=66, depth=4..12, filters=78759, revisions=(71878,useless=39118), ccks=185019, wck=1.041, mem=76M824
6.79/3.40	    decisions=5659, wrong=2531, backtracks=1499, failedAssignments=1561, nogoods=276, foundSolutions=7, bestBound=-977
6.79/3.40	    nFilterCalls=229350, avgTableProportion=0.9972454283283297, avgTableSize=362.08681055155876
6.79/3.40	    
6.79/3.47	    num=67, depth=5..14, filters=84560, revisions=(76567,useless=41750), ccks=196975, wck=1.11, mem=76M824
6.79/3.47	    decisions=6035, wrong=2716, backtracks=1626, failedAssignments=1669, nogoods=283, foundSolutions=7, bestBound=-977
6.79/3.47	    nFilterCalls=247622, avgTableProportion=0.9972454371424226, avgTableSize=362.08802933503483
6.79/3.47	    
6.90/3.56	    num=68, depth=4..12, filters=91597, revisions=(82503,useless=45244), ccks=209626, wck=1.202, mem=76M824
6.90/3.56	    decisions=6438, wrong=2915, backtracks=1739, failedAssignments=1788, nogoods=286, foundSolutions=7, bestBound=-977
6.90/3.56	    nFilterCalls=271753, avgTableProportion=0.9972454425917746, avgTableSize=362.0887828285244
6.90/3.56	    
7.00/3.64	    num=69, depth=3..13, filters=98313, revisions=(88492,useless=48501), ccks=224392, wck=1.281, mem=76M824
7.00/3.64	    decisions=6871, wrong=3129, backtracks=1877, failedAssignments=1919, nogoods=290, foundSolutions=7, bestBound=-977
7.00/3.64	    nFilterCalls=290979, avgTableProportion=0.9972454462468366, avgTableSize=362.08928823042214
7.00/3.64	    
7.00/3.68	o -976
7.00/3.68	    num=70, depth=6..59, filters=101780, revisions=(91301,useless=50166), ccks=232545, wck=1.321, mem=76M824
7.00/3.68	    decisions=7096, wrong=3235, backtracks=1938, failedAssignments=1983, nogoods=294, foundSolutions=8, bestBound=-976
7.00/3.68	    nFilterCalls=303129, avgTableProportion=0.9972454420756828, avgTableSize=362.0887114066948
7.00/3.68	    
7.11/3.77	    num=71, depth=4..15, filters=109747, revisions=(98159,useless=53993), ccks=247245, wck=1.409, mem=79M467
7.11/3.77	    decisions=7605, wrong=3485, backtracks=2110, failedAssignments=2141, nogoods=302, foundSolutions=8, bestBound=-976
7.11/3.77	    nFilterCalls=326762, avgTableProportion=0.9972454755040803, avgTableSize=362.093333986204
7.11/3.77	    
7.11/3.78	    num=72, depth=6..10, filters=110445, revisions=(98811,useless=54351), ccks=248653, wck=1.417, mem=79M467
7.11/3.78	    decisions=7654, wrong=3506, backtracks=2125, failedAssignments=2152, nogoods=307, foundSolutions=8, bestBound=-976
7.11/3.78	    nFilterCalls=328760, avgTableProportion=0.9972454745256769, avgTableSize=362.0931986859715
7.11/3.78	    
7.11/3.78	    num=73, depth=7..12, filters=111123, revisions=(99462,useless=54706), ccks=250087, wck=1.425, mem=79M467
7.11/3.78	    decisions=7703, wrong=3526, backtracks=2139, failedAssignments=2164, nogoods=313, foundSolutions=8, bestBound=-976
7.11/3.78	    nFilterCalls=330851, avgTableProportion=0.997245475708645, avgTableSize=362.0933622688159
7.11/3.78	    
7.11/3.79	    num=74, depth=5..10, filters=111890, revisions=(100161,useless=55054), ccks=251864, wck=1.432, mem=79M467
7.11/3.79	    decisions=7744, wrong=3544, backtracks=2151, failedAssignments=2177, nogoods=315, foundSolutions=8, bestBound=-976
7.11/3.79	    nFilterCalls=332571, avgTableProportion=0.9972454730866772, avgTableSize=362.0929996902917
7.11/3.79	    
7.24/3.80	    num=75, depth=7..11, filters=112542, revisions=(100816,useless=55398), ccks=253255, wck=1.439, mem=79M467
7.24/3.80	    decisions=7797, wrong=3567, backtracks=2164, failedAssignments=2191, nogoods=319, foundSolutions=8, bestBound=-976
7.24/3.80	    nFilterCalls=334244, avgTableProportion=0.997245472035463, avgTableSize=362.0928543219923
7.24/3.80	    
7.24/3.81	    num=76, depth=5..9, filters=113541, revisions=(101815,useless=55924), ccks=255228, wck=1.45, mem=79M467
7.24/3.81	    decisions=7867, wrong=3599, backtracks=2184, failedAssignments=2207, nogoods=325, foundSolutions=8, bestBound=-976
7.24/3.81	    nFilterCalls=336629, avgTableProportion=0.9972454740449717, avgTableSize=362.0931322019196
7.24/3.81	    
7.24/3.81	o -975
7.24/3.81	    num=77, depth=61..59, filters=113718, revisions=(102013,useless=56037), ccks=255669, wck=1.452, mem=79M467
7.24/3.81	    decisions=7885, wrong=3599, backtracks=2184, failedAssignments=2207, nogoods=325, foundSolutions=9, bestBound=-975
7.24/3.81	    nFilterCalls=337278, avgTableProportion=0.9972454747001468, avgTableSize=362.0932228013686
7.24/3.81	    
7.24/3.82	    num=78, depth=5..10, filters=114676, revisions=(103005,useless=56577), ccks=257869, wck=1.462, mem=79M467
7.24/3.82	    decisions=7951, wrong=3629, backtracks=2205, failedAssignments=2226, nogoods=331, foundSolutions=9, bestBound=-975
7.24/3.82	    nFilterCalls=339809, avgTableProportion=0.997245472849848, avgTableSize=362.09296693142323
7.24/3.82	    
7.24/3.83	    num=79, depth=7..14, filters=115337, revisions=(103637,useless=56937), ccks=259324, wck=1.469, mem=79M467
7.24/3.83	    decisions=8003, wrong=3651, backtracks=2223, failedAssignments=2237, nogoods=335, foundSolutions=9, bestBound=-975
7.24/3.83	    nFilterCalls=341803, avgTableProportion=0.9972454792101372, avgTableSize=362.0938464554144
7.24/3.83	    
7.24/3.84	    num=80, depth=7..13, filters=115976, revisions=(104251,useless=57267), ccks=260661, wck=1.475, mem=79M467
7.24/3.84	    decisions=8054, wrong=3673, backtracks=2236, failedAssignments=2249, nogoods=337, foundSolutions=9, bestBound=-975
7.24/3.84	    nFilterCalls=343482, avgTableProportion=0.9972454780191944, avgTableSize=362.09368176498333
7.24/3.84	    
7.24/3.84	    num=81, depth=8..13, filters=116557, revisions=(104836,useless=57598), ccks=262034, wck=1.482, mem=79M467
7.24/3.84	    decisions=8104, wrong=3694, backtracks=2250, failedAssignments=2262, nogoods=340, foundSolutions=9, bestBound=-975
7.24/3.84	    nFilterCalls=345337, avgTableProportion=0.9972454774165528, avgTableSize=362.09359842704373
7.24/3.84	    
7.24/3.84	o -974
7.24/3.84	    num=82, depth=15..59, filters=116747, revisions=(105043,useless=57716), ccks=262501, wck=1.484, mem=79M467
7.24/3.84	    decisions=8123, wrong=3696, backtracks=2250, failedAssignments=2264, nogoods=342, foundSolutions=10, bestBound=-974
7.24/3.84	    nFilterCalls=345978, avgTableProportion=0.9972454778137599, avgTableSize=362.0936533536815
7.24/3.84	    
7.24/3.86	    num=83, depth=4..9, filters=117733, revisions=(106025,useless=58259), ccks=264548, wck=1.497, mem=79M467
7.24/3.86	    decisions=8183, wrong=3723, backtracks=2268, failedAssignments=2280, nogoods=346, foundSolutions=10, bestBound=-974
7.24/3.86	    nFilterCalls=348739, avgTableProportion=0.9972454778225569, avgTableSize=362.0936545668824
7.24/3.86	    
7.24/3.86	    num=84, depth=7..12, filters=118417, revisions=(106675,useless=58604), ccks=265990, wck=1.503, mem=79M467
7.24/3.86	    decisions=8229, wrong=3742, backtracks=2281, failedAssignments=2291, nogoods=348, foundSolutions=10, bestBound=-974
7.24/3.86	    nFilterCalls=350270, avgTableProportion=0.9972454758739432, avgTableSize=362.0933851029206
7.24/3.86	    
7.24/3.87	    num=85, depth=8..12, filters=119176, revisions=(107372,useless=59016), ccks=267529, wck=1.512, mem=79M467
7.24/3.87	    decisions=8279, wrong=3763, backtracks=2294, failedAssignments=2303, nogoods=354, foundSolutions=10, bestBound=-974
7.24/3.87	    nFilterCalls=352568, avgTableProportion=0.9972454784870745, avgTableSize=362.0937464545847
7.24/3.87	    
7.24/3.88	    num=86, depth=6..11, filters=120027, revisions=(108179,useless=59445), ccks=269383, wck=1.519, mem=79M467
7.24/3.88	    decisions=8327, wrong=3783, backtracks=2306, failedAssignments=2316, nogoods=362, foundSolutions=10, bestBound=-974
7.24/3.88	    nFilterCalls=354563, avgTableProportion=0.9972454804853578, avgTableSize=362.0940227829751
7.24/3.88	    
7.24/3.89	    num=87, depth=6..11, filters=120704, revisions=(108833,useless=59813), ccks=270800, wck=1.527, mem=79M467
7.24/3.89	    decisions=8378, wrong=3805, backtracks=2320, failedAssignments=2330, nogoods=365, foundSolutions=10, bestBound=-974
7.24/3.89	    nFilterCalls=356454, avgTableProportion=0.9972454807126503, avgTableSize=362.09405421176365
7.24/3.89	    
7.24/3.90	    num=88, depth=7..13, filters=121452, revisions=(109551,useless=60199), ccks=272381, wck=1.535, mem=79M467
7.24/3.90	    decisions=8434, wrong=3829, backtracks=2338, failedAssignments=2346, nogoods=371, foundSolutions=10, bestBound=-974
7.24/3.90	    nFilterCalls=358644, avgTableProportion=0.9972454803904822, avgTableSize=362.09400965860294
7.24/3.90	    
7.35/3.90	    num=89, depth=7..11, filters=122170, revisions=(110288,useless=60602), ccks=273872, wck=1.544, mem=79M467
7.35/3.90	    decisions=8489, wrong=3852, backtracks=2348, failedAssignments=2363, nogoods=377, foundSolutions=10, bestBound=-974
7.35/3.90	    nFilterCalls=360803, avgTableProportion=0.9972454791485119, avgTableSize=362.0938379115473
7.35/3.90	    
7.35/3.91	    num=90, depth=7..12, filters=123046, revisions=(111146,useless=61065), ccks=275593, wck=1.552, mem=79M467
7.35/3.91	    decisions=8556, wrong=3881, backtracks=2362, failedAssignments=2382, nogoods=384, foundSolutions=10, bestBound=-974
7.35/3.91	    nFilterCalls=362997, avgTableProportion=0.9972454787524797, avgTableSize=362.0937831442133
7.35/3.91	    
7.35/3.92	    num=91, depth=6..12, filters=124160, revisions=(112193,useless=61659), ccks=277838, wck=1.564, mem=82M110
7.35/3.92	    decisions=8629, wrong=3914, backtracks=2387, failedAssignments=2403, nogoods=389, foundSolutions=10, bestBound=-974
7.35/3.92	    nFilterCalls=366179, avgTableProportion=0.9972454834838947, avgTableSize=362.09443741995034
7.35/3.92	    
7.35/3.94	    num=92, depth=8..15, filters=125122, revisions=(113059,useless=62165), ccks=280295, wck=1.575, mem=82M110
7.35/3.94	    decisions=8715, wrong=3953, backtracks=2411, failedAssignments=2426, nogoods=391, foundSolutions=10, bestBound=-974
7.35/3.94	    nFilterCalls=369498, avgTableProportion=0.9972454832404984, avgTableSize=362.09440375861305
7.35/3.94	    
7.35/3.95	    num=93, depth=7..13, filters=126544, revisions=(114338,useless=62883), ccks=283120, wck=1.591, mem=82M110
7.35/3.95	    decisions=8811, wrong=3997, backtracks=2441, failedAssignments=2451, nogoods=400, foundSolutions=10, bestBound=-974
7.35/3.95	    nFilterCalls=373272, avgTableProportion=0.9972454865285594, avgTableSize=362.0948584410296
7.35/3.95	    
7.35/3.97	    num=94, depth=6..11, filters=127920, revisions=(115701,useless=63662), ccks=286173, wck=1.606, mem=82M110
7.35/3.97	    decisions=8917, wrong=4046, backtracks=2467, failedAssignments=2479, nogoods=408, foundSolutions=10, bestBound=-974
7.35/3.97	    nFilterCalls=377128, avgTableProportion=0.9972454845770513, avgTableSize=362.09458857470145
7.35/3.97	    
7.35/3.98	    num=95, depth=4..10, filters=129384, revisions=(117091,useless=64396), ccks=289462, wck=1.624, mem=82M110
7.35/3.98	    decisions=9024, wrong=4097, backtracks=2502, failedAssignments=2510, nogoods=412, foundSolutions=10, bestBound=-974
7.35/3.98	    nFilterCalls=381250, avgTableProportion=0.9972454851101895, avgTableSize=362.09466229508195
7.35/3.98	    
7.35/4.00	    num=96, depth=6..14, filters=131415, revisions=(118742,useless=65358), ccks=293557, wck=1.644, mem=82M110
7.35/4.00	    decisions=9154, wrong=4158, backtracks=2537, failedAssignments=2544, nogoods=419, foundSolutions=10, bestBound=-974
7.35/4.00	    nFilterCalls=386929, avgTableProportion=0.9972454799409654, avgTableSize=362.0939474683986
7.35/4.00	    
7.46/4.03	    num=97, depth=7..15, filters=133344, revisions=(120304,useless=66241), ccks=297053, wck=1.666, mem=82M110
7.46/4.03	    decisions=9279, wrong=4215, backtracks=2573, failedAssignments=2581, nogoods=425, foundSolutions=10, bestBound=-974
7.46/4.03	    nFilterCalls=393251, avgTableProportion=0.9972454833257632, avgTableSize=362.0944155259618
7.46/4.03	    
7.46/4.06	    num=98, depth=3..10, filters=135653, revisions=(122270,useless=67367), ccks=301422, wck=1.697, mem=82M110
7.46/4.06	    decisions=9412, wrong=4280, backtracks=2616, failedAssignments=2622, nogoods=428, foundSolutions=10, bestBound=-974
7.46/4.06	    nFilterCalls=400623, avgTableProportion=0.9972454918451393, avgTableSize=362.0955936129478
7.46/4.06	    
7.46/4.08	    num=99, depth=3..11, filters=137807, revisions=(124335,useless=68459), ccks=305789, wck=1.721, mem=82M110
7.46/4.08	    decisions=9561, wrong=4352, backtracks=2656, failedAssignments=2667, nogoods=431, foundSolutions=10, bestBound=-974
7.46/4.08	    nFilterCalls=405852, avgTableProportion=0.9972454934691278, avgTableSize=362.09581818002624
7.46/4.08	    
7.57/4.11	    num=100, depth=5..13, filters=140248, revisions=(126503,useless=69663), ccks=311253, wck=1.748, mem=82M110
7.57/4.11	    decisions=9727, wrong=4431, backtracks=2704, failedAssignments=2717, nogoods=436, foundSolutions=10, bestBound=-974
7.57/4.11	    nFilterCalls=412773, avgTableProportion=0.9972454909436304, avgTableSize=362.0954689381331
7.57/4.11	    
7.57/4.14	    num=101, depth=2..10, filters=143321, revisions=(129160,useless=71098), ccks=318984, wck=1.785, mem=82M110
7.57/4.14	    decisions=9926, wrong=4528, backtracks=2766, failedAssignments=2772, nogoods=439, foundSolutions=10, bestBound=-974
7.57/4.14	    nFilterCalls=421166, avgTableProportion=0.9972454924156656, avgTableSize=362.09567249018204
7.57/4.14	    
7.57/4.18	    num=102, depth=4..10, filters=146678, revisions=(132183,useless=72767), ccks=326059, wck=1.822, mem=82M110
7.57/4.18	    decisions=10132, wrong=4629, backtracks=2824, failedAssignments=2833, nogoods=445, foundSolutions=10, bestBound=-974
7.57/4.18	    nFilterCalls=430299, avgTableProportion=0.9972454906212538, avgTableSize=362.09542434446746
7.57/4.18	    
7.68/4.22	    num=103, depth=3..11, filters=150664, revisions=(135670,useless=74703), ccks=333415, wck=1.863, mem=84M752
7.68/4.22	    decisions=10378, wrong=4749, backtracks=2900, failedAssignments=2900, nogoods=453, foundSolutions=10, bestBound=-974
7.68/4.22	    nFilterCalls=440232, avgTableProportion=0.9972455004632751, avgTableSize=362.0967853313707
7.68/4.22	    
7.68/4.26	    num=104, depth=4..10, filters=154111, revisions=(138845,useless=76380), ccks=341690, wck=1.901, mem=84M752
7.68/4.26	    decisions=10609, wrong=4862, backtracks=2967, failedAssignments=2974, nogoods=464, foundSolutions=10, bestBound=-974
7.68/4.26	    nFilterCalls=448835, avgTableProportion=0.9972454973111604, avgTableSize=362.0963494379895
7.68/4.26	    
7.78/4.31	    num=105, depth=6..16, filters=158797, revisions=(142792,useless=78687), ccks=350862, wck=1.951, mem=84M752
7.78/4.31	    decisions=10904, wrong=5005, backtracks=3059, failedAssignments=3055, nogoods=473, foundSolutions=10, bestBound=-974
7.78/4.31	    nFilterCalls=462577, avgTableProportion=0.9972455156639072, avgTableSize=362.09888732038127
7.78/4.31	    
7.78/4.36	    num=106, depth=5..13, filters=163061, revisions=(146647,useless=80862), ccks=359846, wck=2.0, mem=84M752
7.78/4.36	    decisions=11201, wrong=5151, backtracks=3157, failedAssignments=3144, nogoods=481, foundSolutions=10, bestBound=-974
7.78/4.36	    nFilterCalls=474838, avgTableProportion=0.9972455163727798, avgTableSize=362.09898533815743
7.78/4.36	    
7.90/4.42	    num=107, depth=3..14, filters=168507, revisions=(151410,useless=83479), ccks=371731, wck=2.061, mem=84M752
7.90/4.42	    decisions=11527, wrong=5311, backtracks=3266, failedAssignments=3242, nogoods=487, foundSolutions=10, bestBound=-974
7.90/4.42	    nFilterCalls=490161, avgTableProportion=0.9972455252284825, avgTableSize=362.1002099310227
7.90/4.42	    
7.90/4.48	    num=108, depth=4..16, filters=174220, revisions=(156528,useless=86327), ccks=384297, wck=2.124, mem=84M752
7.90/4.48	    decisions=11934, wrong=5512, backtracks=3402, failedAssignments=3350, nogoods=495, foundSolutions=10, bestBound=-974
7.90/4.48	    nFilterCalls=506114, avgTableProportion=0.9972455336350659, avgTableSize=362.10137241807183
7.90/4.48	    
8.00/4.56	    num=109, depth=3..15, filters=181717, revisions=(163068,useless=89919), ccks=400079, wck=2.204, mem=87M394
8.00/4.56	    decisions=12364, wrong=5725, backtracks=3544, failedAssignments=3469, nogoods=498, foundSolutions=10, bestBound=-974
8.00/4.56	    nFilterCalls=526887, avgTableProportion=0.9972455276125157, avgTableSize=362.1005395843891
8.00/4.56	    
8.00/4.59	o -973
8.00/4.59	    num=110, depth=5..59, filters=183545, revisions=(164671,useless=90758), ccks=404331, wck=2.225, mem=87M394
8.00/4.59	    decisions=12487, wrong=5782, backtracks=3577, failedAssignments=3500, nogoods=509, foundSolutions=11, bestBound=-973
8.00/4.59	    nFilterCalls=532283, avgTableProportion=0.9972455235570155, avgTableSize=362.0999787706915
8.00/4.59	    
8.10/4.69	    num=111, depth=4..14, filters=192057, revisions=(171574,useless=94710), ccks=421853, wck=2.333, mem=87M394
8.10/4.69	    decisions=12978, wrong=6025, backtracks=3741, failedAssignments=3644, nogoods=521, foundSolutions=11, bestBound=-973
8.10/4.69	    nFilterCalls=557610, avgTableProportion=0.997245546911679, avgTableSize=362.10320833557506
8.10/4.69	    
8.22/4.70	    num=112, depth=7..11, filters=192655, revisions=(172131,useless=95012), ccks=423204, wck=2.339, mem=87M394
8.22/4.70	    decisions=13023, wrong=6044, backtracks=3750, failedAssignments=3655, nogoods=527, foundSolutions=11, bestBound=-973
8.22/4.70	    nFilterCalls=559205, avgTableProportion=0.99724554510619, avgTableSize=362.1029586645327
8.22/4.70	    
8.22/4.71	    num=113, depth=6..11, filters=193346, revisions=(172816,useless=95397), ccks=424688, wck=2.349, mem=87M394
8.22/4.71	    decisions=13071, wrong=6065, backtracks=3766, failedAssignments=3667, nogoods=531, foundSolutions=11, bestBound=-973
8.22/4.71	    nFilterCalls=561470, avgTableProportion=0.9972455433262231, avgTableSize=362.1027125224856
8.22/4.71	    
8.22/4.72	    num=114, depth=5..8, filters=193998, revisions=(173472,useless=95743), ccks=426102, wck=2.356, mem=87M394
8.22/4.72	    decisions=13116, wrong=6085, backtracks=3775, failedAssignments=3680, nogoods=537, foundSolutions=11, bestBound=-973
8.22/4.72	    nFilterCalls=562951, avgTableProportion=0.9972455413593315, avgTableSize=362.1024405321245
8.22/4.72	    
8.22/4.73	    num=115, depth=4..8, filters=194899, revisions=(174286,useless=96191), ccks=427824, wck=2.365, mem=87M394
8.22/4.73	    decisions=13161, wrong=6105, backtracks=3786, failedAssignments=3694, nogoods=544, foundSolutions=11, bestBound=-973
8.22/4.73	    nFilterCalls=564934, avgTableProportion=0.9972455417927717, avgTableSize=362.10250046908135
8.22/4.73	    
8.22/4.74	    num=116, depth=4..10, filters=195960, revisions=(175268,useless=96737), ccks=429969, wck=2.378, mem=87M394
8.22/4.74	    decisions=13229, wrong=6136, backtracks=3806, failedAssignments=3710, nogoods=550, foundSolutions=11, bestBound=-973
8.22/4.74	    nFilterCalls=567893, avgTableProportion=0.9972455417635074, avgTableSize=362.1024964209807
8.22/4.74	    
8.22/4.75	    num=117, depth=5..10, filters=196996, revisions=(176252,useless=97283), ccks=431928, wck=2.388, mem=87M394
8.22/4.75	    decisions=13295, wrong=6166, backtracks=3823, failedAssignments=3727, nogoods=552, foundSolutions=11, bestBound=-973
8.22/4.75	    nFilterCalls=570376, avgTableProportion=0.9972455425559371, avgTableSize=362.1026060002525
8.22/4.75	    
8.22/4.76	    num=118, depth=5..13, filters=198180, revisions=(177344,useless=97878), ccks=434619, wck=2.401, mem=87M394
8.22/4.76	    decisions=13366, wrong=6198, backtracks=3843, failedAssignments=3746, nogoods=555, foundSolutions=11, bestBound=-973
8.22/4.76	    nFilterCalls=573664, avgTableProportion=0.997245541227693, avgTableSize=362.102422323869
8.22/4.76	    
8.22/4.78	    num=119, depth=6..11, filters=199352, revisions=(178354,useless=98466), ccks=436838, wck=2.415, mem=87M394
8.22/4.78	    decisions=13439, wrong=6231, backtracks=3865, failedAssignments=3767, nogoods=565, foundSolutions=11, bestBound=-973
8.22/4.78	    nFilterCalls=576989, avgTableProportion=0.9972455404061021, avgTableSize=362.1023087095248
8.22/4.78	    
8.22/4.79	    num=120, depth=4..9, filters=200877, revisions=(179803,useless=99249), ccks=439982, wck=2.43, mem=87M394
8.22/4.79	    decisions=13526, wrong=6271, backtracks=3890, failedAssignments=3790, nogoods=567, foundSolutions=11, bestBound=-973
8.22/4.79	    nFilterCalls=580285, avgTableProportion=0.9972455370013844, avgTableSize=362.10183789000234
8.22/4.79	    
8.34/4.81	    num=121, depth=4..10, filters=202130, revisions=(181037,useless=99925), ccks=442528, wck=2.449, mem=90M37
8.34/4.81	    decisions=13621, wrong=6316, backtracks=3915, failedAssignments=3815, nogoods=573, foundSolutions=11, bestBound=-973
8.34/4.81	    nFilterCalls=583826, avgTableProportion=0.9972455345042016, avgTableSize=362.10149256799116
8.34/4.81	    
8.34/4.83	    num=122, depth=4..13, filters=203849, revisions=(182659,useless=100768), ccks=447116, wck=2.468, mem=90M37
8.34/4.83	    decisions=13738, wrong=6372, backtracks=3953, failedAssignments=3843, nogoods=579, foundSolutions=11, bestBound=-973
8.34/4.83	    nFilterCalls=588216, avgTableProportion=0.9972455343130149, avgTableSize=362.101466128089
8.34/4.83	    
8.34/4.85	    num=123, depth=4..13, filters=205884, revisions=(184447,useless=101723), ccks=451780, wck=2.49, mem=90M37
8.34/4.85	    decisions=13847, wrong=6423, backtracks=3988, failedAssignments=3874, nogoods=584, foundSolutions=11, bestBound=-973
8.34/4.85	    nFilterCalls=593501, avgTableProportion=0.9972455313735465, avgTableSize=362.1010596443814
8.34/4.85	    
8.34/4.88	    num=124, depth=3..10, filters=207785, revisions=(186200,useless=102768), ccks=454930, wck=2.516, mem=90M37
8.34/4.88	    decisions=13967, wrong=6481, backtracks=4018, failedAssignments=3908, nogoods=592, foundSolutions=11, bestBound=-973
8.34/4.88	    nFilterCalls=599226, avgTableProportion=0.9972455310891618, avgTableSize=362.1010203162079
8.34/4.88	    
8.45/4.90	    num=125, depth=5..11, filters=210230, revisions=(188279,useless=103879), ccks=460227, wck=2.542, mem=90M37
8.45/4.90	    decisions=14097, wrong=6543, backtracks=4057, failedAssignments=3945, nogoods=600, foundSolutions=11, bestBound=-973
8.45/4.90	    nFilterCalls=605238, avgTableProportion=0.9972455287074987, avgTableSize=362.10069096785065
8.45/4.90	    
8.45/4.94	    num=126, depth=2..11, filters=212947, revisions=(190690,useless=105271), ccks=465881, wck=2.578, mem=90M37
8.45/4.94	    decisions=14262, wrong=6623, backtracks=4107, failedAssignments=3986, nogoods=607, foundSolutions=11, bestBound=-973
8.45/4.94	    nFilterCalls=613340, avgTableProportion=0.9972455254321833, avgTableSize=362.1002380408909
8.45/4.94	    
8.45/4.96	    num=127, depth=6..15, filters=215313, revisions=(192761,useless=106395), ccks=471234, wck=2.601, mem=90M37
8.45/4.96	    decisions=14414, wrong=6695, backtracks=4151, failedAssignments=4031, nogoods=611, foundSolutions=11, bestBound=-973
8.45/4.96	    nFilterCalls=619938, avgTableProportion=0.997245521240192, avgTableSize=362.09965835293207
8.45/4.96	    
8.45/5.00	    num=128, depth=3..13, filters=218357, revisions=(195385,useless=107871), ccks=477209, wck=2.636, mem=90M37
8.45/5.00	    decisions=14604, wrong=6788, backtracks=4213, failedAssignments=4081, nogoods=617, foundSolutions=11, bestBound=-973
8.45/5.00	    nFilterCalls=627970, avgTableProportion=0.9972455217877154, avgTableSize=362.09973406372916
8.45/5.00	    
8.58/5.04	    num=129, depth=4..13, filters=222199, revisions=(198510,useless=109674), ccks=485182, wck=2.681, mem=90M37
8.58/5.04	    decisions=14812, wrong=6890, backtracks=4276, failedAssignments=4136, nogoods=622, foundSolutions=11, bestBound=-973
8.58/5.04	    nFilterCalls=638510, avgTableProportion=0.9972455236995333, avgTableSize=362.09999843385384
8.58/5.04	    
8.58/5.09	    num=130, depth=4..11, filters=225957, revisions=(201798,useless=111563), ccks=492798, wck=2.729, mem=90M37
8.58/5.09	    decisions=15047, wrong=7005, backtracks=4349, failedAssignments=4197, nogoods=630, foundSolutions=11, bestBound=-973
8.58/5.09	    nFilterCalls=649357, avgTableProportion=0.9972455215649036, avgTableSize=362.0997032449023
8.58/5.09	    
8.68/5.13	    num=131, depth=4..13, filters=230055, revisions=(205415,useless=113657), ccks=501504, wck=2.773, mem=92M679
8.68/5.13	    decisions=15311, wrong=7134, backtracks=4444, failedAssignments=4264, nogoods=636, foundSolutions=11, bestBound=-973
8.68/5.13	    nFilterCalls=660120, avgTableProportion=0.9972455205121059, avgTableSize=362.0995576561837
8.68/5.13	    
8.68/5.17	    num=132, depth=2..13, filters=233867, revisions=(208938,useless=115610), ccks=509585, wck=2.814, mem=92M679
8.68/5.17	    decisions=15557, wrong=7252, backtracks=4518, failedAssignments=4338, nogoods=642, foundSolutions=11, bestBound=-973
8.68/5.17	    nFilterCalls=670583, avgTableProportion=0.9972455226185285, avgTableSize=362.09984893741716
8.68/5.17	    
8.77/5.22	    num=133, depth=3..14, filters=238053, revisions=(212770,useless=117685), ccks=519530, wck=2.86, mem=92M679
8.77/5.22	    decisions=15836, wrong=7389, backtracks=4611, failedAssignments=4419, nogoods=650, foundSolutions=11, bestBound=-973
8.77/5.22	    nFilterCalls=681873, avgTableProportion=0.997245524131994, avgTableSize=362.1000582219856
8.77/5.22	    
8.77/5.28	    num=134, depth=3..10, filters=243216, revisions=(217267,useless=120312), ccks=529250, wck=2.922, mem=92M679
8.77/5.28	    decisions=16149, wrong=7543, backtracks=4706, failedAssignments=4508, nogoods=654, foundSolutions=11, bestBound=-973
8.77/5.28	    nFilterCalls=695999, avgTableProportion=0.9972455305798819, avgTableSize=362.1009498576866
8.77/5.28	    
8.87/5.35	    num=135, depth=2..10, filters=248790, revisions=(222068,useless=123061), ccks=541003, wck=2.991, mem=92M679
8.87/5.35	    decisions=16495, wrong=7714, backtracks=4818, failedAssignments=4606, nogoods=662, foundSolutions=11, bestBound=-973
8.87/5.35	    nFilterCalls=713030, avgTableProportion=0.9972455373721939, avgTableSize=362.10188912107486
8.87/5.35	    
8.97/5.43	    num=136, depth=3..12, filters=255181, revisions=(227803,useless=126325), ccks=555429, wck=3.069, mem=92M679
8.97/5.43	    decisions=16924, wrong=7926, backtracks=4958, failedAssignments=4714, nogoods=668, foundSolutions=11, bestBound=-973
8.97/5.43	    nFilterCalls=731030, avgTableProportion=0.9972455425754839, avgTableSize=362.1026086480719
8.97/5.43	    
9.07/5.52	    num=137, depth=3..11, filters=262963, revisions=(233978,useless=129985), ccks=569464, wck=3.159, mem=95M322
9.07/5.52	    decisions=17330, wrong=8127, backtracks=5095, failedAssignments=4833, nogoods=676, foundSolutions=11, bestBound=-973
9.07/5.52	    nFilterCalls=754117, avgTableProportion=0.9972455663961868, avgTableSize=362.1059026649711
9.07/5.52	    
9.07/5.56	o -972
9.07/5.56	    num=138, depth=5..59, filters=265832, revisions=(236512,useless=131408), ccks=575599, wck=3.195, mem=95M322
9.07/5.56	    decisions=17510, wrong=8212, backtracks=5146, failedAssignments=4885, nogoods=681, foundSolutions=12, bestBound=-972
9.07/5.56	    nFilterCalls=762623, avgTableProportion=0.9972455678488286, avgTableSize=362.1061035400191
9.07/5.56	    
9.18/5.64	    num=139, depth=2..13, filters=273116, revisions=(243273,useless=134972), ccks=591485, wck=3.277, mem=95M322
9.18/5.64	    decisions=17970, wrong=8440, backtracks=5284, failedAssignments=5029, nogoods=693, foundSolutions=12, bestBound=-972
9.18/5.64	    nFilterCalls=782194, avgTableProportion=0.9972455729563179, avgTableSize=362.1068098195588
9.18/5.64	    
9.18/5.64	    num=140, depth=8..13, filters=273745, revisions=(243865,useless=135312), ccks=592753, wck=3.283, mem=95M322
9.18/5.64	    decisions=18013, wrong=8457, backtracks=5295, failedAssignments=5040, nogoods=695, foundSolutions=12, bestBound=-972
9.18/5.64	    nFilterCalls=783965, avgTableProportion=0.9972455722169029, avgTableSize=362.10670756985326
9.18/5.64	    
9.18/5.66	    num=141, depth=5..13, filters=274758, revisions=(244718,useless=135794), ccks=594714, wck=3.295, mem=95M322
9.18/5.66	    decisions=18069, wrong=8481, backtracks=5312, failedAssignments=5052, nogoods=700, foundSolutions=12, bestBound=-972
9.18/5.66	    nFilterCalls=787154, avgTableProportion=0.997245571580345, avgTableSize=362.1066195433168
9.18/5.66	    
9.18/5.67	    num=142, depth=7..15, filters=275488, revisions=(245329,useless=136134), ccks=596215, wck=3.305, mem=95M322
9.18/5.67	    decisions=18119, wrong=8502, backtracks=5322, failedAssignments=5065, nogoods=706, foundSolutions=12, bestBound=-972
9.18/5.67	    nFilterCalls=789935, avgTableProportion=0.9972455719693357, avgTableSize=362.10667333388193
9.18/5.67	    
9.18/5.67	    num=143, depth=6..11, filters=276409, revisions=(246198,useless=136603), ccks=598122, wck=3.314, mem=95M322
9.18/5.67	    decisions=18176, wrong=8527, backtracks=5339, failedAssignments=5079, nogoods=713, foundSolutions=12, bestBound=-972
9.18/5.67	    nFilterCalls=792471, avgTableProportion=0.9972455728223353, avgTableSize=362.1067912895235
9.18/5.67	    
9.18/5.69	    num=144, depth=4..11, filters=277474, revisions=(247161,useless=137203), ccks=599963, wck=3.329, mem=95M322
9.18/5.69	    decisions=18237, wrong=8555, backtracks=5359, failedAssignments=5095, nogoods=719, foundSolutions=12, bestBound=-972
9.18/5.69	    nFilterCalls=795892, avgTableProportion=0.9972455776712513, avgTableSize=362.10746181642736
9.18/5.69	    
9.28/5.70	    num=145, depth=4..12, filters=278647, revisions=(248259,useless=137780), ccks=602255, wck=3.341, mem=95M322
9.28/5.70	    decisions=18303, wrong=8585, backtracks=5378, failedAssignments=5112, nogoods=724, foundSolutions=12, bestBound=-972
9.28/5.70	    nFilterCalls=799041, avgTableProportion=0.9972455765182839, avgTableSize=362.1073023787265
9.28/5.70	    
9.28/5.72	    num=146, depth=5..11, filters=279698, revisions=(249207,useless=138292), ccks=604472, wck=3.356, mem=95M322
9.28/5.72	    decisions=18373, wrong=8617, backtracks=5398, failedAssignments=5131, nogoods=726, foundSolutions=12, bestBound=-972
9.28/5.72	    nFilterCalls=802345, avgTableProportion=0.997245575810529, avgTableSize=362.10720450678946
9.28/5.72	    
9.28/5.73	    num=147, depth=6..14, filters=280778, revisions=(250247,useless=138856), ccks=606947, wck=3.367, mem=97M964
9.28/5.73	    decisions=18448, wrong=8651, backtracks=5415, failedAssignments=5152, nogoods=730, foundSolutions=12, bestBound=-972
9.28/5.73	    nFilterCalls=805293, avgTableProportion=0.9972455750558685, avgTableSize=362.10710014864156
9.28/5.73	    
9.28/5.74	    num=148, depth=4..9, filters=281929, revisions=(251308,useless=139439), ccks=609794, wck=3.382, mem=97M964
9.28/5.74	    decisions=18529, wrong=8689, backtracks=5434, failedAssignments=5175, nogoods=735, foundSolutions=12, bestBound=-972
9.28/5.74	    nFilterCalls=808829, avgTableProportion=0.9972455751032051, avgTableSize=362.10710669375106
9.28/5.74	    
9.28/5.76	    num=149, depth=5..13, filters=283431, revisions=(252617,useless=140113), ccks=612526, wck=3.395, mem=97M964
9.28/5.76	    decisions=18615, wrong=8729, backtracks=5452, failedAssignments=5200, nogoods=742, foundSolutions=12, bestBound=-972
9.28/5.76	    nFilterCalls=812055, avgTableProportion=0.9972455739319462, avgTableSize=362.1069447266503
9.28/5.76	    
9.28/5.77	    num=150, depth=5..12, filters=284877, revisions=(253914,useless=140859), ccks=615255, wck=3.411, mem=97M964
9.28/5.77	    decisions=18708, wrong=8772, backtracks=5475, failedAssignments=5228, nogoods=746, foundSolutions=12, bestBound=-972
9.28/5.77	    nFilterCalls=816204, avgTableProportion=0.9972455736421126, avgTableSize=362.1069046463874
9.28/5.77	    
9.28/5.79	    num=151, depth=3..8, filters=286782, revisions=(255731,useless=141920), ccks=618900, wck=3.433, mem=97M964
9.28/5.79	    decisions=18826, wrong=8829, backtracks=5509, failedAssignments=5259, nogoods=751, foundSolutions=12, bestBound=-972
9.28/5.79	    nFilterCalls=820749, avgTableProportion=0.9972455737224603, avgTableSize=362.1069157562178
9.28/5.79	    
9.38/5.81	    num=152, depth=5..13, filters=288535, revisions=(257278,useless=142791), ccks=622647, wck=3.453, mem=97M964
9.38/5.81	    decisions=18949, wrong=8888, backtracks=5546, failedAssignments=5293, nogoods=758, foundSolutions=12, bestBound=-972
9.38/5.81	    nFilterCalls=825636, avgTableProportion=0.997245574690327, avgTableSize=362.10704959570563
9.38/5.81	    
9.38/5.85	    num=153, depth=2..11, filters=290977, revisions=(259302,useless=143958), ccks=626825, wck=3.485, mem=97M964
9.38/5.85	    decisions=19081, wrong=8953, backtracks=5595, failedAssignments=5330, nogoods=760, foundSolutions=12, bestBound=-972
9.38/5.85	    nFilterCalls=832748, avgTableProportion=0.9972455811742802, avgTableSize=362.10794622142595
9.38/5.85	    
9.38/5.88	    num=154, depth=3..13, filters=293542, revisions=(261431,useless=145181), ccks=631456, wck=3.515, mem=97M964
9.38/5.88	    decisions=19224, wrong=9022, backtracks=5642, failedAssignments=5371, nogoods=767, foundSolutions=12, bestBound=-972
9.38/5.88	    nFilterCalls=840065, avgTableProportion=0.9972455855916811, avgTableSize=362.10855707594055
9.38/5.88	    
9.48/5.91	    num=155, depth=2..9, filters=296770, revisions=(264325,useless=146874), ccks=636333, wck=3.554, mem=97M964
9.48/5.91	    decisions=19391, wrong=9104, backtracks=5690, failedAssignments=5416, nogoods=772, foundSolutions=12, bestBound=-972
9.48/5.91	    nFilterCalls=848457, avgTableProportion=0.9972455889752745, avgTableSize=362.1090249712124
9.48/5.91	    
9.48/5.93	o -970
9.48/5.93	    num=156, depth=10..59, filters=298189, revisions=(265443,useless=147552), ccks=639241, wck=3.571, mem=97M964
9.48/5.93	    decisions=19480, wrong=9142, backtracks=5711, failedAssignments=5438, nogoods=780, foundSolutions=13, bestBound=-970
9.48/5.93	    nFilterCalls=853410, avgTableProportion=0.9972455885261727, avgTableSize=362.10896286661745
9.48/5.93	    
9.48/5.96	    num=157, depth=2..12, filters=300862, revisions=(267951,useless=148939), ccks=644277, wck=3.6, mem=97M964
9.48/5.96	    decisions=19679, wrong=9240, backtracks=5774, failedAssignments=5493, nogoods=784, foundSolutions=13, bestBound=-970
9.48/5.96	    nFilterCalls=860670, avgTableProportion=0.9972455916259908, avgTableSize=362.10939152055954
9.48/5.96	    
9.48/5.97	    num=158, depth=4..7, filters=301389, revisions=(268510,useless=149250), ccks=645230, wck=3.606, mem=97M964
9.48/5.97	    decisions=19712, wrong=9254, backtracks=5780, failedAssignments=5504, nogoods=788, foundSolutions=13, bestBound=-970
9.48/5.97	    nFilterCalls=862054, avgTableProportion=0.9972455918323722, avgTableSize=362.1094200595322
9.48/5.97	    
9.48/5.97	    num=159, depth=4..13, filters=301923, revisions=(269013,useless=149528), ccks=646575, wck=3.614, mem=97M964
9.48/5.97	    decisions=19753, wrong=9271, backtracks=5792, failedAssignments=5516, nogoods=792, foundSolutions=13, bestBound=-970
9.48/5.97	    nFilterCalls=863822, avgTableProportion=0.9972455918201969, avgTableSize=362.109418375545
9.48/5.97	    
9.48/5.98	    num=160, depth=5..11, filters=302635, revisions=(269720,useless=149917), ccks=648062, wck=3.621, mem=97M964
9.48/5.98	    decisions=19805, wrong=9294, backtracks=5807, failedAssignments=5529, nogoods=795, foundSolutions=13, bestBound=-970
9.48/5.98	    nFilterCalls=865723, avgTableProportion=0.9972455912437976, avgTableSize=362.10933866837314
9.48/5.98	    
9.48/5.99	    num=161, depth=9..13, filters=303404, revisions=(270416,useless=150325), ccks=649790, wck=3.629, mem=100M607
9.48/5.99	    decisions=19858, wrong=9316, backtracks=5818, failedAssignments=5543, nogoods=802, foundSolutions=13, bestBound=-970
9.48/5.99	    nFilterCalls=868104, avgTableProportion=0.9972455907328641, avgTableSize=362.1092680139707
9.48/5.99	    
9.48/6.00	    num=162, depth=2..7, filters=304549, revisions=(271490,useless=150929), ccks=651960, wck=3.641, mem=100M607
9.48/6.00	    decisions=19919, wrong=9345, backtracks=5839, failedAssignments=5559, nogoods=807, foundSolutions=13, bestBound=-970
9.48/6.00	    nFilterCalls=870623, avgTableProportion=0.9972455906145377, avgTableSize=362.1092516508293
9.48/6.00	    
9.59/6.01	    num=163, depth=4..11, filters=305380, revisions=(272312,useless=151405), ccks=653318, wck=3.652, mem=100M607
9.59/6.01	    decisions=19974, wrong=9370, backtracks=5854, failedAssignments=5576, nogoods=811, foundSolutions=13, bestBound=-970
9.59/6.01	    nFilterCalls=872992, avgTableProportion=0.9972455910468012, avgTableSize=362.10931142553426
9.59/6.01	    
9.59/6.03	    num=164, depth=6..10, filters=306627, revisions=(273410,useless=151985), ccks=656170, wck=3.665, mem=100M607
9.59/6.03	    decisions=20050, wrong=9405, backtracks=5878, failedAssignments=5595, nogoods=816, foundSolutions=13, bestBound=-970
9.59/6.03	    nFilterCalls=876407, avgTableProportion=0.9972455896581252, avgTableSize=362.10911939315866
9.59/6.03	    
9.59/6.04	    num=165, depth=5..11, filters=308128, revisions=(274633,useless=152661), ccks=658792, wck=3.68, mem=100M607
9.59/6.04	    decisions=20130, wrong=9442, backtracks=5898, failedAssignments=5616, nogoods=822, foundSolutions=13, bestBound=-970
9.59/6.04	    nFilterCalls=879926, avgTableProportion=0.9972455902910115, avgTableSize=362.1092069105811
9.59/6.04	    
9.59/6.06	    num=166, depth=4..10, filters=309698, revisions=(276042,useless=153463), ccks=662152, wck=3.699, mem=100M607
9.59/6.06	    decisions=20229, wrong=9489, backtracks=5928, failedAssignments=5639, nogoods=824, foundSolutions=13, bestBound=-970
9.59/6.06	    nFilterCalls=884148, avgTableProportion=0.9972455889572461, avgTableSize=362.10902247135095
9.59/6.06	    
9.59/6.08	    num=167, depth=3..9, filters=311413, revisions=(277567,useless=154356), ccks=665168, wck=3.717, mem=100M607
9.59/6.08	    decisions=20320, wrong=9533, backtracks=5955, failedAssignments=5664, nogoods=827, foundSolutions=13, bestBound=-970
9.59/6.08	    nFilterCalls=888224, avgTableProportion=0.9972455915594798, avgTableSize=362.1093823179738
9.59/6.08	    
9.59/6.10	    num=168, depth=3..10, filters=313081, revisions=(279023,useless=155152), ccks=668345, wck=3.737, mem=100M607
9.59/6.10	    decisions=20421, wrong=9581, backtracks=5986, failedAssignments=5692, nogoods=832, foundSolutions=13, bestBound=-970
9.59/6.10	    nFilterCalls=892645, avgTableProportion=0.9972455903882207, avgTableSize=362.1092203507553
9.59/6.10	    
9.70/6.12	    num=169, depth=1..12, filters=315151, revisions=(280984,useless=156329), ccks=672135, wck=3.763, mem=100M607
9.70/6.12	    decisions=20539, wrong=9634, backtracks=6020, failedAssignments=5723, nogoods=836, foundSolutions=13, bestBound=-970
9.70/6.12	    nFilterCalls=898549, avgTableProportion=0.9972455909609462, avgTableSize=362.1092995484943
9.70/6.12	    
9.70/6.15	    num=170, depth=4..12, filters=317303, revisions=(282775,useless=157333), ccks=676023, wck=3.79, mem=100M607
9.70/6.15	    decisions=20668, wrong=9696, backtracks=6061, failedAssignments=5757, nogoods=840, foundSolutions=13, bestBound=-970
9.70/6.15	    nFilterCalls=904777, avgTableProportion=0.9972455923299407, avgTableSize=362.10948885747536
9.70/6.15	    
9.70/6.17	o -10
9.70/6.17	    num=171, depth=1..59, filters=319098, revisions=(284518,useless=158346), ccks=679388, wck=3.814, mem=100M607
9.70/6.17	    decisions=20786, wrong=9746, backtracks=6096, failedAssignments=5785, nogoods=841, foundSolutions=14, bestBound=-10
9.70/6.17	    nFilterCalls=909948, avgTableProportion=0.9972455944187213, avgTableSize=362.10977770158297
9.70/6.17	    
9.70/6.18	o 2
9.70/6.18	    num=172, depth=61..59, filters=319215, revisions=(284680,useless=158422), ccks=679834, wck=3.816, mem=100M607
9.70/6.18	    decisions=20804, wrong=9746, backtracks=6096, failedAssignments=5785, nogoods=841, foundSolutions=15, bestBound=2
9.70/6.18	    nFilterCalls=910353, avgTableProportion=0.9972455940258309, avgTableSize=362.10972337104397
9.70/6.18	    
9.70/6.18	    num=173, depth=13..17, filters=319763, revisions=(285155,useless=158698), ccks=681262, wck=3.82, mem=100M607
9.70/6.18	    decisions=20853, wrong=9764, backtracks=6104, failedAssignments=5796, nogoods=845, foundSolutions=15, bestBound=2
9.70/6.18	    nFilterCalls=913096, avgTableProportion=0.9972455938359883, avgTableSize=362.10969711837527
9.70/6.18	    
9.70/6.19	    num=174, depth=10..13, filters=320235, revisions=(285557,useless=158888), ccks=682699, wck=3.825, mem=100M607
9.70/6.19	    decisions=20897, wrong=9781, backtracks=6113, failedAssignments=5807, nogoods=849, foundSolutions=15, bestBound=2
9.70/6.19	    nFilterCalls=914765, avgTableProportion=0.9972455931080347, avgTableSize=362.109596453734
9.70/6.19	    
9.70/6.19	    num=175, depth=13..17, filters=320841, revisions=(285990,useless=159108), ccks=684360, wck=3.83, mem=100M607
9.70/6.19	    decisions=20950, wrong=9801, backtracks=6122, failedAssignments=5819, nogoods=853, foundSolutions=15, bestBound=2
9.70/6.19	    nFilterCalls=917903, avgTableProportion=0.9972455918324381, avgTableSize=362.1094200585465
9.70/6.19	    
9.70/6.19	    num=176, depth=10..15, filters=321507, revisions=(286501,useless=159339), ccks=685981, wck=3.835, mem=100M607
9.70/6.19	    decisions=21004, wrong=9822, backtracks=6134, failedAssignments=5832, nogoods=855, foundSolutions=15, bestBound=2
9.70/6.19	    nFilterCalls=920557, avgTableProportion=0.9972455917978703, avgTableSize=362.10941527792414
9.70/6.19	    
9.79/6.20	    num=177, depth=9..13, filters=322290, revisions=(287177,useless=159668), ccks=688314, wck=3.842, mem=100M607
9.79/6.20	    decisions=21071, wrong=9851, backtracks=6153, failedAssignments=5846, nogoods=860, foundSolutions=15, bestBound=2
9.79/6.20	    nFilterCalls=923003, avgTableProportion=0.997245591064308, avgTableSize=362.10931383754985
9.79/6.20	    
9.79/6.21	    num=178, depth=11..15, filters=323268, revisions=(287934,useless=160048), ccks=690872, wck=3.85, mem=100M607
9.79/6.21	    decisions=21150, wrong=9885, backtracks=6174, failedAssignments=5862, nogoods=866, foundSolutions=15, bestBound=2
9.79/6.21	    nFilterCalls=926378, avgTableProportion=0.9972455908774769, avgTableSize=362.1092880012263
9.79/6.21	    
9.79/6.22	    num=179, depth=8..14, filters=324033, revisions=(288570,useless=160362), ccks=693011, wck=3.858, mem=103M249
9.79/6.22	    decisions=21219, wrong=9915, backtracks=6194, failedAssignments=5879, nogoods=872, foundSolutions=15, bestBound=2
9.79/6.22	    nFilterCalls=929107, avgTableProportion=0.9972455925333951, avgTableSize=362.10951698781736
9.79/6.22	    
9.79/6.22	    num=180, depth=10..14, filters=324832, revisions=(289286,useless=160707), ccks=695376, wck=3.864, mem=103M249
9.79/6.22	    decisions=21292, wrong=9946, backtracks=6212, failedAssignments=5898, nogoods=875, foundSolutions=15, bestBound=2
9.79/6.22	    nFilterCalls=931392, avgTableProportion=0.9972455922597391, avgTableSize=362.1094791451934
9.79/6.22	    
9.79/6.23	    num=181, depth=9..15, filters=325977, revisions=(290199,useless=161165), ccks=698381, wck=3.873, mem=103M249
9.79/6.23	    decisions=21373, wrong=9982, backtracks=6236, failedAssignments=5919, nogoods=877, foundSolutions=15, bestBound=2
9.79/6.23	    nFilterCalls=934854, avgTableProportion=0.9972455933348373, avgTableSize=362.10962781354095
9.79/6.23	    
9.79/6.24	    num=182, depth=9..15, filters=326892, revisions=(290989,useless=161571), ccks=700866, wck=3.882, mem=103M249
9.79/6.24	    decisions=21459, wrong=10020, backtracks=6255, failedAssignments=5942, nogoods=880, foundSolutions=15, bestBound=2
9.79/6.24	    nFilterCalls=938141, avgTableProportion=0.9972455938948768, avgTableSize=362.10970525752526
9.79/6.24	    
9.79/6.25	    num=183, depth=10..17, filters=328543, revisions=(292126,useless=162195), ccks=704629, wck=3.893, mem=103M249
9.79/6.25	    decisions=21571, wrong=10071, backtracks=6286, failedAssignments=5967, nogoods=882, foundSolutions=15, bestBound=2
9.79/6.25	    nFilterCalls=944656, avgTableProportion=0.9972456008631487, avgTableSize=362.1106688572348
9.79/6.25	    
9.79/6.26	    num=184, depth=9..13, filters=329833, revisions=(293162,useless=162717), ccks=708280, wck=3.904, mem=103M249
9.79/6.26	    decisions=21682, wrong=10121, backtracks=6315, failedAssignments=5995, nogoods=889, foundSolutions=15, bestBound=2
9.79/6.26	    nFilterCalls=949280, avgTableProportion=0.9972456005909462, avgTableSize=362.1106312152368
9.79/6.26	    
9.79/6.28	    num=185, depth=8..13, filters=331494, revisions=(294379,useless=163361), ccks=712295, wck=3.921, mem=103M249
9.79/6.28	    decisions=21792, wrong=10172, backtracks=6345, failedAssignments=6026, nogoods=897, foundSolutions=15, bestBound=2
9.79/6.28	    nFilterCalls=955242, avgTableProportion=0.9972456040613167, avgTableSize=362.1111111111111
9.79/6.28	    
9.79/6.29	    num=186, depth=7..15, filters=333016, revisions=(295647,useless=163945), ccks=716274, wck=3.934, mem=103M249
9.79/6.29	    decisions=21914, wrong=10228, backtracks=6382, failedAssignments=6060, nogoods=903, foundSolutions=15, bestBound=2
9.79/6.29	    nFilterCalls=960369, avgTableProportion=0.9972456061947972, avgTableSize=362.11140613659956
9.79/6.29	    
9.90/6.31	o 10
9.90/6.31	    num=187, depth=8..59, filters=334460, revisions=(296782,useless=164563), ccks=719472, wck=3.947, mem=103M249
9.90/6.31	    decisions=22016, wrong=10273, backtracks=6409, failedAssignments=6084, nogoods=907, foundSolutions=16, bestBound=10
9.90/6.31	    nFilterCalls=965621, avgTableProportion=0.9972456080138327, avgTableSize=362.1116576793587
9.90/6.31	    
9.90/6.31	o 11
9.90/6.31	    num=188, depth=9..59, filters=334836, revisions=(297173,useless=164782), ccks=720440, wck=3.951, mem=103M249
9.90/6.31	    decisions=22050, wrong=10284, backtracks=6414, failedAssignments=6090, nogoods=911, foundSolutions=17, bestBound=11
9.90/6.31	    nFilterCalls=966977, avgTableProportion=0.9972456081080042, avgTableSize=362.1116707015782
9.90/6.31	    
9.90/6.32	    num=189, depth=8..13, filters=335430, revisions=(297752,useless=165120), ccks=721771, wck=3.958, mem=103M249
9.90/6.32	    decisions=22100, wrong=10304, backtracks=6427, failedAssignments=6101, nogoods=914, foundSolutions=17, bestBound=11
9.90/6.32	    nFilterCalls=969023, avgTableProportion=0.9972456078507069, avgTableSize=362.1116351211478
9.90/6.32	    
9.90/6.32	    num=190, depth=7..12, filters=335913, revisions=(298175,useless=165324), ccks=722970, wck=3.963, mem=103M249
9.90/6.32	    decisions=22140, wrong=10320, backtracks=6438, failedAssignments=6112, nogoods=919, foundSolutions=17, bestBound=11
9.90/6.32	    nFilterCalls=970568, avgTableProportion=0.9972456077204968, avgTableSize=362.1116171149265
9.90/6.32	    
9.90/6.33	    num=191, depth=7..14, filters=336546, revisions=(298732,useless=165617), ccks=724405, wck=3.969, mem=103M249
9.90/6.33	    decisions=22187, wrong=10340, backtracks=6452, failedAssignments=6124, nogoods=920, foundSolutions=17, bestBound=11
9.90/6.33	    nFilterCalls=972320, avgTableProportion=0.9972456081105644, avgTableSize=362.1116710547968
9.90/6.33	    
9.90/6.34	    num=192, depth=10..15, filters=337204, revisions=(299257,useless=165895), ccks=726049, wck=3.975, mem=103M249
9.90/6.34	    decisions=22236, wrong=10359, backtracks=6462, failedAssignments=6137, nogoods=922, foundSolutions=17, bestBound=11
9.90/6.34	    nFilterCalls=975001, avgTableProportion=0.9972456067726306, avgTableSize=362.1114860395015
9.90/6.34	    
9.90/6.34	    num=193, depth=6..11, filters=337880, revisions=(299864,useless=166207), ccks=727580, wck=3.982, mem=103M249
9.90/6.34	    decisions=22282, wrong=10379, backtracks=6474, failedAssignments=6151, nogoods=923, foundSolutions=17, bestBound=11
9.90/6.34	    nFilterCalls=976710, avgTableProportion=0.9972456078126651, avgTableSize=362.11162985942605
9.90/6.34	    
9.90/6.35	    num=194, depth=7..12, filters=338762, revisions=(300644,useless=166608), ccks=729943, wck=3.99, mem=103M249
9.90/6.35	    decisions=22354, wrong=10411, backtracks=6497, failedAssignments=6167, nogoods=928, foundSolutions=17, bestBound=11
9.90/6.35	    nFilterCalls=979348, avgTableProportion=0.9972456072774799, avgTableSize=362.111555851444
9.90/6.35	    
9.90/6.36	    num=195, depth=9..13, filters=339497, revisions=(301232,useless=166905), ccks=732216, wck=3.999, mem=103M249
9.90/6.36	    decisions=22417, wrong=10437, backtracks=6513, failedAssignments=6184, nogoods=934, foundSolutions=17, bestBound=11
9.90/6.36	    nFilterCalls=982761, avgTableProportion=0.9972456064405447, avgTableSize=362.1114401161625
9.90/6.36	    
9.90/6.37	    num=196, depth=5..12, filters=340615, revisions=(302224,useless=167331), ccks=734347, wck=4.008, mem=103M249
9.90/6.37	    decisions=22502, wrong=10477, backtracks=6543, failedAssignments=6203, nogoods=935, foundSolutions=17, bestBound=11
9.90/6.37	    nFilterCalls=986680, avgTableProportion=0.9972456067649809, avgTableSize=362.1114849799327
9.90/6.37	    
9.90/6.38	    num=197, depth=6..11, filters=341538, revisions=(303094,useless=167785), ccks=736789, wck=4.017, mem=103M249
9.90/6.38	    decisions=22583, wrong=10513, backtracks=6565, failedAssignments=6224, nogoods=940, foundSolutions=17, bestBound=11
9.90/6.38	    nFilterCalls=989101, avgTableProportion=0.9972456066852541, avgTableSize=362.11147395463155
9.90/6.38	    
9.90/6.39	    num=198, depth=9..14, filters=342700, revisions=(303908,useless=168212), ccks=739393, wck=4.029, mem=105M892
9.90/6.39	    decisions=22663, wrong=10548, backtracks=6585, failedAssignments=6247, nogoods=945, foundSolutions=17, bestBound=11
9.90/6.39	    nFilterCalls=993767, avgTableProportion=0.9972456056218386, avgTableSize=362.11132690057127
9.90/6.39	    
10.00/6.40	o 18
10.00/6.40	    num=199, depth=6..59, filters=343956, revisions=(304984,useless=168747), ccks=742276, wck=4.041, mem=105M892
10.00/6.40	    decisions=22760, wrong=10591, backtracks=6612, failedAssignments=6269, nogoods=946, foundSolutions=18, bestBound=18
10.00/6.40	    nFilterCalls=997247, avgTableProportion=0.9972456062931994, avgTableSize=362.1114197385402
10.00/6.40	    
10.00/6.41	    num=200, depth=6..16, filters=345503, revisions=(306319,useless=169417), ccks=745504, wck=4.055, mem=105M892
10.00/6.41	    decisions=22869, wrong=10641, backtracks=6646, failedAssignments=6297, nogoods=954, foundSolutions=18, bestBound=18
10.00/6.41	    nFilterCalls=1002059, avgTableProportion=0.9972456076777027, avgTableSize=362.1116111925545
10.00/6.41	    
10.00/6.42	    num=201, depth=6..11, filters=345998, revisions=(306785,useless=169641), ccks=746929, wck=4.061, mem=105M892
10.00/6.42	    decisions=22912, wrong=10659, backtracks=6657, failedAssignments=6308, nogoods=959, foundSolutions=18, bestBound=18
10.00/6.42	    nFilterCalls=1003647, avgTableProportion=0.9972456067753334, avgTableSize=362.1114864090661
10.00/6.42	    
10.00/6.43	    num=202, depth=7..11, filters=346440, revisions=(307196,useless=169854), ccks=748051, wck=4.067, mem=105M892
10.00/6.43	    decisions=22958, wrong=10678, backtracks=6667, failedAssignments=6320, nogoods=962, foundSolutions=18, bestBound=18
10.00/6.43	    nFilterCalls=1005474, avgTableProportion=0.9972456058354279, avgTableSize=362.1113564348755
10.00/6.43	    
10.00/6.43	    num=203, depth=6..11, filters=347034, revisions=(307719,useless=170110), ccks=749507, wck=4.074, mem=105M892
10.00/6.43	    decisions=23007, wrong=10699, backtracks=6684, failedAssignments=6333, nogoods=967, foundSolutions=18, bestBound=18
10.00/6.43	    nFilterCalls=1007465, avgTableProportion=0.9972456050264029, avgTableSize=362.11124455936437
10.00/6.43	    
10.00/6.44	    num=204, depth=6..9, filters=347757, revisions=(308372,useless=170418), ccks=751101, wck=4.081, mem=105M892
10.00/6.44	    decisions=23059, wrong=10722, backtracks=6698, failedAssignments=6347, nogoods=973, foundSolutions=18, bestBound=18
10.00/6.44	    nFilterCalls=1009648, avgTableProportion=0.9972456055575188, avgTableSize=362.11131800389836
10.00/6.44	    
10.00/6.45	    num=205, depth=6..12, filters=348679, revisions=(309152,useless=170818), ccks=753566, wck=4.09, mem=105M892
10.00/6.45	    decisions=23127, wrong=10753, backtracks=6719, failedAssignments=6363, nogoods=975, foundSolutions=18, bestBound=18
10.00/6.45	    nFilterCalls=1012443, avgTableProportion=0.9972456046565961, avgTableSize=362.11119342027155
10.00/6.45	    
10.00/6.46	    num=206, depth=4..13, filters=349432, revisions=(309835,useless=171164), ccks=755460, wck=4.098, mem=105M892
10.00/6.46	    decisions=23188, wrong=10779, backtracks=6737, failedAssignments=6380, nogoods=979, foundSolutions=18, bestBound=18
10.00/6.46	    nFilterCalls=1015110, avgTableProportion=0.9972456054861509, avgTableSize=362.11130813409386
10.00/6.46	    
10.00/6.47	    num=207, depth=5..10, filters=350446, revisions=(310753,useless=171600), ccks=757829, wck=4.108, mem=105M892
10.00/6.47	    decisions=23263, wrong=10814, backtracks=6756, failedAssignments=6399, nogoods=981, foundSolutions=18, bestBound=18
10.00/6.47	    nFilterCalls=1017787, avgTableProportion=0.9972456049534698, avgTableSize=362.11123447243875
10.00/6.47	    
10.00/6.48	    num=208, depth=8..14, filters=351308, revisions=(311511,useless=171983), ccks=760088, wck=4.116, mem=105M892
10.00/6.48	    decisions=23340, wrong=10848, backtracks=6775, failedAssignments=6420, nogoods=984, foundSolutions=18, bestBound=18
10.00/6.48	    nFilterCalls=1020452, avgTableProportion=0.997245605935387, avgTableSize=362.1113702555338
10.00/6.48	    
10.00/6.49	    num=209, depth=6..12, filters=352366, revisions=(312470,useless=172458), ccks=762796, wck=4.126, mem=105M892
10.00/6.49	    decisions=23420, wrong=10885, backtracks=6797, failedAssignments=6443, nogoods=986, foundSolutions=18, bestBound=18
10.00/6.49	    nFilterCalls=1023288, avgTableProportion=0.997245605568998, avgTableSize=362.111319589402
10.00/6.49	    
10.00/6.50	    num=210, depth=6..14, filters=353448, revisions=(313428,useless=172946), ccks=765731, wck=4.135, mem=105M892
10.00/6.50	    decisions=23511, wrong=10926, backtracks=6817, failedAssignments=6468, nogoods=995, foundSolutions=18, bestBound=18
10.00/6.50	    nFilterCalls=1026505, avgTableProportion=0.9972456057443095, avgTableSize=362.11134383173976
10.00/6.50	    
10.11/6.51	    num=211, depth=6..11, filters=354975, revisions=(314803,useless=173697), ccks=769650, wck=4.15, mem=105M892
10.11/6.51	    decisions=23616, wrong=10975, backtracks=6852, failedAssignments=6496, nogoods=1004, foundSolutions=18, bestBound=18
10.11/6.51	    nFilterCalls=1030789, avgTableProportion=0.9972456070001081, avgTableSize=362.11151748806014
10.11/6.51	    
10.11/6.53	    num=212, depth=7..13, filters=356530, revisions=(316051,useless=174327), ccks=773739, wck=4.168, mem=105M892
10.11/6.53	    decisions=23737, wrong=11032, backtracks=6885, failedAssignments=6527, nogoods=1007, foundSolutions=18, bestBound=18
10.11/6.53	    nFilterCalls=1036464, avgTableProportion=0.9972456047125958, avgTableSize=362.11120116087005
10.11/6.53	    
10.11/6.55	    num=213, depth=6..12, filters=358327, revisions=(317588,useless=175162), ccks=777299, wck=4.185, mem=105M892
10.11/6.55	    decisions=23857, wrong=11089, backtracks=6921, failedAssignments=6561, nogoods=1013, foundSolutions=18, bestBound=18
10.11/6.55	    nFilterCalls=1041516, avgTableProportion=0.9972456061443777, avgTableSize=362.11139915277346
10.11/6.55	    
10.11/6.56	    num=214, depth=7..12, filters=359965, revisions=(318988,useless=175888), ccks=781557, wck=4.2, mem=105M892
10.11/6.56	    decisions=23984, wrong=11148, backtracks=6955, failedAssignments=6598, nogoods=1018, foundSolutions=18, bestBound=18
10.11/6.56	    nFilterCalls=1046428, avgTableProportion=0.9972456060117488, avgTableSize=362.11138081167553
10.11/6.56	    
10.11/6.58	    num=215, depth=4..15, filters=361900, revisions=(320728,useless=176739), ccks=786363, wck=4.22, mem=105M892
10.11/6.58	    decisions=24135, wrong=11221, backtracks=7000, failedAssignments=6639, nogoods=1023, foundSolutions=18, bestBound=18
10.11/6.58	    nFilterCalls=1051850, avgTableProportion=0.997245605283603, avgTableSize=362.1112801254932
10.11/6.58	    
10.21/6.60	    num=216, depth=6..13, filters=364041, revisions=(322492,useless=177661), ccks=791880, wck=4.242, mem=108M534
10.21/6.60	    decisions=24293, wrong=11296, backtracks=7047, failedAssignments=6684, nogoods=1026, foundSolutions=18, bestBound=18
10.21/6.60	    nFilterCalls=1058317, avgTableProportion=0.9972456078340541, avgTableSize=362.11163290394086
10.21/6.60	    
10.21/6.63	    num=217, depth=5..9, filters=366804, revisions=(325077,useless=179032), ccks=798849, wck=4.269, mem=108M534
10.21/6.63	    decisions=24475, wrong=11384, backtracks=7103, failedAssignments=6734, nogoods=1034, foundSolutions=18, bestBound=18
10.21/6.63	    nFilterCalls=1065652, avgTableProportion=0.9972456093681132, avgTableSize=362.111845142692
10.21/6.63	    
10.21/6.66	    num=218, depth=3..11, filters=369483, revisions=(327593,useless=180295), ccks=805744, wck=4.3, mem=108M534
10.21/6.66	    decisions=24667, wrong=11478, backtracks=7161, failedAssignments=6789, nogoods=1039, foundSolutions=18, bestBound=18
10.21/6.66	    nFilterCalls=1073137, avgTableProportion=0.9972456085441634, avgTableSize=362.1117313073727
10.21/6.66	    
10.21/6.69	    num=219, depth=4..10, filters=372456, revisions=(330299,useless=181696), ccks=813572, wck=4.331, mem=108M534
10.21/6.69	    decisions=24882, wrong=11583, backtracks=7225, failedAssignments=6850, nogoods=1046, foundSolutions=18, bestBound=18
10.21/6.69	    nFilterCalls=1081456, avgTableProportion=0.9972456076841347, avgTableSize=362.1116124927875
10.21/6.69	    
10.31/6.74	    num=220, depth=5..12, filters=376258, revisions=(333257,useless=183321), ccks=822807, wck=4.38, mem=108M534
10.31/6.74	    decisions=25126, wrong=11701, backtracks=7301, failedAssignments=6917, nogoods=1051, foundSolutions=18, bestBound=18
10.31/6.74	    nFilterCalls=1095475, avgTableProportion=0.9972456139955788, avgTableSize=362.1124854515165
10.31/6.74	    
10.31/6.79	    num=221, depth=4..13, filters=380787, revisions=(337031,useless=185381), ccks=833403, wck=4.433, mem=108M534
10.31/6.79	    decisions=25421, wrong=11845, backtracks=7402, failedAssignments=6991, nogoods=1057, foundSolutions=18, bestBound=18
10.31/6.79	    nFilterCalls=1111270, avgTableProportion=0.997245611314938, avgTableSize=362.11211496755965
10.31/6.79	    
10.41/6.85	    num=222, depth=3..13, filters=384712, revisions=(340239,useless=187077), ccks=842161, wck=4.487, mem=108M534
10.41/6.85	    decisions=25686, wrong=11976, backtracks=7490, failedAssignments=7072, nogoods=1060, foundSolutions=18, bestBound=18
10.41/6.85	    nFilterCalls=1124679, avgTableProportion=0.997245612777463, avgTableSize=362.1123173812261
10.41/6.85	    
10.52/6.90	    num=223, depth=3..10, filters=389777, revisions=(344871,useless=189435), ccks=854600, wck=4.54, mem=111M176
10.52/6.90	    decisions=26052, wrong=12157, backtracks=7606, failedAssignments=7161, nogoods=1066, foundSolutions=18, bestBound=18
10.52/6.90	    nFilterCalls=1138263, avgTableProportion=0.9972456156369256, avgTableSize=362.11271296703836
10.52/6.90	    
10.52/6.96	    num=224, depth=5..13, filters=394610, revisions=(348897,useless=191658), ccks=866225, wck=4.599, mem=111M176
10.52/6.96	    decisions=26376, wrong=12316, backtracks=7712, failedAssignments=7259, nogoods=1072, foundSolutions=18, bestBound=18
10.52/6.96	    nFilterCalls=1154110, avgTableProportion=0.997245621944253, avgTableSize=362.1135853601476
10.52/6.96	    
10.63/7.01	    num=225, depth=4..12, filters=400057, revisions=(353796,useless=194150), ccks=878564, wck=4.651, mem=111M176
10.63/7.01	    decisions=26756, wrong=12503, backtracks=7830, failedAssignments=7367, nogoods=1077, foundSolutions=18, bestBound=18
10.63/7.01	    nFilterCalls=1168250, avgTableProportion=0.997245620295904, avgTableSize=362.1133575861331
10.63/7.01	    
10.63/7.07	    num=226, depth=5..14, filters=405697, revisions=(358238,useless=196648), ccks=891376, wck=4.714, mem=111M176
10.63/7.07	    decisions=27157, wrong=12700, backtracks=7952, failedAssignments=7486, nogoods=1085, foundSolutions=18, bestBound=18
10.63/7.07	    nFilterCalls=1187241, avgTableProportion=0.9972456279460229, avgTableSize=362.1144156915066
10.63/7.07	    
10.73/7.16	o 20
10.73/7.16	    num=227, depth=2..59, filters=411763, revisions=(363651,useless=199537), ccks=907330, wck=4.796, mem=111M176
10.73/7.16	    decisions=27582, wrong=12908, backtracks=8089, failedAssignments=7601, nogoods=1096, foundSolutions=19, bestBound=20
10.73/7.16	    nFilterCalls=1208138, avgTableProportion=0.9972456259813894, avgTableSize=362.11414424511105
10.73/7.16	    
10.83/7.23	    num=228, depth=4..12, filters=418773, revisions=(369999,useless=202974), ccks=924332, wck=4.871, mem=113M819
10.83/7.23	    decisions=28071, wrong=13150, backtracks=8239, failedAssignments=7745, nogoods=1109, foundSolutions=19, bestBound=20
10.83/7.23	    nFilterCalls=1227527, avgTableProportion=0.9972456300910464, avgTableSize=362.1147127517358
10.83/7.23	    
10.83/7.24	    num=229, depth=6..12, filters=419267, revisions=(370439,useless=203180), ccks=925595, wck=4.877, mem=113M819
10.83/7.24	    decisions=28109, wrong=13166, backtracks=8249, failedAssignments=7756, nogoods=1111, foundSolutions=19, bestBound=20
10.83/7.24	    nFilterCalls=1228996, avgTableProportion=0.9972456295171613, avgTableSize=362.1146334080827
10.83/7.24	    
10.83/7.25	    num=230, depth=6..13, filters=419885, revisions=(370938,useless=203446), ccks=927123, wck=4.886, mem=113M819
10.83/7.25	    decisions=28153, wrong=13184, backtracks=8260, failedAssignments=7768, nogoods=1114, foundSolutions=19, bestBound=20
10.83/7.25	    nFilterCalls=1231298, avgTableProportion=0.9972456315967225, avgTableSize=362.1149210020645
10.83/7.25	    
10.83/7.25	    num=231, depth=7..14, filters=420616, revisions=(371527,useless=203751), ccks=928824, wck=4.892, mem=113M819
10.83/7.25	    decisions=28206, wrong=13207, backtracks=8274, failedAssignments=7781, nogoods=1115, foundSolutions=19, bestBound=20
10.83/7.25	    nFilterCalls=1233428, avgTableProportion=0.9972456310408635, avgTableSize=362.1148441579079
10.83/7.25	    
10.83/7.26	    num=232, depth=5..11, filters=421456, revisions=(372252,useless=204169), ccks=930741, wck=4.901, mem=113M819
10.83/7.26	    decisions=28264, wrong=13233, backtracks=8291, failedAssignments=7795, nogoods=1118, foundSolutions=19, bestBound=20
10.83/7.26	    nFilterCalls=1235781, avgTableProportion=0.997245633011395, avgTableSize=362.11511667520375
10.83/7.26	    
10.83/7.27	    num=233, depth=5..10, filters=422136, revisions=(372899,useless=204497), ccks=932420, wck=4.909, mem=113M819
10.83/7.27	    decisions=28318, wrong=13256, backtracks=8303, failedAssignments=7811, nogoods=1122, foundSolutions=19, bestBound=20
10.83/7.27	    nFilterCalls=1237646, avgTableProportion=0.9972456328961925, avgTableSize=362.11510076386946
10.83/7.27	    
10.83/7.28	    num=234, depth=4..11, filters=422918, revisions=(373647,useless=204869), ccks=934311, wck=4.917, mem=113M819
10.83/7.28	    decisions=28380, wrong=13284, backtracks=8321, failedAssignments=7828, nogoods=1124, foundSolutions=19, bestBound=20
10.83/7.28	    nFilterCalls=1239618, avgTableProportion=0.9972456332520222, avgTableSize=362.1151499897549
10.83/7.28	    
10.83/7.28	    num=235, depth=3..7, filters=423757, revisions=(374407,useless=205243), ccks=936009, wck=4.924, mem=113M819
10.83/7.28	    decisions=28437, wrong=13311, backtracks=8335, failedAssignments=7847, nogoods=1125, foundSolutions=19, bestBound=20
10.83/7.28	    nFilterCalls=1242215, avgTableProportion=0.9972456328091392, avgTableSize=362.11508877287747
10.83/7.28	    
10.83/7.30	    num=236, depth=4..11, filters=424738, revisions=(375250,useless=205708), ccks=937885, wck=4.935, mem=113M819
10.83/7.30	    decisions=28516, wrong=13348, backtracks=8360, failedAssignments=7868, nogoods=1128, foundSolutions=19, bestBound=20
10.83/7.30	    nFilterCalls=1245551, avgTableProportion=0.9972456344349045, avgTableSize=362.1153136242514
10.83/7.30	    
10.93/7.32	    num=237, depth=5..12, filters=426670, revisions=(376420,useless=206396), ccks=941132, wck=4.959, mem=113M819
10.93/7.32	    decisions=28610, wrong=13392, backtracks=8392, failedAssignments=7891, nogoods=1130, foundSolutions=19, bestBound=20
10.93/7.32	    nFilterCalls=1252730, avgTableProportion=0.9972456397056974, avgTableSize=362.1160425630423
10.93/7.32	    
10.93/7.33	    num=238, depth=5..11, filters=427757, revisions=(377506,useless=206966), ccks=943848, wck=4.971, mem=113M819
10.93/7.33	    decisions=28703, wrong=13435, backtracks=8419, failedAssignments=7916, nogoods=1139, foundSolutions=19, bestBound=20
10.93/7.33	    nFilterCalls=1255752, avgTableProportion=0.9972456399779753, avgTableSize=362.11608024514396
10.93/7.33	    
10.93/7.35	    num=239, depth=2..9, filters=429559, revisions=(379013,useless=207793), ccks=947265, wck=4.994, mem=113M819
10.93/7.35	    decisions=28812, wrong=13488, backtracks=8452, failedAssignments=7944, nogoods=1142, foundSolutions=19, bestBound=20
10.93/7.35	    nFilterCalls=1261701, avgTableProportion=0.9972456419287851, avgTableSize=362.1163500702623
10.93/7.35	    
10.93/7.37	    num=240, depth=6..11, filters=431485, revisions=(380624,useless=208656), ccks=951663, wck=5.013, mem=113M819
10.93/7.37	    decisions=28934, wrong=13546, backtracks=8487, failedAssignments=7975, nogoods=1147, foundSolutions=19, bestBound=20
10.93/7.37	    nFilterCalls=1267502, avgTableProportion=0.9972456442336206, avgTableSize=362.1166688494377
10.93/7.37	    
10.93/7.39	    num=241, depth=4..12, filters=433144, revisions=(382082,useless=209403), ccks=955637, wck=5.033, mem=113M819
10.93/7.39	    decisions=29048, wrong=13600, backtracks=8520, failedAssignments=8009, nogoods=1150, foundSolutions=19, bestBound=20
10.93/7.39	    nFilterCalls=1273398, avgTableProportion=0.9972456439840146, avgTableSize=362.1166343908189
10.93/7.39	    
11.03/7.42	    num=242, depth=6..13, filters=435082, revisions=(383719,useless=210256), ccks=960345, wck=5.055, mem=113M819
11.03/7.42	    decisions=29192, wrong=13669, backtracks=8566, failedAssignments=8046, nogoods=1155, foundSolutions=19, bestBound=20
11.03/7.42	    nFilterCalls=1279817, avgTableProportion=0.997245643601165, avgTableSize=362.11658151126295
11.03/7.42	    
11.03/7.45	    num=243, depth=2..7, filters=437236, revisions=(385682,useless=211315), ccks=965531, wck=5.086, mem=116M461
11.03/7.45	    decisions=29359, wrong=13751, backtracks=8618, failedAssignments=8087, nogoods=1160, foundSolutions=19, bestBound=20
11.03/7.45	    nFilterCalls=1287112, avgTableProportion=0.9972456437947049, avgTableSize=362.11660834488373
11.03/7.45	    
11.03/7.47	    num=244, depth=4..13, filters=439426, revisions=(387465,useless=212251), ccks=970367, wck=5.11, mem=116M461
11.03/7.47	    decisions=29512, wrong=13824, backtracks=8665, failedAssignments=8132, nogoods=1169, foundSolutions=19, bestBound=20
11.03/7.47	    nFilterCalls=1294469, avgTableProportion=0.9972456485153852, avgTableSize=362.1172612090363
11.03/7.47	    
11.13/7.50	    num=245, depth=5..11, filters=442155, revisions=(389650,useless=213467), ccks=976136, wck=5.142, mem=116M461
11.13/7.50	    decisions=29669, wrong=13900, backtracks=8714, failedAssignments=8182, nogoods=1179, foundSolutions=19, bestBound=20
11.13/7.50	    nFilterCalls=1303666, avgTableProportion=0.9972456494275203, avgTableSize=362.1173874289887
11.13/7.50	    
11.13/7.53	    num=246, depth=6..13, filters=444765, revisions=(391792,useless=214613), ccks=982567, wck=5.169, mem=116M461
11.13/7.53	    decisions=29857, wrong=13990, backtracks=8768, failedAssignments=8237, nogoods=1185, foundSolutions=19, bestBound=20
11.13/7.53	    nFilterCalls=1312032, avgTableProportion=0.997245651146255, avgTableSize=362.11762517987364
11.13/7.53	    
11.13/7.57	    num=247, depth=3..11, filters=448139, revisions=(394758,useless=216208), ccks=989531, wck=5.207, mem=116M461
11.13/7.57	    decisions=30069, wrong=14094, backtracks=8837, failedAssignments=8298, nogoods=1188, foundSolutions=19, bestBound=20
11.13/7.57	    nFilterCalls=1322306, avgTableProportion=0.9972456506944994, avgTableSize=362.11756280316354
11.13/7.57	    
11.24/7.60	    num=248, depth=2..11, filters=451586, revisions=(397672,useless=217607), ccks=996333, wck=5.243, mem=116M461
11.24/7.60	    decisions=30315, wrong=14216, backtracks=8920, failedAssignments=8365, nogoods=1192, foundSolutions=19, bestBound=20
11.24/7.60	    nFilterCalls=1333880, avgTableProportion=0.9972456509394896, avgTableSize=362.117596785318
11.24/7.60	    
11.24/7.65	    num=249, depth=4..12, filters=455984, revisions=(401069,useless=219541), ccks=1004969, wck=5.288, mem=116M461
11.24/7.65	    decisions=30571, wrong=14342, backtracks=9005, failedAssignments=8439, nogoods=1196, foundSolutions=19, bestBound=20
11.24/7.65	    nFilterCalls=1348106, avgTableProportion=0.9972456542701115, avgTableSize=362.1180574821268
11.24/7.65	    
11.34/7.70	    num=250, depth=2..13, filters=460445, revisions=(404723,useless=221655), ccks=1014724, wck=5.344, mem=116M461
11.34/7.70	    decisions=30857, wrong=14483, backtracks=9087, failedAssignments=8520, nogoods=1205, foundSolutions=19, bestBound=20
11.34/7.70	    nFilterCalls=1364396, avgTableProportion=0.9972456564254275, avgTableSize=362.11835566800255
11.34/7.70	    
11.34/7.76	    num=251, depth=4..12, filters=465447, revisions=(408709,useless=223824), ccks=1026045, wck=5.404, mem=119M104
11.34/7.76	    decisions=31178, wrong=14641, backtracks=9191, failedAssignments=8609, nogoods=1215, foundSolutions=19, bestBound=20
11.34/7.76	    nFilterCalls=1381816, avgTableProportion=0.9972456666725067, avgTableSize=362.1197728206939
11.34/7.76	    
11.44/7.82	    num=252, depth=4..11, filters=470700, revisions=(413034,useless=226238), ccks=1037578, wck=5.461, mem=119M104
11.44/7.82	    decisions=31533, wrong=14816, backtracks=9319, failedAssignments=8707, nogoods=1229, foundSolutions=19, bestBound=20
11.44/7.82	    nFilterCalls=1397123, avgTableProportion=0.9972456645993245, avgTableSize=362.11948625854706
11.44/7.82	    
11.44/7.89	    num=253, depth=3..10, filters=476447, revisions=(418137,useless=228967), ccks=1050579, wck=5.528, mem=119M104
11.44/7.89	    decisions=31912, wrong=15004, backtracks=9435, failedAssignments=8815, nogoods=1242, foundSolutions=19, bestBound=20
11.44/7.89	    nFilterCalls=1412838, avgTableProportion=0.9972456626906413, avgTableSize=362.1192224444699
11.44/7.89	    
11.54/7.95	    num=254, depth=3..11, filters=481957, revisions=(423320,useless=231692), ccks=1064367, wck=5.586, mem=119M104
11.54/7.95	    decisions=32333, wrong=15212, backtracks=9573, failedAssignments=8934, nogoods=1251, foundSolutions=19, bestBound=20
11.54/7.95	    nFilterCalls=1427335, avgTableProportion=0.9972456602307338, avgTableSize=362.1188823927109
11.54/7.95	    
11.65/8.03	    num=255, depth=3..13, filters=488980, revisions=(429545,useless=235048), ccks=1080889, wck=5.672, mem=121M746
11.65/8.03	    decisions=32817, wrong=15451, backtracks=9720, failedAssignments=9065, nogoods=1261, foundSolutions=19, bestBound=20
11.65/8.03	    nFilterCalls=1448344, avgTableProportion=0.9972456597971797, avgTableSize=362.11882260015574
11.65/8.03	    
11.75/8.13	    num=256, depth=2..10, filters=497124, revisions=(436821,useless=239155), ccks=1100707, wck=5.77, mem=121M746
11.75/8.13	    decisions=33312, wrong=15697, backtracks=9885, failedAssignments=9209, nogoods=1269, foundSolutions=19, bestBound=20
11.75/8.13	    nFilterCalls=1472395, avgTableProportion=0.9972456581810126, avgTableSize=362.11859928891363
11.75/8.13	    
11.85/8.22	    num=257, depth=2..10, filters=506469, revisions=(445127,useless=243762), ccks=1121432, wck=5.863, mem=121M746
11.85/8.22	    decisions=33908, wrong=15993, backtracks=10067, failedAssignments=9367, nogoods=1279, foundSolutions=19, bestBound=20
11.85/8.22	    nFilterCalls=1494724, avgTableProportion=0.9972456568387351, avgTableSize=362.1184138342597
11.85/8.22	    
11.95/8.35	    num=258, depth=1..12, filters=516218, revisions=(453450,useless=248399), ccks=1145092, wck=5.991, mem=124M389
11.95/8.35	    decisions=34525, wrong=16299, backtracks=10275, failedAssignments=9541, nogoods=1296, foundSolutions=19, bestBound=20
11.95/8.35	    nFilterCalls=1525679, avgTableProportion=0.9972456586359542, avgTableSize=362.1186625758105
11.95/8.35	    
12.05/8.48	    num=259, depth=3..11, filters=527543, revisions=(462320,useless=253217), ccks=1170352, wck=6.119, mem=124M389
12.05/8.48	    decisions=35209, wrong=16639, backtracks=10512, failedAssignments=9732, nogoods=1308, foundSolutions=19, bestBound=20
12.05/8.48	    nFilterCalls=1559792, avgTableProportion=0.9972456681805303, avgTableSize=362.11998266435523
12.05/8.48	    
12.26/8.62	    num=260, depth=3..11, filters=539043, revisions=(472029,useless=258930), ccks=1194158, wck=6.261, mem=124M389
12.26/8.62	    decisions=35964, wrong=17014, backtracks=10764, failedAssignments=9943, nogoods=1311, foundSolutions=19, bestBound=20
12.26/8.62	    nFilterCalls=1598504, avgTableProportion=0.9972456786888549, avgTableSize=362.12143604269994
12.26/8.62	    
12.36/8.77	    num=261, depth=2..11, filters=551661, revisions=(483064,useless=265031), ccks=1222810, wck=6.408, mem=127M31
12.36/8.77	    decisions=36814, wrong=17437, backtracks=11049, failedAssignments=10175, nogoods=1324, foundSolutions=19, bestBound=20
12.36/8.77	    nFilterCalls=1635082, avgTableProportion=0.9972456864717238, avgTableSize=362.1225125100759
12.36/8.77	    
12.56/8.94	    num=262, depth=3..13, filters=565570, revisions=(493709,useless=270868), ccks=1255491, wck=6.58, mem=127M31
12.56/8.94	    decisions=37717, wrong=17887, backtracks=11356, failedAssignments=10430, nogoods=1327, foundSolutions=19, bestBound=20
12.56/8.94	    nFilterCalls=1681022, avgTableProportion=0.9972456909083479, avgTableSize=362.1231262886506
12.56/8.94	    
12.77/9.11	    num=263, depth=2..11, filters=580389, revisions=(506973,useless=278306), ccks=1289630, wck=6.746, mem=129M673
12.77/9.11	    decisions=38675, wrong=18364, backtracks=11656, failedAssignments=10711, nogoods=1330, foundSolutions=19, bestBound=20
12.77/9.11	    nFilterCalls=1720662, avgTableProportion=0.9972456930050972, avgTableSize=362.1234164525049
12.77/9.11	    
12.96/9.32	    num=264, depth=1..11, filters=597813, revisions=(522376,useless=286716), ccks=1330500, wck=6.958, mem=129M673
12.96/9.32	    decisions=39789, wrong=18919, backtracks=12001, failedAssignments=11020, nogoods=1339, foundSolutions=19, bestBound=20
12.96/9.32	    nFilterCalls=1769597, avgTableProportion=0.9972456953963887, avgTableSize=362.12374738429145
12.96/9.32	    
13.16/9.53	    num=265, depth=1..14, filters=615611, revisions=(538340,useless=295276), ccks=1373273, wck=7.17, mem=132M316
13.16/9.53	    decisions=41003, wrong=19523, backtracks=12425, failedAssignments=11360, nogoods=1353, foundSolutions=19, bestBound=20
13.16/9.53	    nFilterCalls=1820672, avgTableProportion=0.9972456986697976, avgTableSize=362.1242002952756
13.16/9.53	    
13.36/9.79	    num=266, depth=2..12, filters=635305, revisions=(554124,useless=303982), ccks=1418174, wck=7.427, mem=134M958
13.36/9.79	    decisions=42317, wrong=20177, backtracks=12860, failedAssignments=11734, nogoods=1365, foundSolutions=19, bestBound=20
13.36/9.79	    nFilterCalls=1888801, avgTableProportion=0.9972457068966001, avgTableSize=362.12533824367944
13.36/9.79	    
13.67/10.07	    num=267, depth=1..12, filters=657649, revisions=(573591,useless=314841), ccks=1468345, wck=7.713, mem=134M958
13.67/10.07	    decisions=43779, wrong=20906, backtracks=13328, failedAssignments=12145, nogoods=1375, foundSolutions=19, bestBound=20
13.67/10.07	    nFilterCalls=1957479, avgTableProportion=0.9972457042124904, avgTableSize=362.12496736874317
13.67/10.07	    
14.06/10.40	    num=268, depth=1..12, filters=683060, revisions=(595117,useless=326670), ccks=1522715, wck=8.038, mem=137M601
14.06/10.40	    decisions=45418, wrong=21724, backtracks=13860, failedAssignments=12597, nogoods=1388, foundSolutions=19, bestBound=20
14.06/10.40	    nFilterCalls=2034587, avgTableProportion=0.9972457092431947, avgTableSize=362.1256633410122
14.06/10.40	    
14.36/10.76	    num=269, depth=0..11, filters=711105, revisions=(618184,useless=339668), ccks=1585126, wck=8.396, mem=140M243
14.36/10.76	    decisions=47212, wrong=22619, backtracks=14476, failedAssignments=13094, nogoods=1393, foundSolutions=19, bestBound=20
14.36/10.76	    nFilterCalls=2119505, avgTableProportion=0.9972457204708786, avgTableSize=362.1272160244963
14.36/10.76	    
14.77/11.14	    num=270, depth=2..12, filters=742257, revisions=(643857,useless=354510), ccks=1655401, wck=8.778, mem=142M778
14.77/11.14	    decisions=49133, wrong=23577, backtracks=15114, failedAssignments=13641, nogoods=1400, foundSolutions=19, bestBound=20
14.77/11.14	    nFilterCalls=2213418, avgTableProportion=0.9972457311931862, avgTableSize=362.12869778776536
14.77/11.14	    
15.29/11.64	    num=271, depth=0..11, filters=777847, revisions=(673141,useless=371601), ccks=1730331, wck=9.281, mem=28M566
15.29/11.64	    decisions=51319, wrong=24668, backtracks=15855, failedAssignments=14243, nogoods=1407, foundSolutions=19, bestBound=20
15.29/11.64	    nFilterCalls=2328558, avgTableProportion=0.9972457299641163, avgTableSize=362.12852675346716
15.29/11.64	    
15.80/12.14	    num=272, depth=0..11, filters=817521, revisions=(703859,useless=389999), ccks=1806218, wck=9.783, mem=31M129
15.80/12.14	    decisions=53649, wrong=25832, backtracks=16666, failedAssignments=14905, nogoods=1420, foundSolutions=19, bestBound=20
15.80/12.14	    nFilterCalls=2454960, avgTableProportion=0.9972457419075156, avgTableSize=362.13017727376416
15.80/12.14	    
16.29/12.69	    num=273, depth=0..11, filters=862186, revisions=(738567,useless=411557), ccks=1885042, wck=10.331, mem=33M692
16.29/12.69	    decisions=56219, wrong=27116, backtracks=17561, failedAssignments=15633, nogoods=1427, foundSolutions=19, bestBound=20
16.29/12.69	    nFilterCalls=2587867, avgTableProportion=0.9972457623459844, avgTableSize=362.13300258475414
16.29/12.69	    
16.59/12.98	
16.59/12.98	  New Bounds: 21..20
16.59/12.98	    num=274, depth=0..11, filters=887161, revisions=(756803,useless=423589), ccks=1920223, wck=10.623, mem=36M255
16.59/12.98	    decisions=57489, wrong=27752, backtracks=18014, failedAssignments=15961, foundSolutions=19, bestBound=20
16.59/12.98	    nFilterCalls=2658846, avgTableProportion=0.9972457712177226, avgTableSize=362.1342289098353
16.59/12.98	    
16.59/12.98	  Global
16.59/12.98	    filters=887161, revisions=(756803,useless=423589), ccks=1920223
16.59/12.98	    Stop=FULL_EXPLORATION, wrong=27752, bestBound=20, bestBoundWck=5.292, bestBoundCpu=7.123, foundSolutions=19, firstSolCpu=2.351
16.59/12.98	    wck=11.12, cpu=12.936, mem=36M255
16.59/12.98	
16.59/12.98	v <instantiation id='sol19' type='solution' cost='20'>  <list> s[] p[] g[] </list>  <values> 5 0 1 2 -1 10 -1 8 3 -1 15 -1 7 12 13 16 17 18 19 14 0 15 14 13 -1 1 -1 11 12 -1 2 -1 10 9 8 3 4 5 6 7 1 -5 0 -2 0 -2 0 2 5 0 3 0 3 -4 2 6 3 2 2 4 </values>  </instantiation>
16.59/12.98	s OPTIMUM FOUND
16.59/12.98	
16.59/12.98	d WRONG_DECISIONS 27752
16.59/12.98	d NUMBER_SOLUTIONS 19

Verifier Data 

OK	20

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391130-1568389961/watcher-4391130-1568389961 -o /tmp/evaluation-result-4391130-1568389961/solver-4391130-1568389961 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568389880-15696 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391130-1568389961.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=15822, runsolver pid=15819

[startup+0.100068 s]*
/proc/loadavg: 1.59 1.12 1.14 4/233 15837
/proc/meminfo: memFree=29994288/32770624 swapFree=66916512/67108860
[pid=15822] ppid=15819 vsize=10659884 memory=28972 CPUtime=0.14 cores=0,2,4,6
/proc/15822/stat : 15822 (java) S 15819 15822 15665 0 -1 1077944320 5237 0 0 0 13 1 0 0 20 0 15 0 415246624 10915721216 7243 33554432000 4194304 4196468 140735993017344 140735992999888 140141858205431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
/proc/15822/statm: 2664971 7243 2892 1 0 2627468 0
[pid=15822/tid=15824] ppid=15819 vsize=10659884 memory=-8197568871503531642 CPUtime=0.09 cores=0,2,4,6
/proc/15822/task/15824/stat : 15824 (java) R 15819 15822 15665 0 -1 4202560 2975 0 0 0 9 0 0 0 20 0 15 0 415246624 10915721216 7243 33554432000 4194304 4196468 140735993017344 140141862435728 140141842249061 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15825] ppid=15819 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15825/stat : 15825 (java) S 15819 15822 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415246625 10915721216 7243 33554432000 4194304 4196468 140735993017344 140141784279440 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15826] ppid=15819 vsize=10659884 memory=139690459539072 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15826/stat : 15826 (java) S 15819 15822 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415246625 10915721216 7243 33554432000 4194304 4196468 140735993017344 140141783226640 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15827] ppid=15819 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15827/stat : 15827 (java) S 15819 15822 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415246625 10915721216 7243 33554432000 4194304 4196468 140735993017344 140141782174352 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15828] ppid=15819 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15828/stat : 15828 (java) S 15819 15822 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415246625 10915721216 7243 33554432000 4194304 4196468 140735993017344 140141781121552 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15829] ppid=15819 vsize=10659884 memory=139690459539072 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15829/stat : 15829 (java) S 15819 15822 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415246626 10915721216 7243 33554432000 4194304 4196468 140735993017344 140141350296176 140141858216578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15830] ppid=15819 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15830/stat : 15830 (java) S 15819 15822 15665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415246627 10915721216 7243 33554432000 4194304 4196468 140735993017344 140141349242144 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15831] ppid=15819 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15831/stat : 15831 (java) S 15819 15822 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415246627 10915721216 7243 33554432000 4194304 4196468 140735993017344 140141348189808 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15832] ppid=15819 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15832/stat : 15832 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415246629 10915721216 7243 33554432000 4194304 4196468 140735993017344 140141347138128 140141858224027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15833] ppid=15819 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15833/stat : 15833 (java) S 15819 15822 15665 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 415246629 10915721216 7243 33554432000 4194304 4196468 140735993017344 140141346084976 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15834] ppid=15819 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15834/stat : 15834 (java) S 15819 15822 15665 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 415246629 10915721216 7243 33554432000 4194304 4196468 140735993017344 140141345032176 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15835] ppid=15819 vsize=10659884 memory=139690459539072 CPUtime=0.02 cores=0,2,4,6
/proc/15822/task/15835/stat : 15835 (java) R 15819 15822 15665 0 -1 4202560 385 0 0 0 2 0 0 0 20 0 15 0 415246629 10915721216 7243 33554432000 4194304 4196468 140735993017344 140141343976568 140141837603999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15836] ppid=15819 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15836/stat : 15836 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415246630 10915721216 7243 33554432000 4194304 4196468 140735993017344 140141342927328 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15837] ppid=15819 vsize=10659884 memory=139690459539072 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15837/stat : 15837 (java) S 15819 15822 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415246630 10915721216 7243 33554432000 4194304 4196468 140735993017344 140141341875120 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28972 KiB

[startup+0.210775 s]*
/proc/loadavg: 1.59 1.12 1.14 3/233 15837
/proc/meminfo: memFree=29987808/32770624 swapFree=66916512/67108860
[pid=15822] ppid=15819 vsize=10659884 memory=35472 CPUtime=0.32 cores=0,2,4,6
/proc/15822/stat : 15822 (java) S 15819 15822 15665 0 -1 1077944320 6494 0 0 0 31 1 0 0 20 0 15 0 415246624 10915721216 8868 33554432000 4194304 4196468 140735993017344 140735992999888 140141858205431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
/proc/15822/statm: 2664971 8868 2990 1 0 2627468 0
[pid=15822/tid=15824] ppid=15819 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/15822/task/15824/stat : 15824 (java) R 15819 15822 15665 0 -1 4202560 3466 0 0 0 19 0 0 0 20 0 15 0 415246624 10915721216 8868 33554432000 4194304 4196468 140735993017344 140141862431792 140141858227357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15825] ppid=15819 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15825/stat : 15825 (java) S 15819 15822 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415246625 10915721216 8868 33554432000 4194304 4196468 140735993017344 140141784279440 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15826] ppid=15819 vsize=10659884 memory=3473315731640952480 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15826/stat : 15826 (java) S 15819 15822 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415246625 10915721216 8868 33554432000 4194304 4196468 140735993017344 140141783226640 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15827] ppid=15819 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15827/stat : 15827 (java) S 15819 15822 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415246625 10915721216 8868 33554432000 4194304 4196468 140735993017344 140141782174352 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15828] ppid=15819 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15828/stat : 15828 (java) S 15819 15822 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415246625 10915721216 8868 33554432000 4194304 4196468 140735993017344 140141781121552 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15829] ppid=15819 vsize=10659884 memory=139690459539072 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15829/stat : 15829 (java) S 15819 15822 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415246626 10915721216 8868 33554432000 4194304 4196468 140735993017344 140141350296176 140141858216578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15830] ppid=15819 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15830/stat : 15830 (java) S 15819 15822 15665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415246627 10915721216 8868 33554432000 4194304 4196468 140735993017344 140141349242144 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15831] ppid=15819 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15831/stat : 15831 (java) S 15819 15822 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415246627 10915721216 8868 33554432000 4194304 4196468 140735993017344 140141348189808 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15832] ppid=15819 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15832/stat : 15832 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415246629 10915721216 8868 33554432000 4194304 4196468 140735993017344 140141347138128 140141858224027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15833] ppid=15819 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15822/task/15833/stat : 15833 (java) S 15819 15822 15665 0 -1 1077944384 761 0 0 0 2 0 0 0 20 0 15 0 415246629 10915721216 8868 33554432000 4194304 4196468 140735993017344 140141346084976 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15834] ppid=15819 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15822/task/15834/stat : 15834 (java) S 15819 15822 15665 0 -1 1077944384 208 0 0 0 2 0 0 0 20 0 15 0 415246629 10915721216 8868 33554432000 4194304 4196468 140735993017344 140141345032176 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15835] ppid=15819 vsize=10659884 memory=139690459539072 CPUtime=0.05 cores=0,2,4,6
/proc/15822/task/15835/stat : 15835 (java) S 15819 15822 15665 0 -1 1077944384 699 0 0 0 5 0 0 0 20 0 15 0 415246629 10915721216 8868 33554432000 4194304 4196468 140735993017344 140141343979888 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15836] ppid=15819 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15836/stat : 15836 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415246630 10915721216 8868 33554432000 4194304 4196468 140735993017344 140141342927328 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15837] ppid=15819 vsize=10659884 memory=139690459539072 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15837/stat : 15837 (java) S 15819 15822 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415246630 10915721216 8868 33554432000 4194304 4196468 140735993017344 140141341875120 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35472 KiB

[startup+0.310285 s]*
/proc/loadavg: 1.59 1.12 1.14 3/233 15837
/proc/meminfo: memFree=29979764/32770624 swapFree=66916512/67108860
[pid=15822] ppid=15819 vsize=10659884 memory=40368 CPUtime=0.47 cores=0,2,4,6
/proc/15822/stat : 15822 (java) S 15819 15822 15665 0 -1 1077944320 8939 0 0 0 44 3 0 0 20 0 15 0 415246624 10915721216 10092 33554432000 4194304 4196468 140735993017344 140735992999888 140141858205431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
/proc/15822/statm: 2664971 10092 3002 1 0 2627468 0
[pid=15822/tid=15824] ppid=15819 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/15822/task/15824/stat : 15824 (java) R 15819 15822 15665 0 -1 4202560 5853 0 0 0 28 2 0 0 20 0 15 0 415246624 10915721216 10092 33554432000 4194304 4196468 140735993017344 140141862437232 140141858227357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15825] ppid=15819 vsize=10659884 memory=4294980864 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15825/stat : 15825 (java) S 15819 15822 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415246625 10915721216 10092 33554432000 4194304 4196468 140735993017344 140141784279440 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15826] ppid=15819 vsize=10659884 memory=3689207038778025632 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15826/stat : 15826 (java) S 15819 15822 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415246625 10915721216 10092 33554432000 4194304 4196468 140735993017344 140141783226640 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15827] ppid=15819 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15827/stat : 15827 (java) S 15819 15822 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415246625 10915721216 10092 33554432000 4194304 4196468 140735993017344 140141782174352 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15828] ppid=15819 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15828/stat : 15828 (java) S 15819 15822 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415246625 10915721216 10092 33554432000 4194304 4196468 140735993017344 140141781121552 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15829] ppid=15819 vsize=10659884 memory=139690459539072 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15829/stat : 15829 (java) S 15819 15822 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415246626 10915721216 10092 33554432000 4194304 4196468 140735993017344 140141350296176 140141858216578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15830] ppid=15819 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15830/stat : 15830 (java) S 15819 15822 15665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415246627 10915721216 10092 33554432000 4194304 4196468 140735993017344 140141349242144 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15831] ppid=15819 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15831/stat : 15831 (java) S 15819 15822 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415246627 10915721216 10092 33554432000 4194304 4196468 140735993017344 140141348189808 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15832] ppid=15819 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15832/stat : 15832 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415246629 10915721216 10092 33554432000 4194304 4196468 140735993017344 140141347138128 140141858224027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15833] ppid=15819 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15822/task/15833/stat : 15833 (java) S 15819 15822 15665 0 -1 1077944384 798 0 0 0 4 0 0 0 20 0 15 0 415246629 10915721216 10092 33554432000 4194304 4196468 140735993017344 140141346084976 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15834] ppid=15819 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/15822/task/15834/stat : 15834 (java) S 15819 15822 15665 0 -1 1077944384 216 0 0 0 3 0 0 0 20 0 15 0 415246629 10915721216 10092 33554432000 4194304 4196468 140735993017344 140141345032176 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15835] ppid=15819 vsize=10659884 memory=139690459539072 CPUtime=0.08 cores=0,2,4,6
/proc/15822/task/15835/stat : 15835 (java) S 15819 15822 15665 0 -1 1077944384 713 0 0 0 8 0 0 0 20 0 15 0 415246629 10915721216 10092 33554432000 4194304 4196468 140735993017344 140141343979888 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15836] ppid=15819 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15836/stat : 15836 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415246630 10915721216 10092 33554432000 4194304 4196468 140735993017344 140141342927328 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15837] ppid=15819 vsize=10659884 memory=139690459539072 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15837/stat : 15837 (java) S 15819 15822 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415246630 10915721216 10092 33554432000 4194304 4196468 140735993017344 140141341875120 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40368 KiB

[startup+0.700699 s]
/proc/loadavg: 1.59 1.12 1.14 3/233 15837
/proc/meminfo: memFree=29971536/32770624 swapFree=66916512/67108860
[pid=15822] ppid=15819 vsize=10661932 memory=64036 CPUtime=1.12 cores=0,2,4,6
/proc/15822/stat : 15822 (java) S 15819 15822 15665 0 -1 1077944320 12633 0 0 0 108 4 0 0 20 0 15 0 415246624 10917818368 16009 33554432000 4194304 4196468 140735993017344 140735992999888 140141858205431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
/proc/15822/statm: 2665483 16009 3073 1 0 2627980 0
[pid=15822/tid=15824] ppid=15819 vsize=10661932 memory=207675358990644 CPUtime=0.68 cores=0,2,4,6
/proc/15822/task/15824/stat : 15824 (java) R 15819 15822 15665 0 -1 4202560 8377 0 0 0 65 3 0 0 20 0 15 0 415246624 10917818368 16009 33554432000 4194304 4196468 140735993017344 140141862428368 140141842285918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15825] ppid=15819 vsize=10661932 memory=3091125 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15825/stat : 15825 (java) S 15819 15822 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415246625 10917818368 16009 33554432000 4194304 4196468 140735993017344 140141784279440 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15826] ppid=15819 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15826/stat : 15826 (java) S 15819 15822 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415246625 10917818368 16009 33554432000 4194304 4196468 140735993017344 140141783226640 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15827] ppid=15819 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15827/stat : 15827 (java) S 15819 15822 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415246625 10917818368 16009 33554432000 4194304 4196468 140735993017344 140141782174352 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15828] ppid=15819 vsize=10661932 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15828/stat : 15828 (java) S 15819 15822 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415246625 10917818368 16009 33554432000 4194304 4196468 140735993017344 140141781121552 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15829] ppid=15819 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15829/stat : 15829 (java) S 15819 15822 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415246626 10917818368 16009 33554432000 4194304 4196468 140735993017344 140141350296176 140141858216578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15830] ppid=15819 vsize=10661932 memory=-3535359994705172060 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15830/stat : 15830 (java) S 15819 15822 15665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415246627 10917818368 16009 33554432000 4194304 4196468 140735993017344 140141349242144 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15831] ppid=15819 vsize=10661932 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15831/stat : 15831 (java) S 15819 15822 15665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415246627 10917818368 16009 33554432000 4194304 4196468 140735993017344 140141348189808 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15832] ppid=15819 vsize=10661932 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15832/stat : 15832 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415246629 10917818368 16009 33554432000 4194304 4196468 140735993017344 140141347138128 140141858224027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15833] ppid=15819 vsize=10661932 memory=6944652177228980320 CPUtime=0.11 cores=0,2,4,6
/proc/15822/task/15833/stat : 15833 (java) S 15819 15822 15665 0 -1 1077944384 1137 0 0 0 11 0 0 0 20 0 15 0 415246629 10917818368 16009 33554432000 4194304 4196468 140735993017344 140141346084976 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15834] ppid=15819 vsize=10661932 memory=6944656592387989600 CPUtime=0.12 cores=0,2,4,6
/proc/15822/task/15834/stat : 15834 (java) S 15819 15822 15665 0 -1 1077944384 535 0 0 0 12 0 0 0 20 0 15 0 415246629 10917818368 16009 33554432000 4194304 4196468 140735993017344 140141345032176 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15835] ppid=15819 vsize=10661932 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/15822/task/15835/stat : 15835 (java) S 15819 15822 15665 0 -1 1077944384 1225 0 0 0 19 0 0 0 20 0 15 0 415246629 10917818368 16009 33554432000 4194304 4196468 140735993017344 140141343979888 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15836] ppid=15819 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15836/stat : 15836 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415246630 10917818368 16009 33554432000 4194304 4196468 140735993017344 140141342927328 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15837] ppid=15819 vsize=10661932 memory=20156 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15837/stat : 15837 (java) S 15819 15822 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415246630 10917818368 16009 33554432000 4194304 4196468 140735993017344 140141341875120 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64036 KiB

[startup+1.50071 s]
/proc/loadavg: 1.59 1.12 1.14 3/233 15837
/proc/meminfo: memFree=29955500/32770624 swapFree=66916512/67108860
[pid=15822] ppid=15819 vsize=10663980 memory=76260 CPUtime=2.02 cores=0,2,4,6
/proc/15822/stat : 15822 (java) S 15819 15822 15665 0 -1 1077944320 17923 0 0 0 197 5 0 0 20 0 15 0 415246624 10919915520 19065 33554432000 4194304 4196468 140735993017344 140735992999888 140141858205431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
/proc/15822/statm: 2665995 19065 3096 1 0 2628492 0
[pid=15822/tid=15824] ppid=15819 vsize=10663980 memory=13796 CPUtime=1.48 cores=0,2,4,6
/proc/15822/task/15824/stat : 15824 (java) R 15819 15822 15665 0 -1 4202560 12408 0 0 0 144 4 0 0 20 0 15 0 415246624 10919915520 19065 33554432000 4194304 4196468 140735993017344 140141862431312 140141841392240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15825] ppid=15819 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15825/stat : 15825 (java) S 15819 15822 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415246625 10919915520 19065 33554432000 4194304 4196468 140735993017344 140141784279440 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15826] ppid=15819 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15826/stat : 15826 (java) S 15819 15822 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415246625 10919915520 19065 33554432000 4194304 4196468 140735993017344 140141783226640 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15827] ppid=15819 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15827/stat : 15827 (java) S 15819 15822 15665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415246625 10919915520 19065 33554432000 4194304 4196468 140735993017344 140141782174352 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15828] ppid=15819 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15828/stat : 15828 (java) S 15819 15822 15665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415246625 10919915520 19065 33554432000 4194304 4196468 140735993017344 140141781121552 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15829] ppid=15819 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15829/stat : 15829 (java) S 15819 15822 15665 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 415246626 10919915520 19065 33554432000 4194304 4196468 140735993017344 140141350296176 140141858216578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0

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

[pid=15822/tid=15825] ppid=15819 vsize=10748324 memory=288230617492239587 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15825/stat : 15825 (java) S 15819 15822 15665 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 415246625 11006283776 54780 33554432000 4194304 4196468 140735993017344 140141784279440 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15826] ppid=15819 vsize=10748324 memory=279380643684320 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15826/stat : 15826 (java) S 15819 15822 15665 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 415246625 11006283776 54780 33554432000 4194304 4196468 140735993017344 140141783226640 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15827] ppid=15819 vsize=10748324 memory=6878109871268254905 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15827/stat : 15827 (java) S 15819 15822 15665 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 415246625 11006283776 54780 33554432000 4194304 4196468 140735993017344 140141782174352 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15828] ppid=15819 vsize=10748324 memory=16428249910402 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15828/stat : 15828 (java) S 15819 15822 15665 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 415246625 11006283776 54780 33554432000 4194304 4196468 140735993017344 140141781121552 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15829] ppid=15819 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15829/stat : 15829 (java) S 15819 15822 15665 0 -1 1077944384 1039 0 0 0 1 0 0 0 20 0 16 0 415246626 11006283776 54780 33554432000 4194304 4196468 140735993017344 140141350296176 140141858216578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15830] ppid=15819 vsize=10748324 memory=217032 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15830/stat : 15830 (java) S 15819 15822 15665 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415246627 11006283776 54780 33554432000 4194304 4196468 140735993017344 140141349242208 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15831] ppid=15819 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15831/stat : 15831 (java) S 15819 15822 15665 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415246627 11006283776 54780 33554432000 4194304 4196468 140735993017344 140141348189824 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15832] ppid=15819 vsize=10748324 memory=279380643424768 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15832/stat : 15832 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415246629 11006283776 54780 33554432000 4194304 4196468 140735993017344 140141347138128 140141858224027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15833] ppid=15819 vsize=10748324 memory=6655300316396806240 CPUtime=1.4 cores=0,2,4,6
/proc/15822/task/15833/stat : 15833 (java) S 15819 15822 15665 0 -1 1077944384 7924 0 0 0 138 2 0 0 20 0 16 0 415246629 11006283776 54780 33554432000 4194304 4196468 140735993017344 140141346084976 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15834] ppid=15819 vsize=10748324 memory=279380643861296 CPUtime=1.43 cores=0,2,4,6
/proc/15822/task/15834/stat : 15834 (java) S 15819 15822 15665 0 -1 1077944384 3950 0 0 0 142 1 0 0 20 0 16 0 415246629 11006283776 54780 33554432000 4194304 4196468 140735993017344 140141345032176 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15835] ppid=15819 vsize=10748324 memory=2244 CPUtime=0.71 cores=0,2,4,6
/proc/15822/task/15835/stat : 15835 (java) R 15819 15822 15665 0 -1 4202560 3414 0 0 0 70 1 0 0 20 0 16 0 415246629 11006283776 54780 33554432000 4194304 4196468 140735993017344 140141343979888 140141843896113 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15836] ppid=15819 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15836/stat : 15836 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415246630 11006283776 54780 33554432000 4194304 4196468 140735993017344 140141342927328 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15837] ppid=15819 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15837/stat : 15837 (java) S 15819 15822 15665 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 415246630 11006283776 54780 33554432000 4194304 4196468 140735993017344 140141341875120 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15838] ppid=15819 vsize=10748324 memory=0 CPUtime=4.36 cores=0,2,4,6
/proc/15822/task/15838/stat : 15838 (java) R 15819 15822 15665 0 -1 4202560 4194 0 0 0 434 2 0 0 20 0 16 0 415246813 11006283776 54780 33554432000 4194304 4196468 140735993017344 140141324804432 140141450457955 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
Current children cumulated CPU time: 9.9 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 219120 KiB

[startup+12.7008 s]
/proc/loadavg: 1.65 1.15 1.15 3/234 15838
/proc/meminfo: memFree=29744756/32770624 swapFree=66916512/67108860
[pid=15822] ppid=15819 vsize=10748324 memory=272980 CPUtime=16.39 cores=0,2,4,6
/proc/15822/stat : 15822 (java) S 15819 15822 15665 0 -1 1077944320 41427 0 0 0 1622 17 0 0 20 0 16 0 415246624 11006283776 68245 33554432000 4194304 4196468 140735993017344 140735992999888 140141858205431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
/proc/15822/statm: 2687081 68245 3374 1 0 2647217 0
[pid=15822/tid=15824] ppid=15819 vsize=10748324 memory=56 CPUtime=1.87 cores=0,2,4,6
/proc/15822/task/15824/stat : 15824 (java) S 15819 15822 15665 0 -1 1077944384 14595 0 0 0 182 5 0 0 20 0 16 0 415246624 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141862448304 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15825] ppid=15819 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15825/stat : 15825 (java) S 15819 15822 15665 0 -1 1077944384 1352 0 0 0 1 0 0 0 20 0 16 0 415246625 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141784279440 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15826] ppid=15819 vsize=10748324 memory=279380644597968 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15826/stat : 15826 (java) S 15819 15822 15665 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 16 0 415246625 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141783226640 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15827] ppid=15819 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15827/stat : 15827 (java) S 15819 15822 15665 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 16 0 415246625 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141782174352 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15828] ppid=15819 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15828/stat : 15828 (java) S 15819 15822 15665 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 16 0 415246625 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141781121552 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15829] ppid=15819 vsize=10748324 memory=164 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15829/stat : 15829 (java) S 15819 15822 15665 0 -1 1077944384 1349 0 0 0 1 0 0 0 20 0 16 0 415246626 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141350296176 140141858216578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15830] ppid=15819 vsize=10748324 memory=7446253827397739600 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15830/stat : 15830 (java) S 15819 15822 15665 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 415246627 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141349242208 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15831] ppid=15819 vsize=10748324 memory=4465 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15831/stat : 15831 (java) S 15819 15822 15665 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 415246627 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141348189824 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15832] ppid=15819 vsize=10748324 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15832/stat : 15832 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415246629 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141347138128 140141858224027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15833] ppid=15819 vsize=10748324 memory=139690321846512 CPUtime=1.41 cores=0,2,4,6
/proc/15822/task/15833/stat : 15833 (java) S 15819 15822 15665 0 -1 1077944384 8155 0 0 0 139 2 0 0 20 0 16 0 415246629 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141346084976 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15834] ppid=15819 vsize=10748324 memory=189344 CPUtime=1.46 cores=0,2,4,6
/proc/15822/task/15834/stat : 15834 (java) S 15819 15822 15665 0 -1 1077944384 4487 0 0 0 145 1 0 0 20 0 16 0 415246629 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141345032176 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15835] ppid=15819 vsize=10748324 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/15822/task/15835/stat : 15835 (java) S 15819 15822 15665 0 -1 1077944384 3915 0 0 0 72 1 0 0 20 0 16 0 415246629 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141343979888 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15836] ppid=15819 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15836/stat : 15836 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415246630 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141342927328 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15837] ppid=15819 vsize=10748324 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15837/stat : 15837 (java) S 15819 15822 15665 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 415246630 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141341875120 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15838] ppid=15819 vsize=10748324 memory=279380643668032 CPUtime=10.75 cores=0,2,4,6
/proc/15822/task/15838/stat : 15838 (java) R 15819 15822 15665 0 -1 4202560 5765 0 0 0 1072 3 0 0 20 0 16 0 415246813 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141324799792 140141450459414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
Current children cumulated CPU time: 16.39 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 272980 KiB

[startup+12.997 s]
# the end of solver process 15822 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=16.5147 s, system=0.18802 s

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

[startup+12.8009 s]
/proc/loadavg: 1.65 1.15 1.15 3/234 15838
/proc/meminfo: memFree=29744756/32770624 swapFree=66916512/67108860
[pid=15822] ppid=15819 vsize=10748324 memory=272980 CPUtime=16.49 cores=0,2,4,6
/proc/15822/stat : 15822 (java) S 15819 15822 15665 0 -1 1077944320 41428 0 0 0 1632 17 0 0 20 0 16 0 415246624 11006283776 68245 33554432000 4194304 4196468 140735993017344 140735992999888 140141858205431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
/proc/15822/statm: 2687081 68245 3374 1 0 2647217 0
[pid=15822/tid=15824] ppid=15819 vsize=10748324 memory=5571041044932745317 CPUtime=1.87 cores=0,2,4,6
/proc/15822/task/15824/stat : 15824 (java) S 15819 15822 15665 0 -1 1077944384 14595 0 0 0 182 5 0 0 20 0 16 0 415246624 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141862448304 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15825] ppid=15819 vsize=10748324 memory=7451313805441919843 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15825/stat : 15825 (java) S 15819 15822 15665 0 -1 1077944384 1352 0 0 0 1 0 0 0 20 0 16 0 415246625 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141784279440 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15826] ppid=15819 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15826/stat : 15826 (java) S 15819 15822 15665 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 16 0 415246625 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141783226640 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15827] ppid=15819 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15827/stat : 15827 (java) S 15819 15822 15665 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 16 0 415246625 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141782174352 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15828] ppid=15819 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15828/stat : 15828 (java) S 15819 15822 15665 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 16 0 415246625 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141781121552 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15829] ppid=15819 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15829/stat : 15829 (java) S 15819 15822 15665 0 -1 1077944384 1349 0 0 0 1 0 0 0 20 0 16 0 415246626 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141350296176 140141858216578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15830] ppid=15819 vsize=10748324 memory=272980 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15830/stat : 15830 (java) S 15819 15822 15665 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 415246627 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141349242208 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15831] ppid=15819 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15831/stat : 15831 (java) S 15819 15822 15665 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 415246627 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141348189824 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15832] ppid=15819 vsize=10748324 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15832/stat : 15832 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415246629 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141347138128 140141858224027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15833] ppid=15819 vsize=10748324 memory=6628 CPUtime=1.41 cores=0,2,4,6
/proc/15822/task/15833/stat : 15833 (java) S 15819 15822 15665 0 -1 1077944384 8155 0 0 0 139 2 0 0 20 0 16 0 415246629 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141346084976 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15834] ppid=15819 vsize=10748324 memory=8836 CPUtime=1.46 cores=0,2,4,6
/proc/15822/task/15834/stat : 15834 (java) S 15819 15822 15665 0 -1 1077944384 4487 0 0 0 145 1 0 0 20 0 16 0 415246629 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141345032176 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15835] ppid=15819 vsize=10748324 memory=11044 CPUtime=0.73 cores=0,2,4,6
/proc/15822/task/15835/stat : 15835 (java) S 15819 15822 15665 0 -1 1077944384 3915 0 0 0 72 1 0 0 20 0 16 0 415246629 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141343979888 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15836] ppid=15819 vsize=10748324 memory=200072 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15836/stat : 15836 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415246630 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141342927328 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15837] ppid=15819 vsize=10748324 memory=81617 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15837/stat : 15837 (java) S 15819 15822 15665 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 415246630 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141341875120 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15838] ppid=15819 vsize=10748324 memory=0 CPUtime=10.85 cores=0,2,4,6
/proc/15822/task/15838/stat : 15838 (java) R 15819 15822 15665 0 -1 4202560 5766 0 0 0 1082 3 0 0 20 0 16 0 415246813 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141324799792 140141450459601 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
Current children cumulated CPU time: 16.49 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 272980 KiB

[startup+12.9007 s]
/proc/loadavg: 1.65 1.15 1.15 3/234 15838
/proc/meminfo: memFree=29744756/32770624 swapFree=66916512/67108860
[pid=15822] ppid=15819 vsize=10748324 memory=272980 CPUtime=16.59 cores=0,2,4,6
/proc/15822/stat : 15822 (java) S 15819 15822 15665 0 -1 1077944320 41428 0 0 0 1642 17 0 0 20 0 16 0 415246624 11006283776 68245 33554432000 4194304 4196468 140735993017344 140735992999888 140141858205431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
/proc/15822/statm: 2687081 68245 3374 1 0 2647217 0
[pid=15822/tid=15824] ppid=15819 vsize=10748324 memory=272980 CPUtime=1.87 cores=0,2,4,6
/proc/15822/task/15824/stat : 15824 (java) S 15819 15822 15665 0 -1 1077944384 14595 0 0 0 182 5 0 0 20 0 16 0 415246624 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141862448304 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15825] ppid=15819 vsize=10748324 memory=56 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15825/stat : 15825 (java) S 15819 15822 15665 0 -1 1077944384 1352 0 0 0 1 0 0 0 20 0 16 0 415246625 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141784279440 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15826] ppid=15819 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15826/stat : 15826 (java) S 15819 15822 15665 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 16 0 415246625 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141783226640 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15827] ppid=15819 vsize=10748324 memory=279380644597968 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15827/stat : 15827 (java) S 15819 15822 15665 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 16 0 415246625 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141782174352 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15828] ppid=15819 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15828/stat : 15828 (java) S 15819 15822 15665 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 16 0 415246625 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141781121552 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15829] ppid=15819 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15822/task/15829/stat : 15829 (java) S 15819 15822 15665 0 -1 1077944384 1349 0 0 0 1 0 0 0 20 0 16 0 415246626 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141350296176 140141858216578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15830] ppid=15819 vsize=10748324 memory=164 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15830/stat : 15830 (java) S 15819 15822 15665 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 415246627 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141349242208 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15831] ppid=15819 vsize=10748324 memory=7446253827397739600 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15831/stat : 15831 (java) S 15819 15822 15665 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 415246627 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141348189824 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15832] ppid=15819 vsize=10748324 memory=4465 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15832/stat : 15832 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415246629 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141347138128 140141858224027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15833] ppid=15819 vsize=10748324 memory=4420 CPUtime=1.41 cores=0,2,4,6
/proc/15822/task/15833/stat : 15833 (java) S 15819 15822 15665 0 -1 1077944384 8155 0 0 0 139 2 0 0 20 0 16 0 415246629 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141346084976 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15834] ppid=15819 vsize=10748324 memory=139690321846512 CPUtime=1.46 cores=0,2,4,6
/proc/15822/task/15834/stat : 15834 (java) S 15819 15822 15665 0 -1 1077944384 4487 0 0 0 145 1 0 0 20 0 16 0 415246629 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141345032176 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15835] ppid=15819 vsize=10748324 memory=189344 CPUtime=0.73 cores=0,2,4,6
/proc/15822/task/15835/stat : 15835 (java) S 15819 15822 15665 0 -1 1077944384 3915 0 0 0 72 1 0 0 20 0 16 0 415246629 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141343979888 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15836] ppid=15819 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15836/stat : 15836 (java) S 15819 15822 15665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415246630 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141342927328 140141858215637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15837] ppid=15819 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15822/task/15837/stat : 15837 (java) S 15819 15822 15665 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 415246630 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141341875120 140141858216578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
[pid=15822/tid=15838] ppid=15819 vsize=10748324 memory=6944656592455359580 CPUtime=10.95 cores=0,2,4,6
/proc/15822/task/15838/stat : 15838 (java) R 15819 15822 15665 0 -1 4202560 5766 0 0 0 1092 3 0 0 20 0 16 0 415246813 11006283776 68245 33554432000 4194304 4196468 140735993017344 140141324799792 140141450459565 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31342592 140735993021451 140735993021554 140735993021554 140735993024463 0
Current children cumulated CPU time: 16.59 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 272980 KiB

Child status: 0
Real time (s): 12.997
CPU time (s): 16.7027
CPU user time (s): 16.5147
CPU system time (s): 0.18802
CPU usage (%): 128.512
Max. virtual memory (cumulated for all children) (KiB): 10750824
Max. memory (cumulated for all children) (KiB): 272980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.5147
system time used= 0.18802
maximum resident set size= 273216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42502
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2848
involuntary context switches= 60


# summary of solver processes directly reported to runsolver:
#   pid: 15822
#   total CPU time (s): 16.7027
#   total CPU user time (s): 16.5147
#   total CPU system time (s): 0.18802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.108898 second user time and 0.171265 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-13 17:52:00
IDJOB=4391130
IDBENCH=127982
IDSOLVER=2833
FILE ID=node134/4391130-1568389961
RUNJOBID= node134-1568389880-15696
PBS_JOBID= 21701859
Free space on /tmp= 59568 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-20-4-5-8.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391130-1568389961/watcher-4391130-1568389961 -o /tmp/evaluation-result-4391130-1568389961/solver-4391130-1568389961 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568389880-15696 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391130-1568389961.xml -cm

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

MD5SUM BENCH= cc4f118531160cfe6c95c1294546deff
RANDOM SEED=577847217

node134.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.76
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.76
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.76
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.76
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:        30011292 kB
MemAvailable:   31465956 kB
Buffers:          172716 kB
Cached:          1549076 kB
SwapCached:        90704 kB
Active:           758532 kB
Inactive:        1386748 kB
Active(anon):     356576 kB
Inactive(anon):   106556 kB
Active(file):     401956 kB
Inactive(file):  1280192 kB
Unevictable:      110920 kB
Mlocked:          110920 kB
SwapTotal:      67108860 kB
SwapFree:       66916512 kB
Dirty:              9172 kB
Writeback:             0 kB
AnonPages:        459748 kB
Mapped:            55940 kB
Shmem:             30964 kB
Slab:             206764 kB
SReclaimable:     176704 kB
SUnreclaim:        30060 kB
KernelStack:        4080 kB
PageTables:         6880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1356096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    327680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59560 MiB
End job on node134 at 2019-09-13 17:52:13