Trace number 4390830

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.6694 12.9752

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.7433
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.37/1.89	
2.37/1.89	AbsCon 2 
2.63/1.91	
3.22/2.15	  Instance
3.22/2.15	    name=instance-4390830-1568383054, framework=COP, bounds=-infty..+infty
3.22/2.15	
3.22/2.15	  Loading variables...
3.22/2.18	  Loading constraints...
3.91/2.34	
3.91/2.34	  Domains
3.91/2.34	    nTypes=21, nValues=939, sizes=[4#7,5#7,6#6,21#40]
3.91/2.34	  Variables
3.91/2.34	    count=60, degrees=[2#20,21#19,22#1,23#20]
3.91/2.34	  Objectives
3.91/2.34	    way=max, type=SumSimpleGE
3.91/2.34	  Constraints
3.91/2.34	    count=82, nSpecific=41, arities=[1#1,2#40,20#21,21#20]
3.91/2.34	    distribution=[AtMost1#20,CtrExtensionCT-Table#20,CtrExtensionV-Bits#20,CtrIntension#21,SumSimpleGE#1]
3.91/2.34	    tables=[362#19,382#1], nTotalTuples=7260
3.91/2.34	    nExtStructures=(40,shared:0), nIntStructures=(2,shared:19), nCftStructures=(21,shared:19,unbuilt:42)
3.91/2.34	    wck=0.477, cpu=2.305, mem=52M969
3.91/2.34	  Solver SolverBacktrack being built...
3.91/2.34	
3.91/2.37	
3.91/2.37	  Solver
3.91/2.37	    guaranteedGAC=true
3.91/2.37	    wck=0.504, cpu=2.331, mem=63M612
3.91/2.37	
3.91/2.37	  Preprocessing
3.91/2.37	    filters=22, revisions=(41,useless=38), ccks=502, nACremovedValues=41, nTotalRemovedValues=41, inconcistency=false
3.91/2.37	    wck=0.005, cpu=2.337, mem=63M612
3.91/2.37	
3.91/2.39	o -1000
3.91/2.39	    num=0, depth=61..59, filters=263, revisions=(459,useless=387), ccks=965, wck=0.028, mem=63M612
3.91/2.39	    decisions=19, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
3.91/2.39	    nFilterCalls=440, avgTableProportion=0.9972448005553761, avgTableSize=362.0
3.91/2.39	    
4.26/2.41	    num=1, depth=13..17, filters=806, revisions=(904,useless=643), ccks=2341, wck=0.046, mem=63M612
4.26/2.41	    decisions=64, wrong=16, backtracks=10, failedAssignments=11, nogoods=2, foundSolutions=1, bestBound=-1000
4.26/2.41	    nFilterCalls=2710, avgTableProportion=0.9972449873468068, avgTableSize=362.02583025830256
4.26/2.41	    
4.26/2.42	    num=2, depth=11..14, filters=1195, revisions=(1283,useless=816), ccks=3765, wck=0.056, mem=66M254
4.26/2.42	    decisions=110, wrong=33, backtracks=16, failedAssignments=22, nogoods=5, foundSolutions=1, bestBound=-1000
4.26/2.42	    nFilterCalls=3844, avgTableProportion=0.9972449435298438, avgTableSize=362.0197710718002
4.26/2.42	    
4.26/2.45	    num=3, depth=6..13, filters=1892, revisions=(1885,useless=1135), ccks=5596, wck=0.09, mem=66M254
4.26/2.45	    decisions=166, wrong=58, backtracks=31, failedAssignments=34, nogoods=8, foundSolutions=1, bestBound=-1000
4.26/2.45	    nFilterCalls=6274, avgTableProportion=0.9972450840981215, avgTableSize=362.0392094357667
4.26/2.45	    
4.26/2.46	o -998
4.26/2.46	    num=4, depth=61..59, filters=2035, revisions=(2061,useless=1229), ccks=6022, wck=0.095, mem=66M254
4.26/2.46	    decisions=183, wrong=58, backtracks=31, failedAssignments=34, nogoods=8, foundSolutions=2, bestBound=-998
4.26/2.46	    nFilterCalls=6666, avgTableProportion=0.997245076102781, avgTableSize=362.038103810381
4.26/2.46	    
4.26/2.47	    num=5, depth=11..15, filters=2715, revisions=(2651,useless=1527), ccks=8379, wck=0.108, mem=66M254
4.26/2.47	    decisions=246, wrong=84, backtracks=45, failedAssignments=48, nogoods=12, foundSolutions=2, bestBound=-998
4.26/2.47	    nFilterCalls=8869, avgTableProportion=0.9972450541345844, avgTableSize=362.0350659600857
4.26/2.47	    
4.26/2.49	    num=6, depth=10..14, filters=3388, revisions=(3247,useless=1903), ccks=9899, wck=0.124, mem=66M254
4.26/2.49	    decisions=298, wrong=105, backtracks=56, failedAssignments=59, nogoods=16, foundSolutions=2, bestBound=-998
4.26/2.49	    nFilterCalls=12087, avgTableProportion=0.9972451194424096, avgTableSize=362.04409696368
4.26/2.49	    
4.26/2.50	    num=7, depth=11..14, filters=3822, revisions=(3688,useless=2130), ccks=11195, wck=0.133, mem=66M254
4.26/2.50	    decisions=345, wrong=123, backtracks=65, failedAssignments=71, nogoods=20, foundSolutions=2, bestBound=-998
4.26/2.50	    nFilterCalls=13183, avgTableProportion=0.9972451719217874, avgTableSize=362.05135401653644
4.26/2.50	    
4.59/2.51	    num=8, depth=10..14, filters=4467, revisions=(4271,useless=2444), ccks=12984, wck=0.145, mem=66M254
4.59/2.51	    decisions=400, wrong=145, backtracks=77, failedAssignments=84, nogoods=23, foundSolutions=2, bestBound=-998
4.59/2.51	    nFilterCalls=15307, avgTableProportion=0.9972451468471556, avgTableSize=362.04788658783565
4.59/2.51	    
4.59/2.53	    num=9, depth=9..14, filters=5190, revisions=(4877,useless=2770), ccks=14990, wck=0.163, mem=66M254
4.59/2.53	    decisions=457, wrong=169, backtracks=90, failedAssignments=98, nogoods=26, foundSolutions=2, bestBound=-998
4.59/2.53	    nFilterCalls=18528, avgTableProportion=0.9972451721218454, avgTableSize=362.0513816925734
4.59/2.53	    
4.59/2.54	    num=10, depth=9..13, filters=6044, revisions=(5616,useless=3184), ccks=17193, wck=0.18, mem=66M254
4.59/2.54	    decisions=522, wrong=196, backtracks=105, failedAssignments=114, nogoods=28, foundSolutions=2, bestBound=-998
4.59/2.54	    nFilterCalls=21558, avgTableProportion=0.9972451836318987, avgTableSize=362.05297337415345
4.59/2.54	    
4.59/2.56	    num=11, depth=10..14, filters=6879, revisions=(6341,useless=3575), ccks=19369, wck=0.192, mem=66M254
4.59/2.56	    decisions=590, wrong=225, backtracks=120, failedAssignments=131, nogoods=29, foundSolutions=2, bestBound=-998
4.59/2.56	    nFilterCalls=24337, avgTableProportion=0.9972452709276188, avgTableSize=362.0650449932202
4.59/2.56	    
4.59/2.57	    num=12, depth=9..14, filters=7957, revisions=(7265,useless=4108), ccks=21958, wck=0.206, mem=66M254
4.59/2.57	    decisions=662, wrong=256, backtracks=138, failedAssignments=150, nogoods=31, foundSolutions=2, bestBound=-998
4.59/2.57	    nFilterCalls=28476, avgTableProportion=0.997245324708801, avgTableSize=362.0724820901812
4.59/2.57	    
4.59/2.58	o -989
4.59/2.58	    num=13, depth=11..59, filters=8706, revisions=(7978,useless=4505), ccks=24001, wck=0.217, mem=66M254
4.59/2.58	    decisions=737, wrong=287, backtracks=154, failedAssignments=170, nogoods=34, foundSolutions=3, bestBound=-989
4.59/2.58	    nFilterCalls=30847, avgTableProportion=0.9972453287280477, avgTableSize=362.0730378967161
4.59/2.58	    
4.59/2.59	    num=14, depth=6..13, filters=9647, revisions=(8882,useless=4983), ccks=26326, wck=0.231, mem=66M254
4.59/2.59	    decisions=809, wrong=320, backtracks=175, failedAssignments=193, nogoods=38, foundSolutions=3, bestBound=-989
4.59/2.59	    nFilterCalls=33669, avgTableProportion=0.9972453484637536, avgTableSize=362.0757670260477
4.59/2.59	    
4.90/2.60	    num=15, depth=8..13, filters=10245, revisions=(9432,useless=5272), ccks=27794, wck=0.239, mem=66M254
4.90/2.60	    decisions=857, wrong=340, backtracks=187, failedAssignments=204, nogoods=39, foundSolutions=3, bestBound=-989
4.90/2.60	    nFilterCalls=35418, avgTableProportion=0.9972453440707414, avgTableSize=362.07515952340617
4.90/2.60	    
4.90/2.61	    num=16, depth=9..13, filters=10815, revisions=(9970,useless=5557), ccks=29307, wck=0.246, mem=66M254
4.90/2.61	    decisions=907, wrong=360, backtracks=197, failedAssignments=216, nogoods=43, foundSolutions=3, bestBound=-989
4.90/2.61	    nFilterCalls=36930, avgTableProportion=0.9972453625478394, avgTableSize=362.07771459518005
4.90/2.61	    
4.90/2.62	    num=17, depth=9..14, filters=11617, revisions=(10704,useless=5971), ccks=31040, wck=0.256, mem=66M254
4.90/2.62	    decisions=959, wrong=381, backtracks=211, failedAssignments=229, nogoods=48, foundSolutions=3, bestBound=-989
4.90/2.62	    nFilterCalls=39489, avgTableProportion=0.9972453702628372, avgTableSize=362.0787814328041
4.90/2.62	    
4.90/2.63	    num=18, depth=11..15, filters=12235, revisions=(11296,useless=6289), ccks=32654, wck=0.263, mem=66M254
4.90/2.63	    decisions=1017, wrong=404, backtracks=221, failedAssignments=243, nogoods=51, foundSolutions=3, bestBound=-989
4.90/2.63	    nFilterCalls=41128, avgTableProportion=0.9972453688347153, avgTableSize=362.078583933087
4.90/2.63	    
4.90/2.64	    num=19, depth=8..12, filters=13028, revisions=(11997,useless=6662), ccks=34561, wck=0.274, mem=66M254
4.90/2.64	    decisions=1077, wrong=430, backtracks=237, failedAssignments=259, nogoods=55, foundSolutions=3, bestBound=-989
4.90/2.64	    nFilterCalls=43505, avgTableProportion=0.9972453748530796, avgTableSize=362.0794161590622
4.90/2.64	    
4.90/2.65	    num=20, depth=9..13, filters=13776, revisions=(12694,useless=7027), ccks=36229, wck=0.282, mem=66M254
4.90/2.65	    decisions=1138, wrong=455, backtracks=248, failedAssignments=276, nogoods=59, foundSolutions=3, bestBound=-989
4.90/2.65	    nFilterCalls=45394, avgTableProportion=0.9972453718236464, avgTableSize=362.0789972243028
4.90/2.65	    
4.90/2.66	o -985
4.90/2.66	    num=21, depth=9..59, filters=14616, revisions=(13448,useless=7445), ccks=38149, wck=0.293, mem=66M254
4.90/2.66	    decisions=1202, wrong=480, backtracks=263, failedAssignments=291, nogoods=65, foundSolutions=4, bestBound=-985
4.90/2.66	    nFilterCalls=48161, avgTableProportion=0.9972453769912174, avgTableSize=362.07971180000413
4.90/2.66	    
4.90/2.67	    num=22, depth=8..16, filters=15583, revisions=(14341,useless=7947), ccks=40183, wck=0.305, mem=66M254
4.90/2.67	    decisions=1270, wrong=510, backtracks=283, failedAssignments=312, nogoods=67, foundSolutions=4, bestBound=-985
4.90/2.67	    nFilterCalls=51086, avgTableProportion=0.9972453942388524, avgTableSize=362.08209685628157
4.90/2.67	    
4.90/2.68	    num=23, depth=10..14, filters=16069, revisions=(14806,useless=8190), ccks=41303, wck=0.311, mem=68M897
4.90/2.68	    decisions=1314, wrong=527, backtracks=293, failedAssignments=323, nogoods=70, foundSolutions=4, bestBound=-985
4.90/2.68	    nFilterCalls=52582, avgTableProportion=0.9972453916510563, avgTableSize=362.08173899813625
4.90/2.68	    
4.90/2.68	    num=24, depth=8..14, filters=16681, revisions=(15397,useless=8486), ccks=42803, wck=0.319, mem=68M897
4.90/2.68	    decisions=1360, wrong=546, backtracks=303, failedAssignments=335, nogoods=77, foundSolutions=4, bestBound=-985
4.90/2.68	    nFilterCalls=54010, avgTableProportion=0.9972453803073529, avgTableSize=362.0801703388261
4.90/2.68	    
4.90/2.69	    num=25, depth=9..14, filters=17322, revisions=(15976,useless=8797), ccks=44286, wck=0.326, mem=68M897
4.90/2.69	    decisions=1407, wrong=565, backtracks=312, failedAssignments=348, nogoods=80, foundSolutions=4, bestBound=-985
4.90/2.69	    nFilterCalls=55962, avgTableProportion=0.9972453662878488, avgTableSize=362.07823165719594
4.90/2.69	    
5.21/2.70	    num=26, depth=9..13, filters=18077, revisions=(16643,useless=9163), ccks=46141, wck=0.335, mem=68M897
5.21/2.70	    decisions=1461, wrong=587, backtracks=326, failedAssignments=362, nogoods=84, foundSolutions=4, bestBound=-985
5.21/2.70	    nFilterCalls=58090, avgTableProportion=0.9972453819139938, avgTableSize=362.08039249440526
5.21/2.70	    
5.21/2.71	    num=27, depth=7..14, filters=18902, revisions=(17408,useless=9577), ccks=48181, wck=0.346, mem=68M897
5.21/2.71	    decisions=1527, wrong=616, backtracks=345, failedAssignments=378, nogoods=91, foundSolutions=4, bestBound=-985
5.21/2.71	    nFilterCalls=60674, avgTableProportion=0.9972453685969047, avgTableSize=362.07855094439134
5.21/2.71	    
5.21/2.72	    num=28, depth=8..13, filters=19828, revisions=(18270,useless=10055), ccks=50339, wck=0.359, mem=68M897
5.21/2.72	    decisions=1595, wrong=646, backtracks=361, failedAssignments=395, nogoods=98, foundSolutions=4, bestBound=-985
5.21/2.72	    nFilterCalls=63867, avgTableProportion=0.99724535457794, avgTableSize=362.0766123350087
5.21/2.72	    
5.21/2.73	    num=29, depth=10..16, filters=20688, revisions=(19042,useless=10482), ccks=52373, wck=0.368, mem=68M897
5.21/2.73	    decisions=1663, wrong=675, backtracks=380, failedAssignments=414, nogoods=104, foundSolutions=4, bestBound=-985
5.21/2.73	    nFilterCalls=66468, avgTableProportion=0.9972453632524196, avgTableSize=362.0778118794006
5.21/2.73	    
5.21/2.74	    num=30, depth=10..14, filters=21661, revisions=(19892,useless=10954), ccks=54676, wck=0.379, mem=68M897
5.21/2.74	    decisions=1735, wrong=706, backtracks=398, failedAssignments=435, nogoods=107, foundSolutions=4, bestBound=-985
5.21/2.74	    nFilterCalls=69837, avgTableProportion=0.9972453455300718, avgTableSize=362.07536119821873
5.21/2.74	    
5.21/2.75	    num=31, depth=10..16, filters=22678, revisions=(20837,useless=11482), ccks=56751, wck=0.389, mem=68M897
5.21/2.75	    decisions=1817, wrong=742, backtracks=421, failedAssignments=458, nogoods=115, foundSolutions=4, bestBound=-985
5.21/2.75	    nFilterCalls=72919, avgTableProportion=0.9972453798171311, avgTableSize=362.0801025795746
5.21/2.75	    
5.21/2.76	o -982
5.21/2.76	    num=32, depth=9..59, filters=23468, revisions=(21534,useless=11858), ccks=58642, wck=0.398, mem=68M897
5.21/2.76	    decisions=1877, wrong=766, backtracks=434, failedAssignments=471, nogoods=117, foundSolutions=5, bestBound=-982
5.21/2.76	    nFilterCalls=75222, avgTableProportion=0.9972453790982501, avgTableSize=362.08000319055594
5.21/2.76	    
5.21/2.78	    num=33, depth=7..12, filters=24763, revisions=(22744,useless=12509), ccks=61412, wck=0.414, mem=68M897
5.21/2.78	    decisions=1960, wrong=804, backtracks=455, failedAssignments=499, nogoods=124, foundSolutions=5, bestBound=-982
5.21/2.78	    nFilterCalls=78806, avgTableProportion=0.9972453726074876, avgTableSize=362.0791056518539
5.21/2.78	    
5.21/2.78	    num=34, depth=7..13, filters=25287, revisions=(23249,useless=12757), ccks=62488, wck=0.42, mem=68M897
5.21/2.78	    decisions=2003, wrong=822, backtracks=465, failedAssignments=510, nogoods=126, foundSolutions=5, bestBound=-982
5.21/2.78	    nFilterCalls=80160, avgTableProportion=0.9972453725073599, avgTableSize=362.0790918163673
5.21/2.78	    
5.21/2.80	    num=35, depth=6..9, filters=26062, revisions=(23943,useless=13128), ccks=64326, wck=0.431, mem=68M897
5.21/2.80	    decisions=2054, wrong=844, backtracks=475, failedAssignments=522, nogoods=129, foundSolutions=5, bestBound=-982
5.21/2.80	    nFilterCalls=82812, avgTableProportion=0.9972453671148147, avgTableSize=362.0783461334106
5.21/2.80	    
5.52/2.81	    num=36, depth=9..13, filters=26755, revisions=(24620,useless=13501), ccks=65930, wck=0.439, mem=68M897
5.52/2.81	    decisions=2112, wrong=867, backtracks=487, failedAssignments=535, nogoods=133, foundSolutions=5, bestBound=-982
5.52/2.81	    nFilterCalls=84736, avgTableProportion=0.9972453641501281, avgTableSize=362.07793617824774
5.52/2.81	    
5.52/2.81	    num=37, depth=8..14, filters=27376, revisions=(25204,useless=13807), ccks=67444, wck=0.447, mem=68M897
5.52/2.81	    decisions=2165, wrong=888, backtracks=497, failedAssignments=549, nogoods=140, foundSolutions=5, bestBound=-982
5.52/2.81	    nFilterCalls=86808, avgTableProportion=0.9972453746893964, avgTableSize=362.0793936042761
5.52/2.81	    
5.52/2.82	o -980
5.52/2.82	    num=38, depth=10..59, filters=27794, revisions=(25611,useless=14048), ccks=68384, wck=0.453, mem=68M897
5.52/2.82	    decisions=2196, wrong=897, backtracks=503, failedAssignments=554, nogoods=144, foundSolutions=6, bestBound=-980
5.52/2.82	    nFilterCalls=88129, avgTableProportion=0.9972453742069328, avgTableSize=362.0793268958005
5.52/2.82	    
5.52/2.83	    num=39, depth=7..11, filters=28684, revisions=(26470,useless=14510), ccks=70303, wck=0.464, mem=68M897
5.52/2.83	    decisions=2262, wrong=926, backtracks=521, failedAssignments=571, nogoods=148, foundSolutions=6, bestBound=-980
5.52/2.83	    nFilterCalls=90407, avgTableProportion=0.997245382309104, avgTableSize=362.08044731049586
5.52/2.83	    
5.52/2.83	    num=40, depth=8..12, filters=29215, revisions=(26970,useless=14764), ccks=71504, wck=0.47, mem=68M897
5.52/2.83	    decisions=2300, wrong=941, backtracks=531, failedAssignments=582, nogoods=150, foundSolutions=6, bestBound=-980
5.52/2.83	    nFilterCalls=91796, avgTableProportion=0.9972453743728563, avgTableSize=362.0793498627391
5.52/2.83	    
5.52/2.84	o -977
5.52/2.84	    num=41, depth=10..59, filters=29489, revisions=(27273,useless=14940), ccks=72246, wck=0.474, mem=68M897
5.52/2.84	    decisions=2324, wrong=947, backtracks=533, failedAssignments=586, nogoods=154, foundSolutions=7, bestBound=-977
5.52/2.84	    nFilterCalls=92673, avgTableProportion=0.9972453738585993, avgTableSize=362.0792787543297
5.52/2.84	    
5.52/2.85	    num=42, depth=7..12, filters=30217, revisions=(27925,useless=15289), ccks=73911, wck=0.482, mem=68M897
5.52/2.85	    decisions=2369, wrong=966, backtracks=544, failedAssignments=599, nogoods=157, foundSolutions=7, bestBound=-977
5.52/2.85	    nFilterCalls=94697, avgTableProportion=0.9972453658814596, avgTableSize=362.0781756549838
5.52/2.85	    
5.52/2.85	    num=43, depth=9..13, filters=30733, revisions=(28425,useless=15559), ccks=75084, wck=0.488, mem=68M897
5.52/2.85	    decisions=2408, wrong=981, backtracks=555, failedAssignments=610, nogoods=160, foundSolutions=7, bestBound=-977
5.52/2.85	    nFilterCalls=95999, avgTableProportion=0.9972453595700026, avgTableSize=362.07730288857175
5.52/2.85	    
5.52/2.86	    num=44, depth=5..10, filters=31249, revisions=(28920,useless=15834), ccks=76135, wck=0.496, mem=68M897
5.52/2.86	    decisions=2450, wrong=998, backtracks=565, failedAssignments=622, nogoods=165, foundSolutions=7, bestBound=-977
5.52/2.86	    nFilterCalls=97609, avgTableProportion=0.997245364425735, avgTableSize=362.0779743671178
5.52/2.86	    
5.52/2.87	    num=45, depth=8..14, filters=32066, revisions=(29717,useless=16262), ccks=77920, wck=0.504, mem=68M897
5.52/2.87	    decisions=2503, wrong=1020, backtracks=577, failedAssignments=635, nogoods=167, foundSolutions=7, bestBound=-977
5.52/2.87	    nFilterCalls=99636, avgTableProportion=0.997245355349346, avgTableSize=362.0767192580995
5.52/2.87	    
5.52/2.89	    num=46, depth=7..13, filters=32758, revisions=(30359,useless=16606), ccks=79456, wck=0.513, mem=68M897
5.52/2.89	    decisions=2559, wrong=1044, backtracks=593, failedAssignments=649, nogoods=172, foundSolutions=7, bestBound=-977
5.52/2.89	    nFilterCalls=101588, avgTableProportion=0.9972453609190408, avgTableSize=362.0774894672599
5.52/2.89	    
5.52/2.89	    num=47, depth=7..11, filters=33377, revisions=(31002,useless=16941), ccks=80765, wck=0.521, mem=68M897
5.52/2.89	    decisions=2614, wrong=1068, backtracks=605, failedAssignments=665, nogoods=177, foundSolutions=7, bestBound=-977
5.52/2.89	    nFilterCalls=103088, avgTableProportion=0.9972453681980314, avgTableSize=362.0784960422164
5.52/2.89	    
5.52/2.90	    num=48, depth=7..12, filters=34333, revisions=(31907,useless=17420), ccks=83261, wck=0.531, mem=68M897
5.52/2.90	    decisions=2682, wrong=1098, backtracks=625, failedAssignments=682, nogoods=185, foundSolutions=7, bestBound=-977
5.52/2.90	    nFilterCalls=105325, avgTableProportion=0.997245367333155, avgTableSize=362.07837645383336
5.52/2.90	    
5.83/2.91	    num=49, depth=6..12, filters=35256, revisions=(32819,useless=17888), ccks=85269, wck=0.541, mem=68M897
5.83/2.91	    decisions=2748, wrong=1128, backtracks=645, failedAssignments=701, nogoods=186, foundSolutions=7, bestBound=-977
5.83/2.91	    nFilterCalls=107228, avgTableProportion=0.997245358420825, avgTableSize=362.0771440295445
5.83/2.91	    
5.83/2.92	    num=50, depth=6..15, filters=36484, revisions=(33876,useless=18475), ccks=87680, wck=0.556, mem=68M897
5.83/2.92	    decisions=2824, wrong=1162, backtracks=667, failedAssignments=722, nogoods=189, foundSolutions=7, bestBound=-977
5.83/2.92	    nFilterCalls=110761, avgTableProportion=0.9972453763393437, avgTableSize=362.0796218885709
5.83/2.92	    
5.83/2.93	    num=51, depth=6..14, filters=37586, revisions=(34858,useless=19008), ccks=89926, wck=0.569, mem=68M897
5.83/2.93	    decisions=2899, wrong=1196, backtracks=688, failedAssignments=745, nogoods=197, foundSolutions=7, bestBound=-977
5.83/2.93	    nFilterCalls=113958, avgTableProportion=0.9972453781445457, avgTableSize=362.0798715316169
5.83/2.93	    
5.83/2.95	    num=52, depth=5..13, filters=38839, revisions=(35985,useless=19617), ccks=92999, wck=0.584, mem=68M897
5.83/2.95	    decisions=2988, wrong=1238, backtracks=714, failedAssignments=770, nogoods=198, foundSolutions=7, bestBound=-977
5.83/2.95	    nFilterCalls=117350, avgTableProportion=0.9972453816616526, avgTableSize=362.08035790370684
5.83/2.95	    
5.83/2.96	    num=53, depth=5..11, filters=40116, revisions=(37133,useless=20236), ccks=95786, wck=0.599, mem=68M897
5.83/2.96	    decisions=3079, wrong=1281, backtracks=741, failedAssignments=798, nogoods=204, foundSolutions=7, bestBound=-977
5.83/2.96	    nFilterCalls=120905, avgTableProportion=0.99724539119117, avgTableSize=362.0816756957942
5.83/2.96	    
5.83/2.98	    num=54, depth=6..11, filters=41608, revisions=(38507,useless=20970), ccks=99730, wck=0.619, mem=68M897
5.83/2.98	    decisions=3189, wrong=1333, backtracks=774, failedAssignments=829, nogoods=210, foundSolutions=7, bestBound=-977
5.83/2.98	    nFilterCalls=125358, avgTableProportion=0.9972453902275883, avgTableSize=362.08154246238774
5.83/2.98	    
6.13/3.01	    num=55, depth=7..14, filters=43512, revisions=(40195,useless=21917), ccks=104176, wck=0.643, mem=68M897
6.13/3.01	    decisions=3320, wrong=1394, backtracks=815, failedAssignments=863, nogoods=216, foundSolutions=7, bestBound=-977
6.13/3.01	    nFilterCalls=131678, avgTableProportion=0.9972453838927736, avgTableSize=362.0806664742782
6.13/3.01	    
6.13/3.03	    num=56, depth=5..13, filters=45242, revisions=(41731,useless=22753), ccks=107840, wck=0.665, mem=68M897
6.13/3.03	    decisions=3436, wrong=1449, backtracks=846, failedAssignments=900, nogoods=219, foundSolutions=7, bestBound=-977
6.13/3.03	    nFilterCalls=137114, avgTableProportion=0.9972453873475737, avgTableSize=362.0811441574165
6.13/3.03	    
6.13/3.05	    num=57, depth=7..13, filters=47015, revisions=(43325,useless=23576), ccks=111846, wck=0.683, mem=71M540
6.13/3.05	    decisions=3569, wrong=1512, backtracks=875, failedAssignments=941, nogoods=224, foundSolutions=7, bestBound=-977
6.13/3.05	    nFilterCalls=141280, avgTableProportion=0.9972453840696278, avgTableSize=362.08069082672705
6.13/3.05	    
6.13/3.07	    num=58, depth=4..12, filters=49289, revisions=(45484,useless=24688), ccks=118047, wck=0.707, mem=71M540
6.13/3.07	    decisions=3722, wrong=1586, backtracks=917, failedAssignments=986, nogoods=229, foundSolutions=7, bestBound=-977
6.13/3.07	    nFilterCalls=146990, avgTableProportion=0.9972453766538161, avgTableSize=362.0796652833526
6.13/3.07	    
6.13/3.10	    num=59, depth=5..11, filters=52057, revisions=(47883,useless=26034), ccks=124012, wck=0.737, mem=71M540
6.13/3.10	    decisions=3895, wrong=1670, backtracks=966, failedAssignments=1036, nogoods=236, foundSolutions=7, bestBound=-977
6.13/3.10	    nFilterCalls=154424, avgTableProportion=0.9972454053963383, avgTableSize=362.0836398487282
6.13/3.10	    
6.38/3.13	    num=60, depth=5..12, filters=54934, revisions=(50538,useless=27427), ccks=130635, wck=0.771, mem=71M540
6.38/3.13	    decisions=4084, wrong=1762, backtracks=1026, failedAssignments=1091, nogoods=238, foundSolutions=7, bestBound=-977
6.38/3.13	    nFilterCalls=161832, avgTableProportion=0.9972453970136478, avgTableSize=362.0824805971625
6.38/3.13	    
6.38/3.16	    num=61, depth=6..14, filters=57529, revisions=(52974,useless=28728), ccks=136992, wck=0.797, mem=71M540
6.38/3.16	    decisions=4279, wrong=1856, backtracks=1081, failedAssignments=1152, nogoods=248, foundSolutions=7, bestBound=-977
6.38/3.16	    nFilterCalls=168854, avgTableProportion=0.9972453969635386, avgTableSize=362.0824736162602
6.38/3.16	    
6.54/3.20	    num=62, depth=7..13, filters=61302, revisions=(56168,useless=30563), ccks=144362, wck=0.838, mem=71M540
6.54/3.20	    decisions=4513, wrong=1969, backtracks=1145, failedAssignments=1219, nogoods=255, foundSolutions=7, bestBound=-977
6.54/3.20	    nFilterCalls=179667, avgTableProportion=0.9972454160910997, avgTableSize=362.085118580485
6.54/3.20	    
6.54/3.24	    num=63, depth=7..14, filters=64767, revisions=(59135,useless=32185), ccks=152956, wck=0.877, mem=71M540
6.54/3.24	    decisions=4746, wrong=2082, backtracks=1218, failedAssignments=1293, nogoods=260, foundSolutions=7, bestBound=-977
6.54/3.24	    nFilterCalls=191577, avgTableProportion=0.997245404625428, avgTableSize=362.08353299195625
6.54/3.24	    
6.54/3.29	    num=64, depth=4..12, filters=68955, revisions=(63037,useless=34288), ccks=162310, wck=0.922, mem=71M540
6.54/3.29	    decisions=5018, wrong=2216, backtracks=1296, failedAssignments=1374, nogoods=266, foundSolutions=7, bestBound=-977
6.54/3.29	    nFilterCalls=202109, avgTableProportion=0.997245405635916, avgTableSize=362.08367267167716
6.54/3.29	    
6.65/3.35	    num=65, depth=3..11, filters=74122, revisions=(67564,useless=36788), ccks=175173, wck=0.985, mem=71M540
6.65/3.35	    decisions=5342, wrong=2375, backtracks=1403, failedAssignments=1463, nogoods=271, foundSolutions=7, bestBound=-977
6.65/3.35	    nFilterCalls=217633, avgTableProportion=0.9972454141781814, avgTableSize=362.08485385947904
6.65/3.35	    
6.65/3.39	    num=66, depth=4..12, filters=78759, revisions=(71878,useless=39118), ccks=185019, wck=1.031, mem=74M182
6.65/3.39	    decisions=5659, wrong=2531, backtracks=1499, failedAssignments=1561, nogoods=276, foundSolutions=7, bestBound=-977
6.65/3.39	    nFilterCalls=229350, avgTableProportion=0.9972454283283297, avgTableSize=362.08681055155876
6.65/3.39	    
6.76/3.46	    num=67, depth=5..14, filters=84560, revisions=(76567,useless=41750), ccks=196975, wck=1.1, mem=74M182
6.76/3.46	    decisions=6035, wrong=2716, backtracks=1626, failedAssignments=1669, nogoods=283, foundSolutions=7, bestBound=-977
6.76/3.46	    nFilterCalls=247622, avgTableProportion=0.9972454371424226, avgTableSize=362.08802933503483
6.76/3.46	    
6.86/3.56	    num=68, depth=4..12, filters=91597, revisions=(82503,useless=45244), ccks=209626, wck=1.192, mem=74M182
6.86/3.56	    decisions=6438, wrong=2915, backtracks=1739, failedAssignments=1788, nogoods=286, foundSolutions=7, bestBound=-977
6.86/3.56	    nFilterCalls=271753, avgTableProportion=0.9972454425917746, avgTableSize=362.0887828285244
6.86/3.56	    
6.96/3.64	    num=69, depth=3..13, filters=98313, revisions=(88492,useless=48501), ccks=224392, wck=1.273, mem=74M182
6.96/3.64	    decisions=6871, wrong=3129, backtracks=1877, failedAssignments=1919, nogoods=290, foundSolutions=7, bestBound=-977
6.96/3.64	    nFilterCalls=290979, avgTableProportion=0.9972454462468366, avgTableSize=362.08928823042214
6.96/3.64	    
6.96/3.68	o -976
6.96/3.68	    num=70, depth=6..59, filters=101780, revisions=(91301,useless=50166), ccks=232545, wck=1.314, mem=74M182
6.96/3.68	    decisions=7096, wrong=3235, backtracks=1938, failedAssignments=1983, nogoods=294, foundSolutions=8, bestBound=-976
6.96/3.68	    nFilterCalls=303129, avgTableProportion=0.9972454420756828, avgTableSize=362.0887114066948
6.96/3.68	    
7.07/3.77	    num=71, depth=4..15, filters=109747, revisions=(98159,useless=53993), ccks=247245, wck=1.404, mem=76M825
7.07/3.77	    decisions=7605, wrong=3485, backtracks=2110, failedAssignments=2141, nogoods=302, foundSolutions=8, bestBound=-976
7.07/3.77	    nFilterCalls=326762, avgTableProportion=0.9972454755040803, avgTableSize=362.093333986204
7.07/3.77	    
7.07/3.78	    num=72, depth=6..10, filters=110445, revisions=(98811,useless=54351), ccks=248653, wck=1.414, mem=76M825
7.07/3.78	    decisions=7654, wrong=3506, backtracks=2125, failedAssignments=2152, nogoods=307, foundSolutions=8, bestBound=-976
7.07/3.78	    nFilterCalls=328760, avgTableProportion=0.9972454745256769, avgTableSize=362.0931986859715
7.07/3.78	    
7.07/3.79	    num=73, depth=7..12, filters=111123, revisions=(99462,useless=54706), ccks=250087, wck=1.422, mem=76M825
7.07/3.79	    decisions=7703, wrong=3526, backtracks=2139, failedAssignments=2164, nogoods=313, foundSolutions=8, bestBound=-976
7.07/3.79	    nFilterCalls=330851, avgTableProportion=0.997245475708645, avgTableSize=362.0933622688159
7.07/3.79	    
7.07/3.79	    num=74, depth=5..10, filters=111890, revisions=(100161,useless=55054), ccks=251864, wck=1.43, mem=76M825
7.07/3.79	    decisions=7744, wrong=3544, backtracks=2151, failedAssignments=2177, nogoods=315, foundSolutions=8, bestBound=-976
7.07/3.79	    nFilterCalls=332571, avgTableProportion=0.9972454730866772, avgTableSize=362.0929996902917
7.07/3.79	    
7.07/3.80	    num=75, depth=7..11, filters=112542, revisions=(100816,useless=55398), ccks=253255, wck=1.436, mem=76M825
7.07/3.80	    decisions=7797, wrong=3567, backtracks=2164, failedAssignments=2191, nogoods=319, foundSolutions=8, bestBound=-976
7.07/3.80	    nFilterCalls=334244, avgTableProportion=0.997245472035463, avgTableSize=362.0928543219923
7.07/3.80	    
7.21/3.81	    num=76, depth=5..9, filters=113541, revisions=(101815,useless=55924), ccks=255228, wck=1.447, mem=76M825
7.21/3.81	    decisions=7867, wrong=3599, backtracks=2184, failedAssignments=2207, nogoods=325, foundSolutions=8, bestBound=-976
7.21/3.81	    nFilterCalls=336629, avgTableProportion=0.9972454740449717, avgTableSize=362.0931322019196
7.21/3.81	    
7.21/3.81	o -975
7.21/3.81	    num=77, depth=61..59, filters=113718, revisions=(102013,useless=56037), ccks=255669, wck=1.45, mem=76M825
7.21/3.81	    decisions=7885, wrong=3599, backtracks=2184, failedAssignments=2207, nogoods=325, foundSolutions=9, bestBound=-975
7.21/3.81	    nFilterCalls=337278, avgTableProportion=0.9972454747001468, avgTableSize=362.0932228013686
7.21/3.81	    
7.21/3.82	    num=78, depth=5..10, filters=114676, revisions=(103005,useless=56577), ccks=257869, wck=1.459, mem=76M825
7.21/3.82	    decisions=7951, wrong=3629, backtracks=2205, failedAssignments=2226, nogoods=331, foundSolutions=9, bestBound=-975
7.21/3.82	    nFilterCalls=339809, avgTableProportion=0.997245472849848, avgTableSize=362.09296693142323
7.21/3.82	    
7.21/3.83	    num=79, depth=7..14, filters=115337, revisions=(103637,useless=56937), ccks=259324, wck=1.466, mem=76M825
7.21/3.83	    decisions=8003, wrong=3651, backtracks=2223, failedAssignments=2237, nogoods=335, foundSolutions=9, bestBound=-975
7.21/3.83	    nFilterCalls=341803, avgTableProportion=0.9972454792101372, avgTableSize=362.0938464554144
7.21/3.83	    
7.21/3.84	    num=80, depth=7..13, filters=115976, revisions=(104251,useless=57267), ccks=260661, wck=1.473, mem=76M825
7.21/3.84	    decisions=8054, wrong=3673, backtracks=2236, failedAssignments=2249, nogoods=337, foundSolutions=9, bestBound=-975
7.21/3.84	    nFilterCalls=343482, avgTableProportion=0.9972454780191944, avgTableSize=362.09368176498333
7.21/3.84	    
7.21/3.84	    num=81, depth=8..13, filters=116557, revisions=(104836,useless=57598), ccks=262034, wck=1.479, mem=76M825
7.21/3.84	    decisions=8104, wrong=3694, backtracks=2250, failedAssignments=2262, nogoods=340, foundSolutions=9, bestBound=-975
7.21/3.84	    nFilterCalls=345337, avgTableProportion=0.9972454774165528, avgTableSize=362.09359842704373
7.21/3.84	    
7.21/3.85	o -974
7.21/3.85	    num=82, depth=15..59, filters=116747, revisions=(105043,useless=57716), ccks=262501, wck=1.482, mem=76M825
7.21/3.85	    decisions=8123, wrong=3696, backtracks=2250, failedAssignments=2264, nogoods=342, foundSolutions=10, bestBound=-974
7.21/3.85	    nFilterCalls=345978, avgTableProportion=0.9972454778137599, avgTableSize=362.0936533536815
7.21/3.85	    
7.21/3.86	    num=83, depth=4..9, filters=117733, revisions=(106025,useless=58259), ccks=264548, wck=1.496, mem=76M825
7.21/3.86	    decisions=8183, wrong=3723, backtracks=2268, failedAssignments=2280, nogoods=346, foundSolutions=10, bestBound=-974
7.21/3.86	    nFilterCalls=348739, avgTableProportion=0.9972454778225569, avgTableSize=362.0936545668824
7.21/3.86	    
7.21/3.87	    num=84, depth=7..12, filters=118417, revisions=(106675,useless=58604), ccks=265990, wck=1.502, mem=76M825
7.21/3.87	    decisions=8229, wrong=3742, backtracks=2281, failedAssignments=2291, nogoods=348, foundSolutions=10, bestBound=-974
7.21/3.87	    nFilterCalls=350270, avgTableProportion=0.9972454758739432, avgTableSize=362.0933851029206
7.21/3.87	    
7.21/3.87	    num=85, depth=8..12, filters=119176, revisions=(107372,useless=59016), ccks=267529, wck=1.51, mem=76M825
7.21/3.87	    decisions=8279, wrong=3763, backtracks=2294, failedAssignments=2303, nogoods=354, foundSolutions=10, bestBound=-974
7.21/3.87	    nFilterCalls=352568, avgTableProportion=0.9972454784870745, avgTableSize=362.0937464545847
7.21/3.87	    
7.21/3.88	    num=86, depth=6..11, filters=120027, revisions=(108179,useless=59445), ccks=269383, wck=1.518, mem=76M825
7.21/3.88	    decisions=8327, wrong=3783, backtracks=2306, failedAssignments=2316, nogoods=362, foundSolutions=10, bestBound=-974
7.21/3.88	    nFilterCalls=354563, avgTableProportion=0.9972454804853578, avgTableSize=362.0940227829751
7.21/3.88	    
7.21/3.89	    num=87, depth=6..11, filters=120704, revisions=(108833,useless=59813), ccks=270800, wck=1.526, mem=76M825
7.21/3.89	    decisions=8378, wrong=3805, backtracks=2320, failedAssignments=2330, nogoods=365, foundSolutions=10, bestBound=-974
7.21/3.89	    nFilterCalls=356454, avgTableProportion=0.9972454807126503, avgTableSize=362.09405421176365
7.21/3.89	    
7.33/3.90	    num=88, depth=7..13, filters=121452, revisions=(109551,useless=60199), ccks=272381, wck=1.534, mem=76M825
7.33/3.90	    decisions=8434, wrong=3829, backtracks=2338, failedAssignments=2346, nogoods=371, foundSolutions=10, bestBound=-974
7.33/3.90	    nFilterCalls=358644, avgTableProportion=0.9972454803904822, avgTableSize=362.09400965860294
7.33/3.90	    
7.33/3.91	    num=89, depth=7..11, filters=122170, revisions=(110288,useless=60602), ccks=273872, wck=1.542, mem=76M825
7.33/3.91	    decisions=8489, wrong=3852, backtracks=2348, failedAssignments=2363, nogoods=377, foundSolutions=10, bestBound=-974
7.33/3.91	    nFilterCalls=360803, avgTableProportion=0.9972454791485119, avgTableSize=362.0938379115473
7.33/3.91	    
7.33/3.91	    num=90, depth=7..12, filters=123046, revisions=(111146,useless=61065), ccks=275593, wck=1.55, mem=76M825
7.33/3.91	    decisions=8556, wrong=3881, backtracks=2362, failedAssignments=2382, nogoods=384, foundSolutions=10, bestBound=-974
7.33/3.91	    nFilterCalls=362997, avgTableProportion=0.9972454787524797, avgTableSize=362.0937831442133
7.33/3.91	    
7.33/3.93	    num=91, depth=6..12, filters=124160, revisions=(112193,useless=61659), ccks=277838, wck=1.563, mem=76M825
7.33/3.93	    decisions=8629, wrong=3914, backtracks=2387, failedAssignments=2403, nogoods=389, foundSolutions=10, bestBound=-974
7.33/3.93	    nFilterCalls=366179, avgTableProportion=0.9972454834838947, avgTableSize=362.09443741995034
7.33/3.93	    
7.33/3.94	    num=92, depth=8..15, filters=125122, revisions=(113059,useless=62165), ccks=280295, wck=1.574, mem=76M825
7.33/3.94	    decisions=8715, wrong=3953, backtracks=2411, failedAssignments=2426, nogoods=391, foundSolutions=10, bestBound=-974
7.33/3.94	    nFilterCalls=369498, avgTableProportion=0.9972454832404984, avgTableSize=362.09440375861305
7.33/3.94	    
7.33/3.95	    num=93, depth=7..13, filters=126544, revisions=(114338,useless=62883), ccks=283120, wck=1.59, mem=79M467
7.33/3.95	    decisions=8811, wrong=3997, backtracks=2441, failedAssignments=2451, nogoods=400, foundSolutions=10, bestBound=-974
7.33/3.95	    nFilterCalls=373272, avgTableProportion=0.9972454865285594, avgTableSize=362.0948584410296
7.33/3.95	    
7.33/3.97	    num=94, depth=6..11, filters=127920, revisions=(115701,useless=63662), ccks=286173, wck=1.605, mem=79M467
7.33/3.97	    decisions=8917, wrong=4046, backtracks=2467, failedAssignments=2479, nogoods=408, foundSolutions=10, bestBound=-974
7.33/3.97	    nFilterCalls=377128, avgTableProportion=0.9972454845770513, avgTableSize=362.09458857470145
7.33/3.97	    
7.33/3.99	    num=95, depth=4..10, filters=129384, revisions=(117091,useless=64396), ccks=289462, wck=1.623, mem=79M467
7.33/3.99	    decisions=9024, wrong=4097, backtracks=2502, failedAssignments=2510, nogoods=412, foundSolutions=10, bestBound=-974
7.33/3.99	    nFilterCalls=381250, avgTableProportion=0.9972454851101895, avgTableSize=362.09466229508195
7.33/3.99	    
7.44/4.01	    num=96, depth=6..14, filters=131415, revisions=(118742,useless=65358), ccks=293557, wck=1.644, mem=79M467
7.44/4.01	    decisions=9154, wrong=4158, backtracks=2537, failedAssignments=2544, nogoods=419, foundSolutions=10, bestBound=-974
7.44/4.01	    nFilterCalls=386929, avgTableProportion=0.9972454799409654, avgTableSize=362.0939474683986
7.44/4.01	    
7.44/4.03	    num=97, depth=7..15, filters=133344, revisions=(120304,useless=66241), ccks=297053, wck=1.666, mem=79M467
7.44/4.03	    decisions=9279, wrong=4215, backtracks=2573, failedAssignments=2581, nogoods=425, foundSolutions=10, bestBound=-974
7.44/4.03	    nFilterCalls=393251, avgTableProportion=0.9972454833257632, avgTableSize=362.0944155259618
7.44/4.03	    
7.44/4.06	    num=98, depth=3..10, filters=135653, revisions=(122270,useless=67367), ccks=301422, wck=1.697, mem=79M467
7.44/4.06	    decisions=9412, wrong=4280, backtracks=2616, failedAssignments=2622, nogoods=428, foundSolutions=10, bestBound=-974
7.44/4.06	    nFilterCalls=400623, avgTableProportion=0.9972454918451393, avgTableSize=362.0955936129478
7.44/4.06	    
7.44/4.09	    num=99, depth=3..11, filters=137807, revisions=(124335,useless=68459), ccks=305789, wck=1.721, mem=79M467
7.44/4.09	    decisions=9561, wrong=4352, backtracks=2656, failedAssignments=2667, nogoods=431, foundSolutions=10, bestBound=-974
7.44/4.09	    nFilterCalls=405852, avgTableProportion=0.9972454934691278, avgTableSize=362.09581818002624
7.44/4.09	    
7.54/4.11	    num=100, depth=5..13, filters=140248, revisions=(126503,useless=69663), ccks=311253, wck=1.749, mem=79M467
7.54/4.11	    decisions=9727, wrong=4431, backtracks=2704, failedAssignments=2717, nogoods=436, foundSolutions=10, bestBound=-974
7.54/4.11	    nFilterCalls=412773, avgTableProportion=0.9972454909436304, avgTableSize=362.0954689381331
7.54/4.11	    
7.54/4.15	    num=101, depth=2..10, filters=143321, revisions=(129160,useless=71098), ccks=318984, wck=1.786, mem=79M467
7.54/4.15	    decisions=9926, wrong=4528, backtracks=2766, failedAssignments=2772, nogoods=439, foundSolutions=10, bestBound=-974
7.54/4.15	    nFilterCalls=421166, avgTableProportion=0.9972454924156656, avgTableSize=362.09567249018204
7.54/4.15	    
7.54/4.19	    num=102, depth=4..10, filters=146678, revisions=(132183,useless=72767), ccks=326059, wck=1.824, mem=79M467
7.54/4.19	    decisions=10132, wrong=4629, backtracks=2824, failedAssignments=2833, nogoods=445, foundSolutions=10, bestBound=-974
7.54/4.19	    nFilterCalls=430299, avgTableProportion=0.9972454906212538, avgTableSize=362.09542434446746
7.54/4.19	    
7.63/4.23	    num=103, depth=3..11, filters=150664, revisions=(135670,useless=74703), ccks=333415, wck=1.866, mem=79M467
7.63/4.23	    decisions=10378, wrong=4749, backtracks=2900, failedAssignments=2900, nogoods=453, foundSolutions=10, bestBound=-974
7.63/4.23	    nFilterCalls=440232, avgTableProportion=0.9972455004632751, avgTableSize=362.0967853313707
7.63/4.23	    
7.63/4.27	    num=104, depth=4..10, filters=154111, revisions=(138845,useless=76380), ccks=341690, wck=1.904, mem=82M109
7.63/4.27	    decisions=10609, wrong=4862, backtracks=2967, failedAssignments=2974, nogoods=464, foundSolutions=10, bestBound=-974
7.63/4.27	    nFilterCalls=448835, avgTableProportion=0.9972454973111604, avgTableSize=362.0963494379895
7.63/4.27	    
7.77/4.32	    num=105, depth=6..16, filters=158797, revisions=(142792,useless=78687), ccks=350862, wck=1.955, mem=82M109
7.77/4.32	    decisions=10904, wrong=5005, backtracks=3059, failedAssignments=3055, nogoods=473, foundSolutions=10, bestBound=-974
7.77/4.32	    nFilterCalls=462577, avgTableProportion=0.9972455156639072, avgTableSize=362.09888732038127
7.77/4.32	    
7.77/4.37	    num=106, depth=5..13, filters=163061, revisions=(146647,useless=80862), ccks=359846, wck=2.004, mem=82M109
7.77/4.37	    decisions=11201, wrong=5151, backtracks=3157, failedAssignments=3144, nogoods=481, foundSolutions=10, bestBound=-974
7.77/4.37	    nFilterCalls=474838, avgTableProportion=0.9972455163727798, avgTableSize=362.09898533815743
7.77/4.37	    
7.87/4.43	    num=107, depth=3..14, filters=168507, revisions=(151410,useless=83479), ccks=371731, wck=2.065, mem=82M109
7.87/4.43	    decisions=11527, wrong=5311, backtracks=3266, failedAssignments=3242, nogoods=487, foundSolutions=10, bestBound=-974
7.87/4.43	    nFilterCalls=490161, avgTableProportion=0.9972455252284825, avgTableSize=362.1002099310227
7.87/4.43	    
7.87/4.49	    num=108, depth=4..16, filters=174220, revisions=(156528,useless=86327), ccks=384297, wck=2.128, mem=82M109
7.87/4.49	    decisions=11934, wrong=5512, backtracks=3402, failedAssignments=3350, nogoods=495, foundSolutions=10, bestBound=-974
7.87/4.49	    nFilterCalls=506114, avgTableProportion=0.9972455336350659, avgTableSize=362.10137241807183
7.87/4.49	    
7.98/4.57	    num=109, depth=3..15, filters=181717, revisions=(163068,useless=89919), ccks=400079, wck=2.209, mem=84M752
7.98/4.57	    decisions=12364, wrong=5725, backtracks=3544, failedAssignments=3469, nogoods=498, foundSolutions=10, bestBound=-974
7.98/4.57	    nFilterCalls=526887, avgTableProportion=0.9972455276125157, avgTableSize=362.1005395843891
7.98/4.57	    
7.98/4.59	o -973
7.98/4.59	    num=110, depth=5..59, filters=183545, revisions=(164671,useless=90758), ccks=404331, wck=2.23, mem=84M752
7.98/4.59	    decisions=12487, wrong=5782, backtracks=3577, failedAssignments=3500, nogoods=509, foundSolutions=11, bestBound=-973
7.98/4.59	    nFilterCalls=532283, avgTableProportion=0.9972455235570155, avgTableSize=362.0999787706915
7.98/4.59	    
8.22/4.70	    num=111, depth=4..14, filters=192057, revisions=(171574,useless=94710), ccks=421853, wck=2.338, mem=84M752
8.22/4.70	    decisions=12978, wrong=6025, backtracks=3741, failedAssignments=3644, nogoods=521, foundSolutions=11, bestBound=-973
8.22/4.70	    nFilterCalls=557610, avgTableProportion=0.997245546911679, avgTableSize=362.10320833557506
8.22/4.70	    
8.22/4.71	    num=112, depth=7..11, filters=192655, revisions=(172131,useless=95012), ccks=423204, wck=2.344, mem=84M752
8.22/4.71	    decisions=13023, wrong=6044, backtracks=3750, failedAssignments=3655, nogoods=527, foundSolutions=11, bestBound=-973
8.22/4.71	    nFilterCalls=559205, avgTableProportion=0.99724554510619, avgTableSize=362.1029586645327
8.22/4.71	    
8.22/4.72	    num=113, depth=6..11, filters=193346, revisions=(172816,useless=95397), ccks=424688, wck=2.353, mem=84M752
8.22/4.72	    decisions=13071, wrong=6065, backtracks=3766, failedAssignments=3667, nogoods=531, foundSolutions=11, bestBound=-973
8.22/4.72	    nFilterCalls=561470, avgTableProportion=0.9972455433262231, avgTableSize=362.1027125224856
8.22/4.72	    
8.22/4.72	    num=114, depth=5..8, filters=193998, revisions=(173472,useless=95743), ccks=426102, wck=2.36, mem=84M752
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.369, mem=84M752
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.75	    num=116, depth=4..10, filters=195960, revisions=(175268,useless=96737), ccks=429969, wck=2.382, mem=84M752
8.22/4.75	    decisions=13229, wrong=6136, backtracks=3806, failedAssignments=3710, nogoods=550, foundSolutions=11, bestBound=-973
8.22/4.75	    nFilterCalls=567893, avgTableProportion=0.9972455417635074, avgTableSize=362.1024964209807
8.22/4.75	    
8.22/4.76	    num=117, depth=5..10, filters=196996, revisions=(176252,useless=97283), ccks=431928, wck=2.392, mem=84M752
8.22/4.76	    decisions=13295, wrong=6166, backtracks=3823, failedAssignments=3727, nogoods=552, foundSolutions=11, bestBound=-973
8.22/4.76	    nFilterCalls=570376, avgTableProportion=0.9972455425559371, avgTableSize=362.1026060002525
8.22/4.76	    
8.22/4.77	    num=118, depth=5..13, filters=198180, revisions=(177344,useless=97878), ccks=434619, wck=2.406, mem=84M752
8.22/4.77	    decisions=13366, wrong=6198, backtracks=3843, failedAssignments=3746, nogoods=555, foundSolutions=11, bestBound=-973
8.22/4.77	    nFilterCalls=573664, avgTableProportion=0.997245541227693, avgTableSize=362.102422323869
8.22/4.77	    
8.22/4.78	    num=119, depth=6..11, filters=199352, revisions=(178354,useless=98466), ccks=436838, wck=2.42, mem=84M752
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.32/4.80	    num=120, depth=4..9, filters=200877, revisions=(179803,useless=99249), ccks=439982, wck=2.435, mem=84M752
8.32/4.80	    decisions=13526, wrong=6271, backtracks=3890, failedAssignments=3790, nogoods=567, foundSolutions=11, bestBound=-973
8.32/4.80	    nFilterCalls=580285, avgTableProportion=0.9972455370013844, avgTableSize=362.10183789000234
8.32/4.80	    
8.32/4.82	    num=121, depth=4..10, filters=202130, revisions=(181037,useless=99925), ccks=442528, wck=2.452, mem=84M752
8.32/4.82	    decisions=13621, wrong=6316, backtracks=3915, failedAssignments=3815, nogoods=573, foundSolutions=11, bestBound=-973
8.32/4.82	    nFilterCalls=583826, avgTableProportion=0.9972455345042016, avgTableSize=362.10149256799116
8.32/4.82	    
8.32/4.84	    num=122, depth=4..13, filters=203849, revisions=(182659,useless=100768), ccks=447116, wck=2.472, mem=84M752
8.32/4.84	    decisions=13738, wrong=6372, backtracks=3953, failedAssignments=3843, nogoods=579, foundSolutions=11, bestBound=-973
8.32/4.84	    nFilterCalls=588216, avgTableProportion=0.9972455343130149, avgTableSize=362.101466128089
8.32/4.84	    
8.32/4.86	    num=123, depth=4..13, filters=205884, revisions=(184447,useless=101723), ccks=451780, wck=2.494, mem=87M394
8.32/4.86	    decisions=13847, wrong=6423, backtracks=3988, failedAssignments=3874, nogoods=584, foundSolutions=11, bestBound=-973
8.32/4.86	    nFilterCalls=593501, avgTableProportion=0.9972455313735465, avgTableSize=362.1010596443814
8.32/4.86	    
8.32/4.88	    num=124, depth=3..10, filters=207785, revisions=(186200,useless=102768), ccks=454930, wck=2.519, mem=87M394
8.32/4.88	    decisions=13967, wrong=6481, backtracks=4018, failedAssignments=3908, nogoods=592, foundSolutions=11, bestBound=-973
8.32/4.88	    nFilterCalls=599226, avgTableProportion=0.9972455310891618, avgTableSize=362.1010203162079
8.32/4.88	    
8.43/4.91	    num=125, depth=5..11, filters=210230, revisions=(188279,useless=103879), ccks=460227, wck=2.546, mem=87M394
8.43/4.91	    decisions=14097, wrong=6543, backtracks=4057, failedAssignments=3945, nogoods=600, foundSolutions=11, bestBound=-973
8.43/4.91	    nFilterCalls=605238, avgTableProportion=0.9972455287074987, avgTableSize=362.10069096785065
8.43/4.91	    
8.43/4.95	    num=126, depth=2..11, filters=212947, revisions=(190690,useless=105271), ccks=465881, wck=2.581, mem=87M394
8.43/4.95	    decisions=14262, wrong=6623, backtracks=4107, failedAssignments=3986, nogoods=607, foundSolutions=11, bestBound=-973
8.43/4.95	    nFilterCalls=613340, avgTableProportion=0.9972455254321833, avgTableSize=362.1002380408909
8.43/4.95	    
8.43/4.97	    num=127, depth=6..15, filters=215313, revisions=(192761,useless=106395), ccks=471234, wck=2.605, mem=87M394
8.43/4.97	    decisions=14414, wrong=6695, backtracks=4151, failedAssignments=4031, nogoods=611, foundSolutions=11, bestBound=-973
8.43/4.97	    nFilterCalls=619938, avgTableProportion=0.997245521240192, avgTableSize=362.09965835293207
8.43/4.97	    
8.43/5.00	    num=128, depth=3..13, filters=218357, revisions=(195385,useless=107871), ccks=477209, wck=2.641, mem=87M394
8.43/5.00	    decisions=14604, wrong=6788, backtracks=4213, failedAssignments=4081, nogoods=617, foundSolutions=11, bestBound=-973
8.43/5.00	    nFilterCalls=627970, avgTableProportion=0.9972455217877154, avgTableSize=362.09973406372916
8.43/5.00	    
8.55/5.05	    num=129, depth=4..13, filters=222199, revisions=(198510,useless=109674), ccks=485182, wck=2.685, mem=87M394
8.55/5.05	    decisions=14812, wrong=6890, backtracks=4276, failedAssignments=4136, nogoods=622, foundSolutions=11, bestBound=-973
8.55/5.05	    nFilterCalls=638510, avgTableProportion=0.9972455236995333, avgTableSize=362.09999843385384
8.55/5.05	    
8.55/5.10	    num=130, depth=4..11, filters=225957, revisions=(201798,useless=111563), ccks=492798, wck=2.734, mem=87M394
8.55/5.10	    decisions=15047, wrong=7005, backtracks=4349, failedAssignments=4197, nogoods=630, foundSolutions=11, bestBound=-973
8.55/5.10	    nFilterCalls=649357, avgTableProportion=0.9972455215649036, avgTableSize=362.0997032449023
8.55/5.10	    
8.65/5.14	    num=131, depth=4..13, filters=230055, revisions=(205415,useless=113657), ccks=501504, wck=2.778, mem=87M394
8.65/5.14	    decisions=15311, wrong=7134, backtracks=4444, failedAssignments=4264, nogoods=636, foundSolutions=11, bestBound=-973
8.65/5.14	    nFilterCalls=660120, avgTableProportion=0.9972455205121059, avgTableSize=362.0995576561837
8.65/5.14	    
8.65/5.18	    num=132, depth=2..13, filters=233867, revisions=(208938,useless=115610), ccks=509585, wck=2.819, mem=90M37
8.65/5.18	    decisions=15557, wrong=7252, backtracks=4518, failedAssignments=4338, nogoods=642, foundSolutions=11, bestBound=-973
8.65/5.18	    nFilterCalls=670583, avgTableProportion=0.9972455226185285, avgTableSize=362.09984893741716
8.65/5.18	    
8.74/5.23	    num=133, depth=3..14, filters=238053, revisions=(212770,useless=117685), ccks=519530, wck=2.866, mem=90M37
8.74/5.23	    decisions=15836, wrong=7389, backtracks=4611, failedAssignments=4419, nogoods=650, foundSolutions=11, bestBound=-973
8.74/5.23	    nFilterCalls=681873, avgTableProportion=0.997245524131994, avgTableSize=362.1000582219856
8.74/5.23	    
8.74/5.29	    num=134, depth=3..10, filters=243216, revisions=(217267,useless=120312), ccks=529250, wck=2.927, mem=90M37
8.74/5.29	    decisions=16149, wrong=7543, backtracks=4706, failedAssignments=4508, nogoods=654, foundSolutions=11, bestBound=-973
8.74/5.29	    nFilterCalls=695999, avgTableProportion=0.9972455305798819, avgTableSize=362.1009498576866
8.74/5.29	    
8.84/5.36	    num=135, depth=2..10, filters=248790, revisions=(222068,useless=123061), ccks=541003, wck=2.996, mem=90M37
8.84/5.36	    decisions=16495, wrong=7714, backtracks=4818, failedAssignments=4606, nogoods=662, foundSolutions=11, bestBound=-973
8.84/5.36	    nFilterCalls=713030, avgTableProportion=0.9972455373721939, avgTableSize=362.10188912107486
8.84/5.36	    
8.94/5.44	    num=136, depth=3..12, filters=255181, revisions=(227803,useless=126325), ccks=555429, wck=3.074, mem=90M37
8.94/5.44	    decisions=16924, wrong=7926, backtracks=4958, failedAssignments=4714, nogoods=668, foundSolutions=11, bestBound=-973
8.94/5.44	    nFilterCalls=731030, avgTableProportion=0.9972455425754839, avgTableSize=362.1026086480719
8.94/5.44	    
9.04/5.53	    num=137, depth=3..11, filters=262963, revisions=(233978,useless=129985), ccks=569464, wck=3.165, mem=92M679
9.04/5.53	    decisions=17330, wrong=8127, backtracks=5095, failedAssignments=4833, nogoods=676, foundSolutions=11, bestBound=-973
9.04/5.53	    nFilterCalls=754117, avgTableProportion=0.9972455663961868, avgTableSize=362.1059026649711
9.04/5.53	    
9.04/5.56	o -972
9.04/5.56	    num=138, depth=5..59, filters=265832, revisions=(236512,useless=131408), ccks=575599, wck=3.199, mem=92M679
9.04/5.56	    decisions=17510, wrong=8212, backtracks=5146, failedAssignments=4885, nogoods=681, foundSolutions=12, bestBound=-972
9.04/5.56	    nFilterCalls=762623, avgTableProportion=0.9972455678488286, avgTableSize=362.1061035400191
9.04/5.56	    
9.15/5.65	    num=139, depth=2..13, filters=273116, revisions=(243273,useless=134972), ccks=591485, wck=3.282, mem=92M679
9.15/5.65	    decisions=17970, wrong=8440, backtracks=5284, failedAssignments=5029, nogoods=693, foundSolutions=12, bestBound=-972
9.15/5.65	    nFilterCalls=782194, avgTableProportion=0.9972455729563179, avgTableSize=362.1068098195588
9.15/5.65	    
9.15/5.65	    num=140, depth=8..13, filters=273745, revisions=(243865,useless=135312), ccks=592753, wck=3.288, mem=92M679
9.15/5.65	    decisions=18013, wrong=8457, backtracks=5295, failedAssignments=5040, nogoods=695, foundSolutions=12, bestBound=-972
9.15/5.65	    nFilterCalls=783965, avgTableProportion=0.9972455722169029, avgTableSize=362.10670756985326
9.15/5.65	    
9.15/5.66	    num=141, depth=5..13, filters=274758, revisions=(244718,useless=135794), ccks=594714, wck=3.3, mem=92M679
9.15/5.66	    decisions=18069, wrong=8481, backtracks=5312, failedAssignments=5052, nogoods=700, foundSolutions=12, bestBound=-972
9.15/5.66	    nFilterCalls=787154, avgTableProportion=0.997245571580345, avgTableSize=362.1066195433168
9.15/5.66	    
9.15/5.67	    num=142, depth=7..15, filters=275488, revisions=(245329,useless=136134), ccks=596215, wck=3.31, mem=92M679
9.15/5.67	    decisions=18119, wrong=8502, backtracks=5322, failedAssignments=5065, nogoods=706, foundSolutions=12, bestBound=-972
9.15/5.67	    nFilterCalls=789935, avgTableProportion=0.9972455719693357, avgTableSize=362.10667333388193
9.15/5.67	    
9.15/5.68	    num=143, depth=6..11, filters=276409, revisions=(246198,useless=136603), ccks=598122, wck=3.319, mem=92M679
9.15/5.68	    decisions=18176, wrong=8527, backtracks=5339, failedAssignments=5079, nogoods=713, foundSolutions=12, bestBound=-972
9.15/5.68	    nFilterCalls=792471, avgTableProportion=0.9972455728223353, avgTableSize=362.1067912895235
9.15/5.68	    
9.26/5.70	    num=144, depth=4..11, filters=277474, revisions=(247161,useless=137203), ccks=599963, wck=3.335, mem=92M679
9.26/5.70	    decisions=18237, wrong=8555, backtracks=5359, failedAssignments=5095, nogoods=719, foundSolutions=12, bestBound=-972
9.26/5.70	    nFilterCalls=795892, avgTableProportion=0.9972455776712513, avgTableSize=362.10746181642736
9.26/5.70	    
9.26/5.71	    num=145, depth=4..12, filters=278647, revisions=(248259,useless=137780), ccks=602255, wck=3.347, mem=92M679
9.26/5.71	    decisions=18303, wrong=8585, backtracks=5378, failedAssignments=5112, nogoods=724, foundSolutions=12, bestBound=-972
9.26/5.71	    nFilterCalls=799041, avgTableProportion=0.9972455765182839, avgTableSize=362.1073023787265
9.26/5.71	    
9.26/5.73	    num=146, depth=5..11, filters=279698, revisions=(249207,useless=138292), ccks=604472, wck=3.361, mem=92M679
9.26/5.73	    decisions=18373, wrong=8617, backtracks=5398, failedAssignments=5131, nogoods=726, foundSolutions=12, bestBound=-972
9.26/5.73	    nFilterCalls=802345, avgTableProportion=0.997245575810529, avgTableSize=362.10720450678946
9.26/5.73	    
9.26/5.74	    num=147, depth=6..14, filters=280778, revisions=(250247,useless=138856), ccks=606947, wck=3.373, mem=92M679
9.26/5.74	    decisions=18448, wrong=8651, backtracks=5415, failedAssignments=5152, nogoods=730, foundSolutions=12, bestBound=-972
9.26/5.74	    nFilterCalls=805293, avgTableProportion=0.9972455750558685, avgTableSize=362.10710014864156
9.26/5.74	    
9.26/5.75	    num=148, depth=4..9, filters=281929, revisions=(251308,useless=139439), ccks=609794, wck=3.387, mem=92M679
9.26/5.75	    decisions=18529, wrong=8689, backtracks=5434, failedAssignments=5175, nogoods=735, foundSolutions=12, bestBound=-972
9.26/5.75	    nFilterCalls=808829, avgTableProportion=0.9972455751032051, avgTableSize=362.10710669375106
9.26/5.75	    
9.26/5.76	    num=149, depth=5..13, filters=283431, revisions=(252617,useless=140113), ccks=612526, wck=3.401, mem=95M322
9.26/5.76	    decisions=18615, wrong=8729, backtracks=5452, failedAssignments=5200, nogoods=742, foundSolutions=12, bestBound=-972
9.26/5.76	    nFilterCalls=812055, avgTableProportion=0.9972455739319462, avgTableSize=362.1069447266503
9.26/5.76	    
9.26/5.78	    num=150, depth=5..12, filters=284877, revisions=(253914,useless=140859), ccks=615255, wck=3.417, mem=95M322
9.26/5.78	    decisions=18708, wrong=8772, backtracks=5475, failedAssignments=5228, nogoods=746, foundSolutions=12, bestBound=-972
9.26/5.78	    nFilterCalls=816204, avgTableProportion=0.9972455736421126, avgTableSize=362.1069046463874
9.26/5.78	    
9.37/5.80	    num=151, depth=3..8, filters=286782, revisions=(255731,useless=141920), ccks=618900, wck=3.439, mem=95M322
9.37/5.80	    decisions=18826, wrong=8829, backtracks=5509, failedAssignments=5259, nogoods=751, foundSolutions=12, bestBound=-972
9.37/5.80	    nFilterCalls=820749, avgTableProportion=0.9972455737224603, avgTableSize=362.1069157562178
9.37/5.80	    
9.37/5.82	    num=152, depth=5..13, filters=288535, revisions=(257278,useless=142791), ccks=622647, wck=3.459, mem=95M322
9.37/5.82	    decisions=18949, wrong=8888, backtracks=5546, failedAssignments=5293, nogoods=758, foundSolutions=12, bestBound=-972
9.37/5.82	    nFilterCalls=825636, avgTableProportion=0.997245574690327, avgTableSize=362.10704959570563
9.37/5.82	    
9.37/5.85	    num=153, depth=2..11, filters=290977, revisions=(259302,useless=143958), ccks=626825, wck=3.49, mem=95M322
9.37/5.85	    decisions=19081, wrong=8953, backtracks=5595, failedAssignments=5330, nogoods=760, foundSolutions=12, bestBound=-972
9.37/5.85	    nFilterCalls=832748, avgTableProportion=0.9972455811742802, avgTableSize=362.10794622142595
9.37/5.85	    
9.37/5.88	    num=154, depth=3..13, filters=293542, revisions=(261431,useless=145181), ccks=631456, wck=3.52, mem=95M322
9.37/5.88	    decisions=19224, wrong=9022, backtracks=5642, failedAssignments=5371, nogoods=767, foundSolutions=12, bestBound=-972
9.37/5.88	    nFilterCalls=840065, avgTableProportion=0.9972455855916811, avgTableSize=362.10855707594055
9.37/5.88	    
9.47/5.92	    num=155, depth=2..9, filters=296770, revisions=(264325,useless=146874), ccks=636333, wck=3.559, mem=95M322
9.47/5.92	    decisions=19391, wrong=9104, backtracks=5690, failedAssignments=5416, nogoods=772, foundSolutions=12, bestBound=-972
9.47/5.92	    nFilterCalls=848457, avgTableProportion=0.9972455889752745, avgTableSize=362.1090249712124
9.47/5.92	    
9.47/5.94	o -970
9.47/5.94	    num=156, depth=10..59, filters=298189, revisions=(265443,useless=147552), ccks=639241, wck=3.575, mem=95M322
9.47/5.94	    decisions=19480, wrong=9142, backtracks=5711, failedAssignments=5438, nogoods=780, foundSolutions=13, bestBound=-970
9.47/5.94	    nFilterCalls=853410, avgTableProportion=0.9972455885261727, avgTableSize=362.10896286661745
9.47/5.94	    
9.47/5.97	    num=157, depth=2..12, filters=300862, revisions=(267951,useless=148939), ccks=644277, wck=3.604, mem=95M322
9.47/5.97	    decisions=19679, wrong=9240, backtracks=5774, failedAssignments=5493, nogoods=784, foundSolutions=13, bestBound=-970
9.47/5.97	    nFilterCalls=860670, avgTableProportion=0.9972455916259908, avgTableSize=362.10939152055954
9.47/5.97	    
9.47/5.97	    num=158, depth=4..7, filters=301389, revisions=(268510,useless=149250), ccks=645230, wck=3.61, mem=95M322
9.47/5.97	    decisions=19712, wrong=9254, backtracks=5780, failedAssignments=5504, nogoods=788, foundSolutions=13, bestBound=-970
9.47/5.97	    nFilterCalls=862054, avgTableProportion=0.9972455918323722, avgTableSize=362.1094200595322
9.47/5.97	    
9.47/5.98	    num=159, depth=4..13, filters=301923, revisions=(269013,useless=149528), ccks=646575, wck=3.618, mem=95M322
9.47/5.98	    decisions=19753, wrong=9271, backtracks=5792, failedAssignments=5516, nogoods=792, foundSolutions=13, bestBound=-970
9.47/5.98	    nFilterCalls=863822, avgTableProportion=0.9972455918201969, avgTableSize=362.109418375545
9.47/5.98	    
9.47/5.99	    num=160, depth=5..11, filters=302635, revisions=(269720,useless=149917), ccks=648062, wck=3.625, mem=95M322
9.47/5.99	    decisions=19805, wrong=9294, backtracks=5807, failedAssignments=5529, nogoods=795, foundSolutions=13, bestBound=-970
9.47/5.99	    nFilterCalls=865723, avgTableProportion=0.9972455912437976, avgTableSize=362.10933866837314
9.47/5.99	    
9.47/6.00	    num=161, depth=9..13, filters=303404, revisions=(270416,useless=150325), ccks=649790, wck=3.633, mem=95M322
9.47/6.00	    decisions=19858, wrong=9316, backtracks=5818, failedAssignments=5543, nogoods=802, foundSolutions=13, bestBound=-970
9.47/6.00	    nFilterCalls=868104, avgTableProportion=0.9972455907328641, avgTableSize=362.1092680139707
9.47/6.00	    
9.58/6.01	    num=162, depth=2..7, filters=304549, revisions=(271490,useless=150929), ccks=651960, wck=3.646, mem=95M322
9.58/6.01	    decisions=19919, wrong=9345, backtracks=5839, failedAssignments=5559, nogoods=807, foundSolutions=13, bestBound=-970
9.58/6.01	    nFilterCalls=870623, avgTableProportion=0.9972455906145377, avgTableSize=362.1092516508293
9.58/6.01	    
9.58/6.02	    num=163, depth=4..11, filters=305380, revisions=(272312,useless=151405), ccks=653318, wck=3.656, mem=95M322
9.58/6.02	    decisions=19974, wrong=9370, backtracks=5854, failedAssignments=5576, nogoods=811, foundSolutions=13, bestBound=-970
9.58/6.02	    nFilterCalls=872992, avgTableProportion=0.9972455910468012, avgTableSize=362.10931142553426
9.58/6.02	    
9.58/6.03	    num=164, depth=6..10, filters=306627, revisions=(273410,useless=151985), ccks=656170, wck=3.669, mem=97M964
9.58/6.03	    decisions=20050, wrong=9405, backtracks=5878, failedAssignments=5595, nogoods=816, foundSolutions=13, bestBound=-970
9.58/6.03	    nFilterCalls=876407, avgTableProportion=0.9972455896581252, avgTableSize=362.10911939315866
9.58/6.03	    
9.58/6.05	    num=165, depth=5..11, filters=308128, revisions=(274633,useless=152661), ccks=658792, wck=3.684, mem=97M964
9.58/6.05	    decisions=20130, wrong=9442, backtracks=5898, failedAssignments=5616, nogoods=822, foundSolutions=13, bestBound=-970
9.58/6.05	    nFilterCalls=879926, avgTableProportion=0.9972455902910115, avgTableSize=362.1092069105811
9.58/6.05	    
9.58/6.07	    num=166, depth=4..10, filters=309698, revisions=(276042,useless=153463), ccks=662152, wck=3.703, mem=97M964
9.58/6.07	    decisions=20229, wrong=9489, backtracks=5928, failedAssignments=5639, nogoods=824, foundSolutions=13, bestBound=-970
9.58/6.07	    nFilterCalls=884148, avgTableProportion=0.9972455889572461, avgTableSize=362.10902247135095
9.58/6.07	    
9.58/6.08	    num=167, depth=3..9, filters=311413, revisions=(277567,useless=154356), ccks=665168, wck=3.721, mem=97M964
9.58/6.08	    decisions=20320, wrong=9533, backtracks=5955, failedAssignments=5664, nogoods=827, foundSolutions=13, bestBound=-970
9.58/6.08	    nFilterCalls=888224, avgTableProportion=0.9972455915594798, avgTableSize=362.1093823179738
9.58/6.08	    
9.58/6.10	    num=168, depth=3..10, filters=313081, revisions=(279023,useless=155152), ccks=668345, wck=3.74, mem=97M964
9.58/6.10	    decisions=20421, wrong=9581, backtracks=5986, failedAssignments=5692, nogoods=832, foundSolutions=13, bestBound=-970
9.58/6.10	    nFilterCalls=892645, avgTableProportion=0.9972455903882207, avgTableSize=362.1092203507553
9.58/6.10	    
9.68/6.13	    num=169, depth=1..12, filters=315151, revisions=(280984,useless=156329), ccks=672135, wck=3.766, mem=97M964
9.68/6.13	    decisions=20539, wrong=9634, backtracks=6020, failedAssignments=5723, nogoods=836, foundSolutions=13, bestBound=-970
9.68/6.13	    nFilterCalls=898549, avgTableProportion=0.9972455909609462, avgTableSize=362.1092995484943
9.68/6.13	    
9.68/6.16	    num=170, depth=4..12, filters=317303, revisions=(282775,useless=157333), ccks=676023, wck=3.793, mem=97M964
9.68/6.16	    decisions=20668, wrong=9696, backtracks=6061, failedAssignments=5757, nogoods=840, foundSolutions=13, bestBound=-970
9.68/6.16	    nFilterCalls=904777, avgTableProportion=0.9972455923299407, avgTableSize=362.10948885747536
9.68/6.16	    
9.68/6.18	o -10
9.68/6.18	    num=171, depth=1..59, filters=319098, revisions=(284518,useless=158346), ccks=679388, wck=3.817, mem=97M964
9.68/6.18	    decisions=20786, wrong=9746, backtracks=6096, failedAssignments=5785, nogoods=841, foundSolutions=14, bestBound=-10
9.68/6.18	    nFilterCalls=909948, avgTableProportion=0.9972455944187213, avgTableSize=362.10977770158297
9.68/6.18	    
9.68/6.18	o 2
9.68/6.18	    num=172, depth=61..59, filters=319215, revisions=(284680,useless=158422), ccks=679834, wck=3.819, mem=97M964
9.68/6.18	    decisions=20804, wrong=9746, backtracks=6096, failedAssignments=5785, nogoods=841, foundSolutions=15, bestBound=2
9.68/6.18	    nFilterCalls=910353, avgTableProportion=0.9972455940258309, avgTableSize=362.10972337104397
9.68/6.18	    
9.68/6.19	    num=173, depth=13..17, filters=319763, revisions=(285155,useless=158698), ccks=681262, wck=3.824, mem=97M964
9.68/6.19	    decisions=20853, wrong=9764, backtracks=6104, failedAssignments=5796, nogoods=845, foundSolutions=15, bestBound=2
9.68/6.19	    nFilterCalls=913096, avgTableProportion=0.9972455938359883, avgTableSize=362.10969711837527
9.68/6.19	    
9.68/6.19	    num=174, depth=10..13, filters=320235, revisions=(285557,useless=158888), ccks=682699, wck=3.828, mem=97M964
9.68/6.19	    decisions=20897, wrong=9781, backtracks=6113, failedAssignments=5807, nogoods=849, foundSolutions=15, bestBound=2
9.68/6.19	    nFilterCalls=914765, avgTableProportion=0.9972455931080347, avgTableSize=362.109596453734
9.68/6.19	    
9.78/6.20	    num=175, depth=13..17, filters=320841, revisions=(285990,useless=159108), ccks=684360, wck=3.833, mem=97M964
9.78/6.20	    decisions=20950, wrong=9801, backtracks=6122, failedAssignments=5819, nogoods=853, foundSolutions=15, bestBound=2
9.78/6.20	    nFilterCalls=917903, avgTableProportion=0.9972455918324381, avgTableSize=362.1094200585465
9.78/6.20	    
9.78/6.20	    num=176, depth=10..15, filters=321507, revisions=(286501,useless=159339), ccks=685981, wck=3.838, mem=97M964
9.78/6.20	    decisions=21004, wrong=9822, backtracks=6134, failedAssignments=5832, nogoods=855, foundSolutions=15, bestBound=2
9.78/6.20	    nFilterCalls=920557, avgTableProportion=0.9972455917978703, avgTableSize=362.10941527792414
9.78/6.20	    
9.78/6.21	    num=177, depth=9..13, filters=322290, revisions=(287177,useless=159668), ccks=688314, wck=3.845, mem=97M964
9.78/6.21	    decisions=21071, wrong=9851, backtracks=6153, failedAssignments=5846, nogoods=860, foundSolutions=15, bestBound=2
9.78/6.21	    nFilterCalls=923003, avgTableProportion=0.997245591064308, avgTableSize=362.10931383754985
9.78/6.21	    
9.78/6.22	    num=178, depth=11..15, filters=323268, revisions=(287934,useless=160048), ccks=690872, wck=3.853, mem=97M964
9.78/6.22	    decisions=21150, wrong=9885, backtracks=6174, failedAssignments=5862, nogoods=866, foundSolutions=15, bestBound=2
9.78/6.22	    nFilterCalls=926378, avgTableProportion=0.9972455908774769, avgTableSize=362.1092880012263
9.78/6.22	    
9.78/6.22	    num=179, depth=8..14, filters=324033, revisions=(288570,useless=160362), ccks=693011, wck=3.861, mem=97M964
9.78/6.22	    decisions=21219, wrong=9915, backtracks=6194, failedAssignments=5879, nogoods=872, foundSolutions=15, bestBound=2
9.78/6.22	    nFilterCalls=929107, avgTableProportion=0.9972455925333951, avgTableSize=362.10951698781736
9.78/6.22	    
9.78/6.23	    num=180, depth=10..14, filters=324832, revisions=(289286,useless=160707), ccks=695376, wck=3.867, mem=97M964
9.78/6.23	    decisions=21292, wrong=9946, backtracks=6212, failedAssignments=5898, nogoods=875, foundSolutions=15, bestBound=2
9.78/6.23	    nFilterCalls=931392, avgTableProportion=0.9972455922597391, avgTableSize=362.1094791451934
9.78/6.23	    
9.78/6.24	    num=181, depth=9..15, filters=325977, revisions=(290199,useless=161165), ccks=698381, wck=3.876, mem=100M607
9.78/6.24	    decisions=21373, wrong=9982, backtracks=6236, failedAssignments=5919, nogoods=877, foundSolutions=15, bestBound=2
9.78/6.24	    nFilterCalls=934854, avgTableProportion=0.9972455933348373, avgTableSize=362.10962781354095
9.78/6.24	    
9.78/6.25	    num=182, depth=9..15, filters=326892, revisions=(290989,useless=161571), ccks=700866, wck=3.884, mem=100M607
9.78/6.25	    decisions=21459, wrong=10020, backtracks=6255, failedAssignments=5942, nogoods=880, foundSolutions=15, bestBound=2
9.78/6.25	    nFilterCalls=938141, avgTableProportion=0.9972455938948768, avgTableSize=362.10970525752526
9.78/6.25	    
9.78/6.26	    num=183, depth=10..17, filters=328543, revisions=(292126,useless=162195), ccks=704629, wck=3.896, mem=100M607
9.78/6.26	    decisions=21571, wrong=10071, backtracks=6286, failedAssignments=5967, nogoods=882, foundSolutions=15, bestBound=2
9.78/6.26	    nFilterCalls=944656, avgTableProportion=0.9972456008631487, avgTableSize=362.1106688572348
9.78/6.26	    
9.78/6.27	    num=184, depth=9..13, filters=329833, revisions=(293162,useless=162717), ccks=708280, wck=3.907, mem=100M607
9.78/6.27	    decisions=21682, wrong=10121, backtracks=6315, failedAssignments=5995, nogoods=889, foundSolutions=15, bestBound=2
9.78/6.27	    nFilterCalls=949280, avgTableProportion=0.9972456005909462, avgTableSize=362.1106312152368
9.78/6.27	    
9.78/6.29	    num=185, depth=8..13, filters=331494, revisions=(294379,useless=163361), ccks=712295, wck=3.924, mem=100M607
9.78/6.29	    decisions=21792, wrong=10172, backtracks=6345, failedAssignments=6026, nogoods=897, foundSolutions=15, bestBound=2
9.78/6.29	    nFilterCalls=955242, avgTableProportion=0.9972456040613167, avgTableSize=362.1111111111111
9.78/6.29	    
9.88/6.30	    num=186, depth=7..15, filters=333016, revisions=(295647,useless=163945), ccks=716274, wck=3.937, mem=100M607
9.88/6.30	    decisions=21914, wrong=10228, backtracks=6382, failedAssignments=6060, nogoods=903, foundSolutions=15, bestBound=2
9.88/6.30	    nFilterCalls=960369, avgTableProportion=0.9972456061947972, avgTableSize=362.11140613659956
9.88/6.30	    
9.88/6.31	o 10
9.88/6.31	    num=187, depth=8..59, filters=334460, revisions=(296782,useless=164563), ccks=719472, wck=3.95, mem=100M607
9.88/6.31	    decisions=22016, wrong=10273, backtracks=6409, failedAssignments=6084, nogoods=907, foundSolutions=16, bestBound=10
9.88/6.31	    nFilterCalls=965621, avgTableProportion=0.9972456080138327, avgTableSize=362.1116576793587
9.88/6.31	    
9.88/6.32	o 11
9.88/6.32	    num=188, depth=9..59, filters=334836, revisions=(297173,useless=164782), ccks=720440, wck=3.954, mem=100M607
9.88/6.32	    decisions=22050, wrong=10284, backtracks=6414, failedAssignments=6090, nogoods=911, foundSolutions=17, bestBound=11
9.88/6.32	    nFilterCalls=966977, avgTableProportion=0.9972456081080042, avgTableSize=362.1116707015782
9.88/6.32	    
9.88/6.32	    num=189, depth=8..13, filters=335430, revisions=(297752,useless=165120), ccks=721771, wck=3.961, mem=100M607
9.88/6.32	    decisions=22100, wrong=10304, backtracks=6427, failedAssignments=6101, nogoods=914, foundSolutions=17, bestBound=11
9.88/6.32	    nFilterCalls=969023, avgTableProportion=0.9972456078507069, avgTableSize=362.1116351211478
9.88/6.32	    
9.88/6.33	    num=190, depth=7..12, filters=335913, revisions=(298175,useless=165324), ccks=722970, wck=3.966, mem=100M607
9.88/6.33	    decisions=22140, wrong=10320, backtracks=6438, failedAssignments=6112, nogoods=919, foundSolutions=17, bestBound=11
9.88/6.33	    nFilterCalls=970568, avgTableProportion=0.9972456077204968, avgTableSize=362.1116171149265
9.88/6.33	    
9.88/6.34	    num=191, depth=7..14, filters=336546, revisions=(298732,useless=165617), ccks=724405, wck=3.972, mem=100M607
9.88/6.34	    decisions=22187, wrong=10340, backtracks=6452, failedAssignments=6124, nogoods=920, foundSolutions=17, bestBound=11
9.88/6.34	    nFilterCalls=972320, avgTableProportion=0.9972456081105644, avgTableSize=362.1116710547968
9.88/6.34	    
9.88/6.34	    num=192, depth=10..15, filters=337204, revisions=(299257,useless=165895), ccks=726049, wck=3.978, mem=100M607
9.88/6.34	    decisions=22236, wrong=10359, backtracks=6462, failedAssignments=6137, nogoods=922, foundSolutions=17, bestBound=11
9.88/6.34	    nFilterCalls=975001, avgTableProportion=0.9972456067726306, avgTableSize=362.1114860395015
9.88/6.34	    
9.88/6.35	    num=193, depth=6..11, filters=337880, revisions=(299864,useless=166207), ccks=727580, wck=3.984, mem=100M607
9.88/6.35	    decisions=22282, wrong=10379, backtracks=6474, failedAssignments=6151, nogoods=923, foundSolutions=17, bestBound=11
9.88/6.35	    nFilterCalls=976710, avgTableProportion=0.9972456078126651, avgTableSize=362.11162985942605
9.88/6.35	    
9.88/6.36	    num=194, depth=7..12, filters=338762, revisions=(300644,useless=166608), ccks=729943, wck=3.993, mem=100M607
9.88/6.36	    decisions=22354, wrong=10411, backtracks=6497, failedAssignments=6167, nogoods=928, foundSolutions=17, bestBound=11
9.88/6.36	    nFilterCalls=979348, avgTableProportion=0.9972456072774799, avgTableSize=362.111555851444
9.88/6.36	    
9.88/6.37	    num=195, depth=9..13, filters=339497, revisions=(301232,useless=166905), ccks=732216, wck=4.002, mem=100M607
9.88/6.37	    decisions=22417, wrong=10437, backtracks=6513, failedAssignments=6184, nogoods=934, foundSolutions=17, bestBound=11
9.88/6.37	    nFilterCalls=982761, avgTableProportion=0.9972456064405447, avgTableSize=362.1114401161625
9.88/6.37	    
9.88/6.37	    num=196, depth=5..12, filters=340615, revisions=(302224,useless=167331), ccks=734347, wck=4.011, mem=100M607
9.88/6.37	    decisions=22502, wrong=10477, backtracks=6543, failedAssignments=6203, nogoods=935, foundSolutions=17, bestBound=11
9.88/6.37	    nFilterCalls=986680, avgTableProportion=0.9972456067649809, avgTableSize=362.1114849799327
9.88/6.37	    
9.88/6.38	    num=197, depth=6..11, filters=341538, revisions=(303094,useless=167785), ccks=736789, wck=4.019, mem=100M607
9.88/6.38	    decisions=22583, wrong=10513, backtracks=6565, failedAssignments=6224, nogoods=940, foundSolutions=17, bestBound=11
9.88/6.38	    nFilterCalls=989101, avgTableProportion=0.9972456066852541, avgTableSize=362.11147395463155
9.88/6.38	    
9.88/6.40	    num=198, depth=9..14, filters=342700, revisions=(303908,useless=168212), ccks=739393, wck=4.032, mem=100M607
9.88/6.40	    decisions=22663, wrong=10548, backtracks=6585, failedAssignments=6247, nogoods=945, foundSolutions=17, bestBound=11
9.88/6.40	    nFilterCalls=993767, avgTableProportion=0.9972456056218386, avgTableSize=362.11132690057127
9.88/6.40	    
10.00/6.41	o 18
10.00/6.41	    num=199, depth=6..59, filters=343956, revisions=(304984,useless=168747), ccks=742276, wck=4.043, mem=100M607
10.00/6.41	    decisions=22760, wrong=10591, backtracks=6612, failedAssignments=6269, nogoods=946, foundSolutions=18, bestBound=18
10.00/6.41	    nFilterCalls=997247, avgTableProportion=0.9972456062931994, avgTableSize=362.1114197385402
10.00/6.41	    
10.00/6.42	    num=200, depth=6..16, filters=345503, revisions=(306319,useless=169417), ccks=745504, wck=4.057, mem=103M249
10.00/6.42	    decisions=22869, wrong=10641, backtracks=6646, failedAssignments=6297, nogoods=954, foundSolutions=18, bestBound=18
10.00/6.42	    nFilterCalls=1002059, avgTableProportion=0.9972456076777027, avgTableSize=362.1116111925545
10.00/6.42	    
10.00/6.43	    num=201, depth=6..11, filters=345998, revisions=(306785,useless=169641), ccks=746929, wck=4.063, mem=103M249
10.00/6.43	    decisions=22912, wrong=10659, backtracks=6657, failedAssignments=6308, nogoods=959, foundSolutions=18, bestBound=18
10.00/6.43	    nFilterCalls=1003647, avgTableProportion=0.9972456067753334, avgTableSize=362.1114864090661
10.00/6.43	    
10.00/6.43	    num=202, depth=7..11, filters=346440, revisions=(307196,useless=169854), ccks=748051, wck=4.069, mem=103M249
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.44	    num=203, depth=6..11, filters=347034, revisions=(307719,useless=170110), ccks=749507, wck=4.076, mem=103M249
10.00/6.44	    decisions=23007, wrong=10699, backtracks=6684, failedAssignments=6333, nogoods=967, foundSolutions=18, bestBound=18
10.00/6.44	    nFilterCalls=1007465, avgTableProportion=0.9972456050264029, avgTableSize=362.11124455936437
10.00/6.44	    
10.00/6.45	    num=204, depth=6..9, filters=347757, revisions=(308372,useless=170418), ccks=751101, wck=4.083, mem=103M249
10.00/6.45	    decisions=23059, wrong=10722, backtracks=6698, failedAssignments=6347, nogoods=973, foundSolutions=18, bestBound=18
10.00/6.45	    nFilterCalls=1009648, avgTableProportion=0.9972456055575188, avgTableSize=362.11131800389836
10.00/6.45	    
10.00/6.46	    num=205, depth=6..12, filters=348679, revisions=(309152,useless=170818), ccks=753566, wck=4.093, mem=103M249
10.00/6.46	    decisions=23127, wrong=10753, backtracks=6719, failedAssignments=6363, nogoods=975, foundSolutions=18, bestBound=18
10.00/6.46	    nFilterCalls=1012443, avgTableProportion=0.9972456046565961, avgTableSize=362.11119342027155
10.00/6.46	    
10.00/6.46	    num=206, depth=4..13, filters=349432, revisions=(309835,useless=171164), ccks=755460, wck=4.101, mem=103M249
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.11, mem=103M249
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.118, mem=103M249
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.128, mem=103M249
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.10/6.50	    num=210, depth=6..14, filters=353448, revisions=(313428,useless=172946), ccks=765731, wck=4.138, mem=103M249
10.10/6.50	    decisions=23511, wrong=10926, backtracks=6817, failedAssignments=6468, nogoods=995, foundSolutions=18, bestBound=18
10.10/6.50	    nFilterCalls=1026505, avgTableProportion=0.9972456057443095, avgTableSize=362.11134383173976
10.10/6.50	    
10.10/6.52	    num=211, depth=6..11, filters=354975, revisions=(314803,useless=173697), ccks=769650, wck=4.152, mem=103M249
10.10/6.52	    decisions=23616, wrong=10975, backtracks=6852, failedAssignments=6496, nogoods=1004, foundSolutions=18, bestBound=18
10.10/6.52	    nFilterCalls=1030789, avgTableProportion=0.9972456070001081, avgTableSize=362.11151748806014
10.10/6.52	    
10.10/6.53	    num=212, depth=7..13, filters=356530, revisions=(316051,useless=174327), ccks=773739, wck=4.17, mem=103M249
10.10/6.53	    decisions=23737, wrong=11032, backtracks=6885, failedAssignments=6527, nogoods=1007, foundSolutions=18, bestBound=18
10.10/6.53	    nFilterCalls=1036464, avgTableProportion=0.9972456047125958, avgTableSize=362.11120116087005
10.10/6.53	    
10.10/6.55	    num=213, depth=6..12, filters=358327, revisions=(317588,useless=175162), ccks=777299, wck=4.186, mem=103M249
10.10/6.55	    decisions=23857, wrong=11089, backtracks=6921, failedAssignments=6561, nogoods=1013, foundSolutions=18, bestBound=18
10.10/6.55	    nFilterCalls=1041516, avgTableProportion=0.9972456061443777, avgTableSize=362.11139915277346
10.10/6.55	    
10.10/6.57	    num=214, depth=7..12, filters=359965, revisions=(318988,useless=175888), ccks=781557, wck=4.202, mem=103M249
10.10/6.57	    decisions=23984, wrong=11148, backtracks=6955, failedAssignments=6598, nogoods=1018, foundSolutions=18, bestBound=18
10.10/6.57	    nFilterCalls=1046428, avgTableProportion=0.9972456060117488, avgTableSize=362.11138081167553
10.10/6.57	    
10.10/6.59	    num=215, depth=4..15, filters=361900, revisions=(320728,useless=176739), ccks=786363, wck=4.221, mem=103M249
10.10/6.59	    decisions=24135, wrong=11221, backtracks=7000, failedAssignments=6639, nogoods=1023, foundSolutions=18, bestBound=18
10.10/6.59	    nFilterCalls=1051850, avgTableProportion=0.997245605283603, avgTableSize=362.1112801254932
10.10/6.59	    
10.20/6.61	    num=216, depth=6..13, filters=364041, revisions=(322492,useless=177661), ccks=791880, wck=4.243, mem=103M249
10.20/6.61	    decisions=24293, wrong=11296, backtracks=7047, failedAssignments=6684, nogoods=1026, foundSolutions=18, bestBound=18
10.20/6.61	    nFilterCalls=1058317, avgTableProportion=0.9972456078340541, avgTableSize=362.11163290394086
10.20/6.61	    
10.20/6.63	    num=217, depth=5..9, filters=366804, revisions=(325077,useless=179032), ccks=798849, wck=4.27, mem=105M891
10.20/6.63	    decisions=24475, wrong=11384, backtracks=7103, failedAssignments=6734, nogoods=1034, foundSolutions=18, bestBound=18
10.20/6.63	    nFilterCalls=1065652, avgTableProportion=0.9972456093681132, avgTableSize=362.111845142692
10.20/6.63	    
10.20/6.66	    num=218, depth=3..11, filters=369483, revisions=(327593,useless=180295), ccks=805744, wck=4.301, mem=105M891
10.20/6.66	    decisions=24667, wrong=11478, backtracks=7161, failedAssignments=6789, nogoods=1039, foundSolutions=18, bestBound=18
10.20/6.66	    nFilterCalls=1073137, avgTableProportion=0.9972456085441634, avgTableSize=362.1117313073727
10.20/6.66	    
10.20/6.70	    num=219, depth=4..10, filters=372456, revisions=(330299,useless=181696), ccks=813572, wck=4.332, mem=105M891
10.20/6.70	    decisions=24882, wrong=11583, backtracks=7225, failedAssignments=6850, nogoods=1046, foundSolutions=18, bestBound=18
10.20/6.70	    nFilterCalls=1081456, avgTableProportion=0.9972456076841347, avgTableSize=362.1116124927875
10.20/6.70	    
10.30/6.74	    num=220, depth=5..12, filters=376258, revisions=(333257,useless=183321), ccks=822807, wck=4.38, mem=105M891
10.30/6.74	    decisions=25126, wrong=11701, backtracks=7301, failedAssignments=6917, nogoods=1051, foundSolutions=18, bestBound=18
10.30/6.74	    nFilterCalls=1095475, avgTableProportion=0.9972456139955788, avgTableSize=362.1124854515165
10.30/6.74	    
10.40/6.80	    num=221, depth=4..13, filters=380787, revisions=(337031,useless=185381), ccks=833403, wck=4.433, mem=105M891
10.40/6.80	    decisions=25421, wrong=11845, backtracks=7402, failedAssignments=6991, nogoods=1057, foundSolutions=18, bestBound=18
10.40/6.80	    nFilterCalls=1111270, avgTableProportion=0.997245611314938, avgTableSize=362.11211496755965
10.40/6.80	    
10.40/6.85	    num=222, depth=3..13, filters=384712, revisions=(340239,useless=187077), ccks=842161, wck=4.487, mem=105M891
10.40/6.85	    decisions=25686, wrong=11976, backtracks=7490, failedAssignments=7072, nogoods=1060, foundSolutions=18, bestBound=18
10.40/6.85	    nFilterCalls=1124679, avgTableProportion=0.997245612777463, avgTableSize=362.1123173812261
10.40/6.85	    
10.51/6.90	    num=223, depth=3..10, filters=389777, revisions=(344871,useless=189435), ccks=854600, wck=4.539, mem=105M891
10.51/6.90	    decisions=26052, wrong=12157, backtracks=7606, failedAssignments=7161, nogoods=1066, foundSolutions=18, bestBound=18
10.51/6.90	    nFilterCalls=1138263, avgTableProportion=0.9972456156369256, avgTableSize=362.11271296703836
10.51/6.90	    
10.51/6.96	    num=224, depth=5..13, filters=394610, revisions=(348897,useless=191658), ccks=866225, wck=4.598, mem=108M534
10.51/6.96	    decisions=26376, wrong=12316, backtracks=7712, failedAssignments=7259, nogoods=1072, foundSolutions=18, bestBound=18
10.51/6.96	    nFilterCalls=1154110, avgTableProportion=0.997245621944253, avgTableSize=362.1135853601476
10.51/6.96	    
10.63/7.01	    num=225, depth=4..12, filters=400057, revisions=(353796,useless=194150), ccks=878564, wck=4.649, mem=108M534
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.08	    num=226, depth=5..14, filters=405697, revisions=(358238,useless=196648), ccks=891376, wck=4.712, mem=108M534
10.63/7.08	    decisions=27157, wrong=12700, backtracks=7952, failedAssignments=7486, nogoods=1085, foundSolutions=18, bestBound=18
10.63/7.08	    nFilterCalls=1187241, avgTableProportion=0.9972456279460229, avgTableSize=362.1144156915066
10.63/7.08	    
10.72/7.16	o 20
10.72/7.16	    num=227, depth=2..59, filters=411763, revisions=(363651,useless=199537), ccks=907330, wck=4.794, mem=108M534
10.72/7.16	    decisions=27582, wrong=12908, backtracks=8089, failedAssignments=7601, nogoods=1096, foundSolutions=19, bestBound=20
10.72/7.16	    nFilterCalls=1208138, avgTableProportion=0.9972456259813894, avgTableSize=362.11414424511105
10.72/7.16	    
10.82/7.23	    num=228, depth=4..12, filters=418773, revisions=(369999,useless=202974), ccks=924332, wck=4.868, mem=111M176
10.82/7.23	    decisions=28071, wrong=13150, backtracks=8239, failedAssignments=7745, nogoods=1109, foundSolutions=19, bestBound=20
10.82/7.23	    nFilterCalls=1227527, avgTableProportion=0.9972456300910464, avgTableSize=362.1147127517358
10.82/7.23	    
10.82/7.24	    num=229, depth=6..12, filters=419267, revisions=(370439,useless=203180), ccks=925595, wck=4.874, mem=111M176
10.82/7.24	    decisions=28109, wrong=13166, backtracks=8249, failedAssignments=7756, nogoods=1111, foundSolutions=19, bestBound=20
10.82/7.24	    nFilterCalls=1228996, avgTableProportion=0.9972456295171613, avgTableSize=362.1146334080827
10.82/7.24	    
10.82/7.25	    num=230, depth=6..13, filters=419885, revisions=(370938,useless=203446), ccks=927123, wck=4.883, mem=111M176
10.82/7.25	    decisions=28153, wrong=13184, backtracks=8260, failedAssignments=7768, nogoods=1114, foundSolutions=19, bestBound=20
10.82/7.25	    nFilterCalls=1231298, avgTableProportion=0.9972456315967225, avgTableSize=362.1149210020645
10.82/7.25	    
10.82/7.25	    num=231, depth=7..14, filters=420616, revisions=(371527,useless=203751), ccks=928824, wck=4.889, mem=111M176
10.82/7.25	    decisions=28206, wrong=13207, backtracks=8274, failedAssignments=7781, nogoods=1115, foundSolutions=19, bestBound=20
10.82/7.25	    nFilterCalls=1233428, avgTableProportion=0.9972456310408635, avgTableSize=362.1148441579079
10.82/7.25	    
10.82/7.26	    num=232, depth=5..11, filters=421456, revisions=(372252,useless=204169), ccks=930741, wck=4.898, mem=111M176
10.82/7.26	    decisions=28264, wrong=13233, backtracks=8291, failedAssignments=7795, nogoods=1118, foundSolutions=19, bestBound=20
10.82/7.26	    nFilterCalls=1235781, avgTableProportion=0.997245633011395, avgTableSize=362.11511667520375
10.82/7.26	    
10.82/7.27	    num=233, depth=5..10, filters=422136, revisions=(372899,useless=204497), ccks=932420, wck=4.906, mem=111M176
10.82/7.27	    decisions=28318, wrong=13256, backtracks=8303, failedAssignments=7811, nogoods=1122, foundSolutions=19, bestBound=20
10.82/7.27	    nFilterCalls=1237646, avgTableProportion=0.9972456328961925, avgTableSize=362.11510076386946
10.82/7.27	    
10.82/7.28	    num=234, depth=4..11, filters=422918, revisions=(373647,useless=204869), ccks=934311, wck=4.914, mem=111M176
10.82/7.28	    decisions=28380, wrong=13284, backtracks=8321, failedAssignments=7828, nogoods=1124, foundSolutions=19, bestBound=20
10.82/7.28	    nFilterCalls=1239618, avgTableProportion=0.9972456332520222, avgTableSize=362.1151499897549
10.82/7.28	    
10.82/7.29	    num=235, depth=3..7, filters=423757, revisions=(374407,useless=205243), ccks=936009, wck=4.922, mem=111M176
10.82/7.29	    decisions=28437, wrong=13311, backtracks=8335, failedAssignments=7847, nogoods=1125, foundSolutions=19, bestBound=20
10.82/7.29	    nFilterCalls=1242215, avgTableProportion=0.9972456328091392, avgTableSize=362.11508877287747
10.82/7.29	    
10.92/7.30	    num=236, depth=4..11, filters=424738, revisions=(375250,useless=205708), ccks=937885, wck=4.933, mem=111M176
10.92/7.30	    decisions=28516, wrong=13348, backtracks=8360, failedAssignments=7868, nogoods=1128, foundSolutions=19, bestBound=20
10.92/7.30	    nFilterCalls=1245551, avgTableProportion=0.9972456344349045, avgTableSize=362.1153136242514
10.92/7.30	    
10.92/7.32	    num=237, depth=5..12, filters=426670, revisions=(376420,useless=206396), ccks=941132, wck=4.956, mem=111M176
10.92/7.32	    decisions=28610, wrong=13392, backtracks=8392, failedAssignments=7891, nogoods=1130, foundSolutions=19, bestBound=20
10.92/7.32	    nFilterCalls=1252730, avgTableProportion=0.9972456397056974, avgTableSize=362.1160425630423
10.92/7.32	    
10.92/7.33	    num=238, depth=5..11, filters=427757, revisions=(377506,useless=206966), ccks=943848, wck=4.968, mem=111M176
10.92/7.33	    decisions=28703, wrong=13435, backtracks=8419, failedAssignments=7916, nogoods=1139, foundSolutions=19, bestBound=20
10.92/7.33	    nFilterCalls=1255752, avgTableProportion=0.9972456399779753, avgTableSize=362.11608024514396
10.92/7.33	    
10.92/7.35	    num=239, depth=2..9, filters=429559, revisions=(379013,useless=207793), ccks=947265, wck=4.991, mem=111M176
10.92/7.35	    decisions=28812, wrong=13488, backtracks=8452, failedAssignments=7944, nogoods=1142, foundSolutions=19, bestBound=20
10.92/7.35	    nFilterCalls=1261701, avgTableProportion=0.9972456419287851, avgTableSize=362.1163500702623
10.92/7.35	    
10.92/7.37	    num=240, depth=6..11, filters=431485, revisions=(380624,useless=208656), ccks=951663, wck=5.01, mem=111M176
10.92/7.37	    decisions=28934, wrong=13546, backtracks=8487, failedAssignments=7975, nogoods=1147, foundSolutions=19, bestBound=20
10.92/7.37	    nFilterCalls=1267502, avgTableProportion=0.9972456442336206, avgTableSize=362.1166688494377
10.92/7.37	    
10.92/7.39	    num=241, depth=4..12, filters=433144, revisions=(382082,useless=209403), ccks=955637, wck=5.03, mem=111M176
10.92/7.39	    decisions=29048, wrong=13600, backtracks=8520, failedAssignments=8009, nogoods=1150, foundSolutions=19, bestBound=20
10.92/7.39	    nFilterCalls=1273398, avgTableProportion=0.9972456439840146, avgTableSize=362.1166343908189
10.92/7.39	    
11.02/7.41	    num=242, depth=6..13, filters=435082, revisions=(383719,useless=210256), ccks=960345, wck=5.051, mem=111M176
11.02/7.41	    decisions=29192, wrong=13669, backtracks=8566, failedAssignments=8046, nogoods=1155, foundSolutions=19, bestBound=20
11.02/7.41	    nFilterCalls=1279817, avgTableProportion=0.997245643601165, avgTableSize=362.11658151126295
11.02/7.41	    
11.02/7.45	    num=243, depth=2..7, filters=437236, revisions=(385682,useless=211315), ccks=965531, wck=5.082, mem=111M176
11.02/7.45	    decisions=29359, wrong=13751, backtracks=8618, failedAssignments=8087, nogoods=1160, foundSolutions=19, bestBound=20
11.02/7.45	    nFilterCalls=1287112, avgTableProportion=0.9972456437947049, avgTableSize=362.11660834488373
11.02/7.45	    
11.02/7.47	    num=244, depth=4..13, filters=439426, revisions=(387465,useless=212251), ccks=970367, wck=5.106, mem=113M819
11.02/7.47	    decisions=29512, wrong=13824, backtracks=8665, failedAssignments=8132, nogoods=1169, foundSolutions=19, bestBound=20
11.02/7.47	    nFilterCalls=1294469, avgTableProportion=0.9972456485153852, avgTableSize=362.1172612090363
11.02/7.47	    
11.12/7.50	    num=245, depth=5..11, filters=442155, revisions=(389650,useless=213467), ccks=976136, wck=5.138, mem=113M819
11.12/7.50	    decisions=29669, wrong=13900, backtracks=8714, failedAssignments=8182, nogoods=1179, foundSolutions=19, bestBound=20
11.12/7.50	    nFilterCalls=1303666, avgTableProportion=0.9972456494275203, avgTableSize=362.1173874289887
11.12/7.50	    
11.12/7.53	    num=246, depth=6..13, filters=444765, revisions=(391792,useless=214613), ccks=982567, wck=5.164, mem=113M819
11.12/7.53	    decisions=29857, wrong=13990, backtracks=8768, failedAssignments=8237, nogoods=1185, foundSolutions=19, bestBound=20
11.12/7.53	    nFilterCalls=1312032, avgTableProportion=0.997245651146255, avgTableSize=362.11762517987364
11.12/7.53	    
11.12/7.57	    num=247, depth=3..11, filters=448139, revisions=(394758,useless=216208), ccks=989531, wck=5.202, mem=113M819
11.12/7.57	    decisions=30069, wrong=14094, backtracks=8837, failedAssignments=8298, nogoods=1188, foundSolutions=19, bestBound=20
11.12/7.57	    nFilterCalls=1322306, avgTableProportion=0.9972456506944994, avgTableSize=362.11756280316354
11.12/7.57	    
11.23/7.60	    num=248, depth=2..11, filters=451586, revisions=(397672,useless=217607), ccks=996333, wck=5.238, mem=113M819
11.23/7.60	    decisions=30315, wrong=14216, backtracks=8920, failedAssignments=8365, nogoods=1192, foundSolutions=19, bestBound=20
11.23/7.60	    nFilterCalls=1333880, avgTableProportion=0.9972456509394896, avgTableSize=362.117596785318
11.23/7.60	    
11.23/7.65	    num=249, depth=4..12, filters=455984, revisions=(401069,useless=219541), ccks=1004969, wck=5.283, mem=113M819
11.23/7.65	    decisions=30571, wrong=14342, backtracks=9005, failedAssignments=8439, nogoods=1196, foundSolutions=19, bestBound=20
11.23/7.65	    nFilterCalls=1348106, avgTableProportion=0.9972456542701115, avgTableSize=362.1180574821268
11.23/7.65	    
11.33/7.70	    num=250, depth=2..13, filters=460445, revisions=(404723,useless=221655), ccks=1014724, wck=5.338, mem=113M819
11.33/7.70	    decisions=30857, wrong=14483, backtracks=9087, failedAssignments=8520, nogoods=1205, foundSolutions=19, bestBound=20
11.33/7.70	    nFilterCalls=1364396, avgTableProportion=0.9972456564254275, avgTableSize=362.11835566800255
11.33/7.70	    
11.33/7.76	    num=251, depth=4..12, filters=465447, revisions=(408709,useless=223824), ccks=1026045, wck=5.398, mem=116M461
11.33/7.76	    decisions=31178, wrong=14641, backtracks=9191, failedAssignments=8609, nogoods=1215, foundSolutions=19, bestBound=20
11.33/7.76	    nFilterCalls=1381816, avgTableProportion=0.9972456666725067, avgTableSize=362.1197728206939
11.33/7.76	    
11.43/7.82	    num=252, depth=4..11, filters=470700, revisions=(413034,useless=226238), ccks=1037578, wck=5.456, mem=116M461
11.43/7.82	    decisions=31533, wrong=14816, backtracks=9319, failedAssignments=8707, nogoods=1229, foundSolutions=19, bestBound=20
11.43/7.82	    nFilterCalls=1397123, avgTableProportion=0.9972456645993245, avgTableSize=362.11948625854706
11.43/7.82	    
11.43/7.89	    num=253, depth=3..10, filters=476447, revisions=(418137,useless=228967), ccks=1050579, wck=5.521, mem=116M461
11.43/7.89	    decisions=31912, wrong=15004, backtracks=9435, failedAssignments=8815, nogoods=1242, foundSolutions=19, bestBound=20
11.43/7.89	    nFilterCalls=1412838, avgTableProportion=0.9972456626906413, avgTableSize=362.1192224444699
11.43/7.89	    
11.53/7.94	    num=254, depth=3..11, filters=481957, revisions=(423320,useless=231692), ccks=1064367, wck=5.579, mem=116M461
11.53/7.94	    decisions=32333, wrong=15212, backtracks=9573, failedAssignments=8934, nogoods=1251, foundSolutions=19, bestBound=20
11.53/7.94	    nFilterCalls=1427335, avgTableProportion=0.9972456602307338, avgTableSize=362.1188823927109
11.53/7.94	    
11.65/8.03	    num=255, depth=3..13, filters=488980, revisions=(429545,useless=235048), ccks=1080889, wck=5.665, mem=116M461
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.762, mem=119M104
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.84/8.22	    num=257, depth=2..10, filters=506469, revisions=(445127,useless=243762), ccks=1121432, wck=5.855, mem=119M104
11.84/8.22	    decisions=33908, wrong=15993, backtracks=10067, failedAssignments=9367, nogoods=1279, foundSolutions=19, bestBound=20
11.84/8.22	    nFilterCalls=1494724, avgTableProportion=0.9972456568387351, avgTableSize=362.1184138342597
11.84/8.22	    
11.94/8.35	    num=258, depth=1..12, filters=516218, revisions=(453450,useless=248399), ccks=1145092, wck=5.982, mem=119M104
11.94/8.35	    decisions=34525, wrong=16299, backtracks=10275, failedAssignments=9541, nogoods=1296, foundSolutions=19, bestBound=20
11.94/8.35	    nFilterCalls=1525679, avgTableProportion=0.9972456586359542, avgTableSize=362.1186625758105
11.94/8.35	    
12.04/8.47	    num=259, depth=3..11, filters=527543, revisions=(462320,useless=253217), ccks=1170352, wck=6.11, mem=121M746
12.04/8.47	    decisions=35209, wrong=16639, backtracks=10512, failedAssignments=9732, nogoods=1308, foundSolutions=19, bestBound=20
12.04/8.47	    nFilterCalls=1559792, avgTableProportion=0.9972456681805303, avgTableSize=362.11998266435523
12.04/8.47	    
12.24/8.61	    num=260, depth=3..11, filters=539043, revisions=(472029,useless=258930), ccks=1194158, wck=6.251, mem=121M746
12.24/8.61	    decisions=35964, wrong=17014, backtracks=10764, failedAssignments=9943, nogoods=1311, foundSolutions=19, bestBound=20
12.24/8.61	    nFilterCalls=1598504, avgTableProportion=0.9972456786888549, avgTableSize=362.12143604269994
12.24/8.61	    
12.34/8.76	    num=261, depth=2..11, filters=551661, revisions=(483064,useless=265031), ccks=1222810, wck=6.397, mem=124M388
12.34/8.76	    decisions=36814, wrong=17437, backtracks=11049, failedAssignments=10175, nogoods=1324, foundSolutions=19, bestBound=20
12.34/8.76	    nFilterCalls=1635082, avgTableProportion=0.9972456864717238, avgTableSize=362.1225125100759
12.34/8.76	    
12.54/8.93	    num=262, depth=3..13, filters=565570, revisions=(493709,useless=270868), ccks=1255491, wck=6.568, mem=124M388
12.54/8.93	    decisions=37717, wrong=17887, backtracks=11356, failedAssignments=10430, nogoods=1327, foundSolutions=19, bestBound=20
12.54/8.93	    nFilterCalls=1681022, avgTableProportion=0.9972456909083479, avgTableSize=362.1231262886506
12.54/8.93	    
12.65/9.10	    num=263, depth=2..11, filters=580389, revisions=(506973,useless=278306), ccks=1289630, wck=6.733, mem=127M31
12.65/9.10	    decisions=38675, wrong=18364, backtracks=11656, failedAssignments=10711, nogoods=1330, foundSolutions=19, bestBound=20
12.65/9.10	    nFilterCalls=1720662, avgTableProportion=0.9972456930050972, avgTableSize=362.1234164525049
12.65/9.10	    
12.95/9.31	    num=264, depth=1..11, filters=597813, revisions=(522376,useless=286716), ccks=1330500, wck=6.945, mem=127M31
12.95/9.31	    decisions=39789, wrong=18919, backtracks=12001, failedAssignments=11020, nogoods=1339, foundSolutions=19, bestBound=20
12.95/9.31	    nFilterCalls=1769597, avgTableProportion=0.9972456953963887, avgTableSize=362.12374738429145
12.95/9.31	    
13.15/9.52	    num=265, depth=1..14, filters=615611, revisions=(538340,useless=295276), ccks=1373273, wck=7.155, mem=129M673
13.15/9.52	    decisions=41003, wrong=19523, backtracks=12425, failedAssignments=11360, nogoods=1353, foundSolutions=19, bestBound=20
13.15/9.52	    nFilterCalls=1820672, avgTableProportion=0.9972456986697976, avgTableSize=362.1242002952756
13.15/9.52	    
13.35/9.78	    num=266, depth=2..12, filters=635305, revisions=(554124,useless=303982), ccks=1418174, wck=7.412, mem=132M316
13.35/9.78	    decisions=42317, wrong=20177, backtracks=12860, failedAssignments=11734, nogoods=1365, foundSolutions=19, bestBound=20
13.35/9.78	    nFilterCalls=1888801, avgTableProportion=0.9972457068966001, avgTableSize=362.12533824367944
13.35/9.78	    
13.65/10.06	    num=267, depth=1..12, filters=657649, revisions=(573591,useless=314841), ccks=1468345, wck=7.694, mem=132M316
13.65/10.06	    decisions=43779, wrong=20906, backtracks=13328, failedAssignments=12145, nogoods=1375, foundSolutions=19, bestBound=20
13.65/10.06	    nFilterCalls=1957479, avgTableProportion=0.9972457042124904, avgTableSize=362.12496736874317
13.65/10.06	    
13.95/10.38	    num=268, depth=1..12, filters=683060, revisions=(595117,useless=326670), ccks=1522715, wck=8.018, mem=134M958
13.95/10.38	    decisions=45418, wrong=21724, backtracks=13860, failedAssignments=12597, nogoods=1388, foundSolutions=19, bestBound=20
13.95/10.38	    nFilterCalls=2034587, avgTableProportion=0.9972457092431947, avgTableSize=362.1256633410122
13.95/10.38	    
14.35/10.74	    num=269, depth=0..11, filters=711105, revisions=(618184,useless=339668), ccks=1585126, wck=8.374, mem=137M601
14.35/10.74	    decisions=47212, wrong=22619, backtracks=14476, failedAssignments=13094, nogoods=1393, foundSolutions=19, bestBound=20
14.35/10.74	    nFilterCalls=2119505, avgTableProportion=0.9972457204708786, avgTableSize=362.1272160244963
14.35/10.74	    
14.76/11.12	    num=270, depth=2..12, filters=742257, revisions=(643857,useless=354510), ccks=1655401, wck=8.754, mem=140M243
14.76/11.12	    decisions=49133, wrong=23577, backtracks=15114, failedAssignments=13641, nogoods=1400, foundSolutions=19, bestBound=20
14.76/11.12	    nFilterCalls=2213418, avgTableProportion=0.9972457311931862, avgTableSize=362.12869778776536
14.76/11.12	    
15.25/11.61	    num=271, depth=0..11, filters=777847, revisions=(673141,useless=371601), ccks=1730331, wck=9.248, mem=142M778
15.25/11.61	    decisions=51319, wrong=24668, backtracks=15855, failedAssignments=14243, nogoods=1407, foundSolutions=19, bestBound=20
15.25/11.61	    nFilterCalls=2328558, avgTableProportion=0.9972457299641163, avgTableSize=362.12852675346716
15.25/11.61	    
15.79/12.12	    num=272, depth=0..11, filters=817521, revisions=(703859,useless=389999), ccks=1806218, wck=9.761, mem=28M619
15.79/12.12	    decisions=53649, wrong=25832, backtracks=16666, failedAssignments=14905, nogoods=1420, foundSolutions=19, bestBound=20
15.79/12.12	    nFilterCalls=2454960, avgTableProportion=0.9972457419075156, avgTableSize=362.13017727376416
15.79/12.12	    
16.28/12.67	    num=273, depth=0..11, filters=862186, revisions=(738567,useless=411557), ccks=1885042, wck=10.306, mem=31M209
16.28/12.67	    decisions=56219, wrong=27116, backtracks=17561, failedAssignments=15633, nogoods=1427, foundSolutions=19, bestBound=20
16.28/12.67	    nFilterCalls=2587867, avgTableProportion=0.9972457623459844, avgTableSize=362.13300258475414
16.28/12.67	    
16.58/12.96	
16.58/12.96	  New Bounds: 21..20
16.58/12.96	    num=274, depth=0..11, filters=887161, revisions=(756803,useless=423589), ccks=1920223, wck=10.598, mem=33M798
16.58/12.96	    decisions=57489, wrong=27752, backtracks=18014, failedAssignments=15961, foundSolutions=19, bestBound=20
16.58/12.96	    nFilterCalls=2658846, avgTableProportion=0.9972457712177226, avgTableSize=362.1342289098353
16.58/12.96	    
16.58/12.96	  Global
16.58/12.96	    filters=887161, revisions=(756803,useless=423589), ccks=1920223
16.58/12.96	    Stop=FULL_EXPLORATION, wrong=27752, bestBound=20, bestBoundWck=5.298, bestBoundCpu=7.123, foundSolutions=19, firstSolCpu=2.353
16.58/12.96	    wck=11.103, cpu=12.914, mem=33M798
16.58/12.96	
16.58/12.96	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.58/12.96	s OPTIMUM FOUND
16.58/12.96	
16.58/12.96	d WRONG_DECISIONS 27752
16.58/12.96	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 (15020 MiB free)
  memory of node 1: 16384 MiB (15058 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390830-1568383054/watcher-4390830-1568383054 -o /tmp/evaluation-result-4390830-1568383054/solver-4390830-1568383054 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568380477-29948 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390830-1568383054.xml -cm 

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

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

solver pid=30460, runsolver pid=30457

[startup+0.101301 s]*
/proc/loadavg: 1.77 1.72 1.61 4/229 30475
/proc/meminfo: memFree=30785196/32770624 swapFree=66940844/67108860
[pid=30460] ppid=30457 vsize=10659884 memory=28120 CPUtime=0.14 cores=0,2,4,6
/proc/30460/stat : 30460 (java) S 30457 30460 29917 0 -1 1077944320 5490 0 0 0 13 1 0 0 20 0 15 0 414544105 10915721216 7030 33554432000 4194304 4196468 140731376161632 140731376144176 140153912524535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
/proc/30460/statm: 2664971 7030 2897 1 0 2627468 0
[pid=30460/tid=30462] ppid=30457 vsize=10659884 memory=-7254949962136774010 CPUtime=0.09 cores=0,2,4,6
/proc/30460/task/30462/stat : 30462 (java) R 30457 30460 29917 0 -1 4202560 3273 0 0 0 9 0 0 0 20 0 15 0 414544105 10915721216 7096 33554432000 4194304 4196468 140731376161632 140153916755208 140153912536470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30463] ppid=30457 vsize=10659884 memory=5793855067842460089 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30463/stat : 30463 (java) S 30457 30460 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414544106 10915721216 7096 33554432000 4194304 4196468 140731376161632 140153849215632 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30464] ppid=30457 vsize=10659884 memory=139816832566912 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30464/stat : 30464 (java) S 30457 30460 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414544106 10915721216 7096 33554432000 4194304 4196468 140731376161632 140153848162832 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30465] ppid=30457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30465/stat : 30465 (java) S 30457 30460 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414544106 10915721216 7096 33554432000 4194304 4196468 140731376161632 140153847110032 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30466] ppid=30457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30466/stat : 30466 (java) S 30457 30460 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414544106 10915721216 7096 33554432000 4194304 4196468 140731376161632 140153846057232 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30467] ppid=30457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30467/stat : 30467 (java) S 30457 30460 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414544108 10915721216 7096 33554432000 4194304 4196468 140731376161632 140153404525424 140153912535682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30468] ppid=30457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30468/stat : 30468 (java) S 30457 30460 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414544108 10915721216 7096 33554432000 4194304 4196468 140731376161632 140153403471392 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30469] ppid=30457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30469/stat : 30469 (java) S 30457 30460 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414544108 10915721216 7096 33554432000 4194304 4196468 140731376161632 140153402418544 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30470] ppid=30457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30470/stat : 30470 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414544111 10915721216 7096 33554432000 4194304 4196468 140731376161632 140153401366864 140153912543131 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30471] ppid=30457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30471/stat : 30471 (java) S 30457 30460 29917 0 -1 1077944384 358 0 0 0 0 0 0 0 20 0 15 0 414544111 10915721216 7096 33554432000 4194304 4196468 140731376161632 140153400314224 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30472] ppid=30457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30472/stat : 30472 (java) S 30457 30460 29917 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 414544111 10915721216 7096 33554432000 4194304 4196468 140731376161632 140153399261424 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30473] ppid=30457 vsize=10659884 memory=139816832566912 CPUtime=0.02 cores=0,2,4,6
/proc/30460/task/30473/stat : 30473 (java) R 30457 30460 29917 0 -1 4202560 422 0 0 0 2 0 0 0 20 0 15 0 414544111 10915721216 7096 33554432000 4194304 4196468 140731376161632 140153398204200 140153890893174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30474] ppid=30457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30474/stat : 30474 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414544111 10915721216 7096 33554432000 4194304 4196468 140731376161632 140153397156064 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30475] ppid=30457 vsize=10659884 memory=139816832566912 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30475/stat : 30475 (java) S 30457 30460 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414544111 10915721216 7096 33554432000 4194304 4196468 140731376161632 140153396104368 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28120 KiB

[startup+0.210404 s]*
/proc/loadavg: 1.77 1.72 1.61 4/229 30475
/proc/meminfo: memFree=30773780/32770624 swapFree=66940844/67108860
[pid=30460] ppid=30457 vsize=10659884 memory=37360 CPUtime=0.32 cores=0,2,4,6
/proc/30460/stat : 30460 (java) S 30457 30460 29917 0 -1 1077944320 9113 0 0 0 30 2 0 0 20 0 15 0 414544105 10915721216 9340 33554432000 4194304 4196468 140731376161632 140731376144176 140153912524535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
/proc/30460/statm: 2664971 9340 2987 1 0 2627468 0
[pid=30460/tid=30462] ppid=30457 vsize=10659884 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/30460/task/30462/stat : 30462 (java) R 30457 30460 29917 0 -1 4202560 6119 0 0 0 18 2 0 0 20 0 15 0 414544105 10915721216 9340 33554432000 4194304 4196468 140731376161632 140153916750896 140153912546461 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30463] ppid=30457 vsize=10659884 memory=4211973543037357450 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30463/stat : 30463 (java) S 30457 30460 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414544106 10915721216 9340 33554432000 4194304 4196468 140731376161632 140153849215632 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30464] ppid=30457 vsize=10659884 memory=139816832566912 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30464/stat : 30464 (java) S 30457 30460 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414544106 10915721216 9340 33554432000 4194304 4196468 140731376161632 140153848162832 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30465] ppid=30457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30465/stat : 30465 (java) S 30457 30460 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414544106 10915721216 9340 33554432000 4194304 4196468 140731376161632 140153847110032 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30466] ppid=30457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30466/stat : 30466 (java) S 30457 30460 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414544106 10915721216 9340 33554432000 4194304 4196468 140731376161632 140153846057232 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30467] ppid=30457 vsize=10659884 memory=139816832566912 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30467/stat : 30467 (java) S 30457 30460 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414544108 10915721216 9340 33554432000 4194304 4196468 140731376161632 140153404525424 140153912535682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30468] ppid=30457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30468/stat : 30468 (java) S 30457 30460 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414544108 10915721216 9340 33554432000 4194304 4196468 140731376161632 140153403471392 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30469] ppid=30457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30469/stat : 30469 (java) S 30457 30460 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414544108 10915721216 9340 33554432000 4194304 4196468 140731376161632 140153402418544 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30470] ppid=30457 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30470/stat : 30470 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414544111 10915721216 9340 33554432000 4194304 4196468 140731376161632 140153401366864 140153912543131 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30471] ppid=30457 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30460/task/30471/stat : 30471 (java) S 30457 30460 29917 0 -1 1077944384 687 0 0 0 3 0 0 0 20 0 15 0 414544111 10915721216 9340 33554432000 4194304 4196468 140731376161632 140153400314224 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30472] ppid=30457 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30460/task/30472/stat : 30472 (java) S 30457 30460 29917 0 -1 1077944384 195 0 0 0 2 0 0 0 20 0 15 0 414544111 10915721216 9340 33554432000 4194304 4196468 140731376161632 140153399261424 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30473] ppid=30457 vsize=10659884 memory=139816832566912 CPUtime=0.05 cores=0,2,4,6
/proc/30460/task/30473/stat : 30473 (java) S 30457 30460 29917 0 -1 1077944384 752 0 0 0 5 0 0 0 20 0 15 0 414544111 10915721216 9340 33554432000 4194304 4196468 140731376161632 140153398208624 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30474] ppid=30457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30474/stat : 30474 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414544111 10915721216 9340 33554432000 4194304 4196468 140731376161632 140153397156064 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30475] ppid=30457 vsize=10659884 memory=139816832566912 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30475/stat : 30475 (java) S 30457 30460 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414544111 10915721216 9340 33554432000 4194304 4196468 140731376161632 140153396104368 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37360 KiB

[startup+0.310208 s]*
/proc/loadavg: 1.77 1.72 1.61 4/229 30475
/proc/meminfo: memFree=30771848/32770624 swapFree=66940844/67108860
[pid=30460] ppid=30457 vsize=10659884 memory=40164 CPUtime=0.47 cores=0,2,4,6
/proc/30460/stat : 30460 (java) S 30457 30460 29917 0 -1 1077944320 9335 0 0 0 44 3 0 0 20 0 15 0 414544105 10915721216 10041 33554432000 4194304 4196468 140731376161632 140731376144176 140153912524535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
/proc/30460/statm: 2664971 10041 3007 1 0 2627468 0
[pid=30460/tid=30462] ppid=30457 vsize=10659884 memory=6735269665583770266 CPUtime=0.3 cores=0,2,4,6
/proc/30460/task/30462/stat : 30462 (java) R 30457 30460 29917 0 -1 4202560 6269 0 0 0 28 2 0 0 20 0 15 0 414544105 10915721216 10041 33554432000 4194304 4196468 140731376161632 140153916737952 140153912546461 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30463] ppid=30457 vsize=10659884 memory=4211973543037357450 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30463/stat : 30463 (java) S 30457 30460 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414544106 10915721216 10041 33554432000 4194304 4196468 140731376161632 140153849215632 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30464] ppid=30457 vsize=10659884 memory=279633520310656 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30464/stat : 30464 (java) S 30457 30460 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414544106 10915721216 10041 33554432000 4194304 4196468 140731376161632 140153848162832 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30465] ppid=30457 vsize=10659884 memory=279633375515136 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30465/stat : 30465 (java) S 30457 30460 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414544106 10915721216 10041 33554432000 4194304 4196468 140731376161632 140153847110032 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30466] ppid=30457 vsize=10659884 memory=139816687743759 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30466/stat : 30466 (java) S 30457 30460 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414544106 10915721216 10041 33554432000 4194304 4196468 140731376161632 140153846057232 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30467] ppid=30457 vsize=10659884 memory=279633520319872 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30467/stat : 30467 (java) S 30457 30460 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414544108 10915721216 10041 33554432000 4194304 4196468 140731376161632 140153404525424 140153912535682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30468] ppid=30457 vsize=10659884 memory=139816687748367 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30468/stat : 30468 (java) S 30457 30460 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414544108 10915721216 10041 33554432000 4194304 4196468 140731376161632 140153403471392 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30469] ppid=30457 vsize=10659884 memory=139816687780621 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30469/stat : 30469 (java) S 30457 30460 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414544108 10915721216 10041 33554432000 4194304 4196468 140731376161632 140153402418544 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30470] ppid=30457 vsize=10659884 memory=139816687783121 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30470/stat : 30470 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414544111 10915721216 10041 33554432000 4194304 4196468 140731376161632 140153401366864 140153912543131 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30471] ppid=30457 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30460/task/30471/stat : 30471 (java) R 30457 30460 29917 0 -1 1077944384 703 0 0 0 4 0 0 0 20 0 15 0 414544111 10915721216 10041 33554432000 4194304 4196468 140731376161632 140153400314320 140153912534741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30472] ppid=30457 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/30460/task/30472/stat : 30472 (java) R 30457 30460 29917 0 -1 4202560 229 0 0 0 3 0 0 0 20 0 15 0 414544111 10915721216 10041 33554432000 4194304 4196468 140731376161632 140153399253072 140153891673224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30473] ppid=30457 vsize=10659884 memory=139816832566912 CPUtime=0.08 cores=0,2,4,6
/proc/30460/task/30473/stat : 30473 (java) S 30457 30460 29917 0 -1 1077944384 775 0 0 0 8 0 0 0 20 0 15 0 414544111 10915721216 10041 33554432000 4194304 4196468 140731376161632 140153398208624 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30474] ppid=30457 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30474/stat : 30474 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414544111 10915721216 10041 33554432000 4194304 4196468 140731376161632 140153397156064 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30475] ppid=30457 vsize=10659884 memory=139816832595032 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30475/stat : 30475 (java) S 30457 30460 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414544111 10915721216 10041 33554432000 4194304 4196468 140731376161632 140153396104368 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40164 KiB

[startup+0.701405 s]
/proc/loadavg: 1.77 1.72 1.61 3/229 30475
/proc/meminfo: memFree=30762176/32770624 swapFree=66940844/67108860
[pid=30460] ppid=30457 vsize=10661932 memory=62088 CPUtime=1.09 cores=0,2,4,6
/proc/30460/stat : 30460 (java) S 30457 30460 29917 0 -1 1077944320 12564 0 0 0 104 5 0 0 20 0 15 0 414544105 10917818368 15522 33554432000 4194304 4196468 140731376161632 140731376144176 140153912524535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
/proc/30460/statm: 2665483 15522 3074 1 0 2627980 0
[pid=30460/tid=30462] ppid=30457 vsize=10661932 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/30460/task/30462/stat : 30462 (java) R 30457 30460 29917 0 -1 4202560 8805 0 0 0 64 3 0 0 20 0 15 0 414544105 10917818368 15522 33554432000 4194304 4196468 140731376161632 140153916755168 140153892801360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30463] ppid=30457 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30463/stat : 30463 (java) S 30457 30460 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414544106 10917818368 15587 33554432000 4194304 4196468 140731376161632 140153849215632 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30464] ppid=30457 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30464/stat : 30464 (java) S 30457 30460 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414544106 10917818368 15587 33554432000 4194304 4196468 140731376161632 140153848162832 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30465] ppid=30457 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30465/stat : 30465 (java) S 30457 30460 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414544106 10917818368 15587 33554432000 4194304 4196468 140731376161632 140153847110032 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30466] ppid=30457 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30466/stat : 30466 (java) S 30457 30460 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414544106 10917818368 15587 33554432000 4194304 4196468 140731376161632 140153846057232 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30467] ppid=30457 vsize=10661932 memory=11340 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30467/stat : 30467 (java) S 30457 30460 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414544108 10917818368 15587 33554432000 4194304 4196468 140731376161632 140153404525424 140153912535682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30468] ppid=30457 vsize=10661932 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30468/stat : 30468 (java) S 30457 30460 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414544108 10917818368 15587 33554432000 4194304 4196468 140731376161632 140153403471392 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30469] ppid=30457 vsize=10661932 memory=1088 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30469/stat : 30469 (java) S 30457 30460 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414544108 10917818368 15587 33554432000 4194304 4196468 140731376161632 140153402418544 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30470] ppid=30457 vsize=10661932 memory=988 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30470/stat : 30470 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414544111 10917818368 15587 33554432000 4194304 4196468 140731376161632 140153401366864 140153912543131 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30471] ppid=30457 vsize=10661932 memory=780 CPUtime=0.11 cores=0,2,4,6
/proc/30460/task/30471/stat : 30471 (java) S 30457 30460 29917 0 -1 1077944384 848 0 0 0 11 0 0 0 20 0 15 0 414544111 10917818368 15587 33554432000 4194304 4196468 140731376161632 140153400314224 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30472] ppid=30457 vsize=10661932 memory=5972 CPUtime=0.09 cores=0,2,4,6
/proc/30460/task/30472/stat : 30472 (java) R 30457 30460 29917 0 -1 4202560 442 0 0 0 9 0 0 0 20 0 15 0 414544111 10917818368 15587 33554432000 4194304 4196468 140731376161632 140153399261424 140153894068258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30473] ppid=30457 vsize=10661932 memory=624 CPUtime=0.19 cores=0,2,4,6
/proc/30460/task/30473/stat : 30473 (java) S 30457 30460 29917 0 -1 1077944384 1146 0 0 0 19 0 0 0 20 0 15 0 414544111 10917818368 15587 33554432000 4194304 4196468 140731376161632 140153398208624 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30474] ppid=30457 vsize=10661932 memory=3996 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30474/stat : 30474 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414544111 10917818368 15587 33554432000 4194304 4196468 140731376161632 140153397156064 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30475] ppid=30457 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30475/stat : 30475 (java) S 30457 30460 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414544111 10917818368 15587 33554432000 4194304 4196468 140731376161632 140153396104368 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62088 KiB

[startup+1.50068 s]
/proc/loadavg: 1.77 1.72 1.61 3/228 30475
/proc/meminfo: memFree=30745896/32770624 swapFree=66940844/67108860
[pid=30460] ppid=30457 vsize=10663980 memory=75068 CPUtime=1.99 cores=0,2,4,6
/proc/30460/stat : 30460 (java) S 30457 30460 29917 0 -1 1077944320 18121 0 0 0 192 7 0 0 20 0 15 0 414544105 10919915520 18767 33554432000 4194304 4196468 140731376161632 140731376144176 140153912524535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
/proc/30460/statm: 2665995 18767 3095 1 0 2628492 0
[pid=30460/tid=30462] ppid=30457 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/30460/task/30462/stat : 30462 (java) R 30457 30460 29917 0 -1 4202560 12976 0 0 0 143 5 0 0 20 0 15 0 414544105 10919915520 18767 33554432000 4194304 4196468 140731376161632 140153916764816 140153894088104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30463] ppid=30457 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30463/stat : 30463 (java) S 30457 30460 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414544106 10919915520 18767 33554432000 4194304 4196468 140731376161632 140153849215632 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30464] ppid=30457 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30464/stat : 30464 (java) S 30457 30460 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414544106 10919915520 18767 33554432000 4194304 4196468 140731376161632 140153848162832 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30465] ppid=30457 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30465/stat : 30465 (java) S 30457 30460 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414544106 10919915520 18767 33554432000 4194304 4196468 140731376161632 140153847110032 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30466] ppid=30457 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30466/stat : 30466 (java) S 30457 30460 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414544106 10919915520 18767 33554432000 4194304 4196468 140731376161632 140153846057232 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30467] ppid=30457 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30467/stat : 30467 (java) S 30457 30460 29917 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 414544108 10919915520 18767 33554432000 4194304 4196468 140731376161632 140153404525424 140153912535682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0

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

[pid=30460/tid=30463] ppid=30457 vsize=10748324 memory=56 CPUtime=0.01 cores=0,2,4,6
/proc/30460/task/30463/stat : 30463 (java) S 30457 30460 29917 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 16 0 414544106 11006283776 52976 33554432000 4194304 4196468 140731376161632 140153849215632 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30464] ppid=30457 vsize=10748324 memory=201396 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30464/stat : 30464 (java) S 30457 30460 29917 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 414544106 11006283776 52976 33554432000 4194304 4196468 140731376161632 140153848162832 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30465] ppid=30457 vsize=10748324 memory=288288887363863308 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30465/stat : 30465 (java) S 30457 30460 29917 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414544106 11006283776 52976 33554432000 4194304 4196468 140731376161632 140153847110032 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30466] ppid=30457 vsize=10748324 memory=279633375742208 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30466/stat : 30466 (java) S 30457 30460 29917 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 414544106 11006283776 52976 33554432000 4194304 4196468 140731376161632 140153846057232 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30467] ppid=30457 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30460/task/30467/stat : 30467 (java) S 30457 30460 29917 0 -1 1077944384 1109 0 0 0 1 0 0 0 20 0 16 0 414544108 11006283776 52976 33554432000 4194304 4196468 140731376161632 140153404525424 140153912535682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30468] ppid=30457 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30468/stat : 30468 (java) S 30457 30460 29917 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414544108 11006283776 52976 33554432000 4194304 4196468 140731376161632 140153403471456 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30469] ppid=30457 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30469/stat : 30469 (java) S 30457 30460 29917 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414544108 11006283776 52976 33554432000 4194304 4196468 140731376161632 140153402418560 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30470] ppid=30457 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30470/stat : 30470 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414544111 11006283776 52976 33554432000 4194304 4196468 140731376161632 140153401366864 140153912543131 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30471] ppid=30457 vsize=10748324 memory=1428 CPUtime=1.34 cores=0,2,4,6
/proc/30460/task/30471/stat : 30471 (java) S 30457 30460 29917 0 -1 1077944384 4755 0 0 0 133 1 0 0 20 0 16 0 414544111 11006283776 52976 33554432000 4194304 4196468 140731376161632 140153400314224 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30472] ppid=30457 vsize=10748324 memory=1772 CPUtime=1.48 cores=0,2,4,6
/proc/30460/task/30472/stat : 30472 (java) S 30457 30460 29917 0 -1 1077944384 5947 0 0 0 147 1 0 0 20 0 16 0 414544111 11006283776 52976 33554432000 4194304 4196468 140731376161632 140153399261424 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30473] ppid=30457 vsize=10748324 memory=1056 CPUtime=0.71 cores=0,2,4,6
/proc/30460/task/30473/stat : 30473 (java) S 30457 30460 29917 0 -1 1077944384 3711 0 0 0 70 1 0 0 20 0 16 0 414544111 11006283776 52976 33554432000 4194304 4196468 140731376161632 140153398208624 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30474] ppid=30457 vsize=10748324 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30474/stat : 30474 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414544111 11006283776 52976 33554432000 4194304 4196468 140731376161632 140153397156064 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30475] ppid=30457 vsize=10748324 memory=11340 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30475/stat : 30475 (java) S 30457 30460 29917 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 414544111 11006283776 52976 33554432000 4194304 4196468 140731376161632 140153396104368 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30476] ppid=30457 vsize=10748324 memory=1532 CPUtime=4.37 cores=0,2,4,6
/proc/30460/task/30476/stat : 30476 (java) R 30457 30460 29917 0 -1 4202560 4236 0 0 0 434 3 0 0 20 0 16 0 414544294 11006283776 52976 33554432000 4194304 4196468 140731376161632 140153379033792 140153530173524 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
Current children cumulated CPU time: 9.88 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 211904 KiB

[startup+12.7007 s]
/proc/loadavg: 1.73 1.72 1.61 3/229 30476
/proc/meminfo: memFree=30543812/32770624 swapFree=66940844/67108860
[pid=30460] ppid=30457 vsize=10748324 memory=267852 CPUtime=16.38 cores=0,2,4,6
/proc/30460/stat : 30460 (java) S 30457 30460 29917 0 -1 1077944320 41690 0 0 0 1620 18 0 0 20 0 16 0 414544105 11006283776 66963 33554432000 4194304 4196468 140731376161632 140731376144176 140153912524535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
/proc/30460/statm: 2687081 66963 3376 1 0 2647217 0
[pid=30460/tid=30462] ppid=30457 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/30460/task/30462/stat : 30462 (java) S 30457 30460 29917 0 -1 1077944384 15254 0 0 0 180 7 0 0 20 0 16 0 414544105 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153916767408 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30463] ppid=30457 vsize=10748324 memory=34948 CPUtime=0.02 cores=0,2,4,6
/proc/30460/task/30463/stat : 30463 (java) S 30457 30460 29917 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 16 0 414544106 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153849215632 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30464] ppid=30457 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30460/task/30464/stat : 30464 (java) S 30457 30460 29917 0 -1 1077944384 1234 0 0 0 2 0 0 0 20 0 16 0 414544106 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153848162832 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30465] ppid=30457 vsize=10748324 memory=865 CPUtime=0.01 cores=0,2,4,6
/proc/30460/task/30465/stat : 30465 (java) S 30457 30460 29917 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 16 0 414544106 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153847110032 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30466] ppid=30457 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30460/task/30466/stat : 30466 (java) S 30457 30460 29917 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 16 0 414544106 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153846057232 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30467] ppid=30457 vsize=10748324 memory=139816688082982 CPUtime=0.01 cores=0,2,4,6
/proc/30460/task/30467/stat : 30467 (java) S 30457 30460 29917 0 -1 1077944384 1419 0 0 0 1 0 0 0 20 0 16 0 414544108 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153404525424 140153912535682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30468] ppid=30457 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30468/stat : 30468 (java) S 30457 30460 29917 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414544108 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153403471456 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30469] ppid=30457 vsize=10748324 memory=15825477839357284 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30469/stat : 30469 (java) S 30457 30460 29917 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 414544108 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153402418560 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30470] ppid=30457 vsize=10748324 memory=-8311738553153378854 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30470/stat : 30470 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153401366864 140153912543131 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30471] ppid=30457 vsize=10748324 memory=33 CPUtime=1.36 cores=0,2,4,6
/proc/30460/task/30471/stat : 30471 (java) S 30457 30460 29917 0 -1 1077944384 5300 0 0 0 135 1 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153400314224 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30472] ppid=30457 vsize=10748324 memory=-2331055268852096867 CPUtime=1.5 cores=0,2,4,6
/proc/30460/task/30472/stat : 30472 (java) S 30457 30460 29917 0 -1 1077944384 6154 0 0 0 149 1 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153399261424 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30473] ppid=30457 vsize=10748324 memory=6944656592455360569 CPUtime=0.73 cores=0,2,4,6
/proc/30460/task/30473/stat : 30473 (java) S 30457 30460 29917 0 -1 1077944384 4487 0 0 0 72 1 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153398208624 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30474] ppid=30457 vsize=10748324 memory=4945125699554088323 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30474/stat : 30474 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153397156064 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30475] ppid=30457 vsize=10748324 memory=6944656425122831986 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30475/stat : 30475 (java) S 30457 30460 29917 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153396104368 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30476] ppid=30457 vsize=10748324 memory=139816832576817 CPUtime=10.76 cores=0,2,4,6
/proc/30460/task/30476/stat : 30476 (java) R 30457 30460 29917 0 -1 4202560 5897 0 0 0 1072 4 0 0 20 0 16 0 414544294 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153379033728 140153530019056 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
Current children cumulated CPU time: 16.38 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 267852 KiB

[startup+12.9752 s]
# the end of solver process 30460 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=16.4746 s, system=0.194799 s

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

[startup+12.8008 s]
/proc/loadavg: 1.73 1.72 1.61 3/229 30476
/proc/meminfo: memFree=30543812/32770624 swapFree=66940844/67108860
[pid=30460] ppid=30457 vsize=10748324 memory=267852 CPUtime=16.48 cores=0,2,4,6
/proc/30460/stat : 30460 (java) S 30457 30460 29917 0 -1 1077944320 41690 0 0 0 1630 18 0 0 20 0 16 0 414544105 11006283776 66963 33554432000 4194304 4196468 140731376161632 140731376144176 140153912524535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
/proc/30460/statm: 2687081 66963 3376 1 0 2647217 0
[pid=30460/tid=30462] ppid=30457 vsize=10748324 memory=253180 CPUtime=1.87 cores=0,2,4,6
/proc/30460/task/30462/stat : 30462 (java) S 30457 30460 29917 0 -1 1077944384 15254 0 0 0 180 7 0 0 20 0 16 0 414544105 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153916767408 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30463] ppid=30457 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30460/task/30463/stat : 30463 (java) S 30457 30460 29917 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 16 0 414544106 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153849215632 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30464] ppid=30457 vsize=10748324 memory=234724 CPUtime=0.02 cores=0,2,4,6
/proc/30460/task/30464/stat : 30464 (java) S 30457 30460 29917 0 -1 1077944384 1234 0 0 0 2 0 0 0 20 0 16 0 414544106 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153848162832 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30465] ppid=30457 vsize=10748324 memory=279633376004864 CPUtime=0.01 cores=0,2,4,6
/proc/30460/task/30465/stat : 30465 (java) S 30457 30460 29917 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 16 0 414544106 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153847110032 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30466] ppid=30457 vsize=10748324 memory=3472468112913193774 CPUtime=0.02 cores=0,2,4,6
/proc/30460/task/30466/stat : 30466 (java) S 30457 30460 29917 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 16 0 414544106 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153846057232 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30467] ppid=30457 vsize=10748324 memory=8761640388318109335 CPUtime=0.01 cores=0,2,4,6
/proc/30460/task/30467/stat : 30467 (java) S 30457 30460 29917 0 -1 1077944384 1419 0 0 0 1 0 0 0 20 0 16 0 414544108 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153404525424 140153912535682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30468] ppid=30457 vsize=10748324 memory=267852 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30468/stat : 30468 (java) S 30457 30460 29917 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414544108 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153403471456 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30469] ppid=30457 vsize=10748324 memory=24676 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30469/stat : 30469 (java) S 30457 30460 29917 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 414544108 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153402418560 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30470] ppid=30457 vsize=10748324 memory=900 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30470/stat : 30470 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153401366864 140153912543131 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30471] ppid=30457 vsize=10748324 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/30460/task/30471/stat : 30471 (java) S 30457 30460 29917 0 -1 1077944384 5300 0 0 0 135 1 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153400314224 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30472] ppid=30457 vsize=10748324 memory=279633375503384 CPUtime=1.5 cores=0,2,4,6
/proc/30460/task/30472/stat : 30472 (java) S 30457 30460 29917 0 -1 1077944384 6154 0 0 0 149 1 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153399261424 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30473] ppid=30457 vsize=10748324 memory=576460758266832364 CPUtime=0.73 cores=0,2,4,6
/proc/30460/task/30473/stat : 30473 (java) S 30457 30460 29917 0 -1 1077944384 4487 0 0 0 72 1 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153398208624 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30474] ppid=30457 vsize=10748324 memory=1944129 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30474/stat : 30474 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153397156064 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30475] ppid=30457 vsize=10748324 memory=3060119 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30475/stat : 30475 (java) S 30457 30460 29917 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153396104368 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30476] ppid=30457 vsize=10748324 memory=6944656592455097440 CPUtime=10.86 cores=0,2,4,6
/proc/30460/task/30476/stat : 30476 (java) R 30457 30460 29917 0 -1 4202560 5897 0 0 0 1082 4 0 0 20 0 16 0 414544294 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153379033728 140153529867165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
Current children cumulated CPU time: 16.48 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 267852 KiB

[startup+12.9006 s]
/proc/loadavg: 1.73 1.72 1.61 3/229 30476
/proc/meminfo: memFree=30543812/32770624 swapFree=66940844/67108860
[pid=30460] ppid=30457 vsize=10748324 memory=267852 CPUtime=16.58 cores=0,2,4,6
/proc/30460/stat : 30460 (java) S 30457 30460 29917 0 -1 1077944320 41691 0 0 0 1640 18 0 0 20 0 16 0 414544105 11006283776 66963 33554432000 4194304 4196468 140731376161632 140731376144176 140153912524535 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
/proc/30460/statm: 2687081 66963 3376 1 0 2647217 0
[pid=30460/tid=30462] ppid=30457 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/30460/task/30462/stat : 30462 (java) S 30457 30460 29917 0 -1 1077944384 15254 0 0 0 180 7 0 0 20 0 16 0 414544105 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153916767408 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30463] ppid=30457 vsize=10748324 memory=865 CPUtime=0.02 cores=0,2,4,6
/proc/30460/task/30463/stat : 30463 (java) S 30457 30460 29917 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 16 0 414544106 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153849215632 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30464] ppid=30457 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30460/task/30464/stat : 30464 (java) S 30457 30460 29917 0 -1 1077944384 1234 0 0 0 2 0 0 0 20 0 16 0 414544106 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153848162832 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30465] ppid=30457 vsize=10748324 memory=34948 CPUtime=0.01 cores=0,2,4,6
/proc/30460/task/30465/stat : 30465 (java) S 30457 30460 29917 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 16 0 414544106 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153847110032 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30466] ppid=30457 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30460/task/30466/stat : 30466 (java) S 30457 30460 29917 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 16 0 414544106 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153846057232 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30467] ppid=30457 vsize=10748324 memory=139816688082982 CPUtime=0.01 cores=0,2,4,6
/proc/30460/task/30467/stat : 30467 (java) S 30457 30460 29917 0 -1 1077944384 1419 0 0 0 1 0 0 0 20 0 16 0 414544108 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153404525424 140153912535682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30468] ppid=30457 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30468/stat : 30468 (java) S 30457 30460 29917 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414544108 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153403471456 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30469] ppid=30457 vsize=10748324 memory=15825477839357284 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30469/stat : 30469 (java) S 30457 30460 29917 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 414544108 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153402418560 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30470] ppid=30457 vsize=10748324 memory=-8311738553153378854 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30470/stat : 30470 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153401366864 140153912543131 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30471] ppid=30457 vsize=10748324 memory=33 CPUtime=1.36 cores=0,2,4,6
/proc/30460/task/30471/stat : 30471 (java) S 30457 30460 29917 0 -1 1077944384 5300 0 0 0 135 1 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153400314224 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30472] ppid=30457 vsize=10748324 memory=-2331055268852096867 CPUtime=1.5 cores=0,2,4,6
/proc/30460/task/30472/stat : 30472 (java) S 30457 30460 29917 0 -1 1077944384 6154 0 0 0 149 1 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153399261424 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30473] ppid=30457 vsize=10748324 memory=6944656592455360569 CPUtime=0.73 cores=0,2,4,6
/proc/30460/task/30473/stat : 30473 (java) S 30457 30460 29917 0 -1 1077944384 4487 0 0 0 72 1 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153398208624 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30474] ppid=30457 vsize=10748324 memory=4945125699554088323 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30474/stat : 30474 (java) S 30457 30460 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153397156064 140153912534741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30475] ppid=30457 vsize=10748324 memory=6944656425122831986 CPUtime=0 cores=0,2,4,6
/proc/30460/task/30475/stat : 30475 (java) S 30457 30460 29917 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 16 0 414544111 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153396104368 140153912535682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
[pid=30460/tid=30476] ppid=30457 vsize=10748324 memory=139816832576817 CPUtime=10.96 cores=0,2,4,6
/proc/30460/task/30476/stat : 30476 (java) R 30457 30460 29917 0 -1 4202560 5898 0 0 0 1092 4 0 0 20 0 16 0 414544294 11006283776 66963 33554432000 4194304 4196468 140731376161632 140153379033728 140153530021313 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12722176 140731376165899 140731376166002 140731376166002 140731376168911 0
Current children cumulated CPU time: 16.58 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 267852 KiB

Child status: 0
Real time (s): 12.9752
CPU time (s): 16.6694
CPU user time (s): 16.4746
CPU system time (s): 0.194799
CPU usage (%): 128.471
Max. virtual memory (cumulated for all children) (KiB): 10750804
Max. memory (cumulated for all children) (KiB): 267852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.4746
system time used= 0.194799
maximum resident set size= 268044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43037
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= 2936
involuntary context switches= 64


# summary of solver processes directly reported to runsolver:
#   pid: 30460
#   total CPU time (s): 16.6694
#   total CPU user time (s): 16.4746
#   total CPU system time (s): 0.194799

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.115367 second user time and 0.159739 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-13 15:56:56
IDJOB=4390830
IDBENCH=127982
IDSOLVER=2832
FILE ID=node149/4390830-1568383054
RUNJOBID= node149-1568380477-29948
PBS_JOBID= 21701822
Free space on /tmp= 57060 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-4390830-1568383054/watcher-4390830-1568383054 -o /tmp/evaluation-result-4390830-1568383054/solver-4390830-1568383054 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568380477-29948 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390830-1568383054.xml -cm

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

MD5SUM BENCH= cc4f118531160cfe6c95c1294546deff
RANDOM SEED=1413853537

node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30800600 kB
MemAvailable:   31562180 kB
Buffers:          146896 kB
Cached:           911072 kB
SwapCached:        61308 kB
Active:           735548 kB
Inactive:         680532 kB
Active(anon):     325660 kB
Inactive(anon):    72352 kB
Active(file):     409888 kB
Inactive(file):   608180 kB
Unevictable:      111264 kB
Mlocked:          111264 kB
SwapTotal:      67108860 kB
SwapFree:       66940844 kB
Dirty:              8924 kB
Writeback:             0 kB
AnonPages:        446344 kB
Mapped:            56280 kB
Shmem:             31280 kB
Slab:             147136 kB
SReclaimable:     118692 kB
SUnreclaim:        28444 kB
KernelStack:        4016 kB
PageTables:         6808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1318108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    321536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 57052 MiB
End job on node149 at 2019-09-13 15:57:09