2.36/1.90
2.36/1.90 AbsCon 2
2.60/1.91
3.21/2.13 Instance
3.21/2.13 name=instance-4390820-1568383068, framework=COP, bounds=-infty..+infty
3.21/2.13
3.21/2.13 Loading variables...
3.21/2.17 Loading constraints...
3.89/2.31
3.89/2.31 Domains
3.89/2.31 nTypes=19, nValues=770, sizes=[4#6,5#10,6#2,19#36]
3.89/2.31 Variables
3.89/2.31 count=54, degrees=[2#18,19#17,20#1,21#18]
3.89/2.31 Objectives
3.89/2.31 way=max, type=SumSimpleGE
3.89/2.31 Constraints
3.89/2.31 count=74, nSpecific=37, arities=[1#1,2#36,18#19,19#18]
3.89/2.31 distribution=[AtMost1#18,CtrExtensionCT-Table#18,CtrExtensionV-Bits#18,CtrIntension#19,SumSimpleGE#1]
3.89/2.31 tables=[290#17,308#1], nTotalTuples=5238
3.89/2.31 nExtStructures=(36,shared:0), nIntStructures=(2,shared:17), nCftStructures=(19,shared:17,unbuilt:38)
3.89/2.31 wck=0.446, cpu=2.283, mem=42M390
3.89/2.32 Solver SolverBacktrack being built...
3.89/2.32
4.21/2.48
4.21/2.48 Solver
4.21/2.48 guaranteedGAC=true
4.21/2.48 wck=0.474, cpu=2.309, mem=55M675
4.21/2.48
4.21/2.48 Preprocessing
4.21/2.48 filters=20, revisions=(37,useless=34), ccks=416, nACremovedValues=37, nTotalRemovedValues=37, inconcistency=false
4.21/2.48 wck=0.004, cpu=2.314, mem=55M675
4.21/2.48
4.21/2.48 o -1000
4.21/2.48 num=0, depth=55..53, filters=217, revisions=(377,useless=314), ccks=797, wck=0.024, mem=55M675
4.21/2.48 decisions=17, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=-1000
4.21/2.48 nFilterCalls=360, avgTableProportion=0.9965629198387816, avgTableSize=290.0
4.21/2.48
4.21/2.48 num=1, depth=11..15, filters=773, revisions=(897,useless=597), ccks=2426, wck=0.041, mem=55M675
4.21/2.48 decisions=70, wrong=21, backtracks=12, failedAssignments=11, nogoods=4, foundSolutions=1, bestBound=-1000
4.21/2.48 nFilterCalls=2488, avgTableProportion=0.9965631448328317, avgTableSize=290.0200964630225
4.21/2.48
4.21/2.48 num=2, depth=9..14, filters=1166, revisions=(1226,useless=754), ccks=3199, wck=0.05, mem=55M675
4.21/2.48 decisions=112, wrong=37, backtracks=17, failedAssignments=22, nogoods=7, foundSolutions=1, bestBound=-1000
4.21/2.48 nFilterCalls=3698, avgTableProportion=0.9965634950641554, avgTableSize=290.0513791238507
4.21/2.48
4.21/2.48 num=3, depth=4..14, filters=1725, revisions=(1701,useless=958), ccks=4661, wck=0.073, mem=55M675
4.21/2.48 decisions=176, wrong=64, backtracks=33, failedAssignments=34, nogoods=12, foundSolutions=1, bestBound=-1000
4.21/2.48 nFilterCalls=5408, avgTableProportion=0.9965636112893282, avgTableSize=290.0617603550296
4.21/2.48
4.21/2.48 num=4, depth=7..12, filters=2438, revisions=(2344,useless=1359), ccks=6578, wck=0.085, mem=55M675
4.21/2.48 decisions=228, wrong=85, backtracks=46, failedAssignments=47, nogoods=16, foundSolutions=1, bestBound=-1000
4.21/2.48 nFilterCalls=7692, avgTableProportion=0.9965638280704623, avgTableSize=290.0811232449298
4.21/2.48
4.21/2.48 o -999
4.21/2.48 num=5, depth=10..53, filters=2696, revisions=(2610,useless=1507), ccks=7289, wck=0.092, mem=55M675
4.21/2.48 decisions=252, wrong=91, backtracks=48, failedAssignments=51, nogoods=19, foundSolutions=2, bestBound=-999
4.21/2.48 nFilterCalls=8489, avgTableProportion=0.9965638549021273, avgTableSize=290.08351984921666
4.21/2.48
4.21/2.48 num=6, depth=7..12, filters=3532, revisions=(3399,useless=1924), ccks=9345, wck=0.107, mem=55M675
4.21/2.48 decisions=315, wrong=119, backtracks=64, failedAssignments=67, nogoods=23, foundSolutions=2, bestBound=-999
4.21/2.48 nFilterCalls=10956, avgTableProportion=0.9965640479927376, avgTableSize=290.10076670317636
4.21/2.48
4.21/2.48 o -994
4.21/2.48 num=7, depth=5..53, filters=3715, revisions=(3602,useless=2039), ccks=9843, wck=0.112, mem=55M675
4.21/2.48 decisions=332, wrong=121, backtracks=64, failedAssignments=69, nogoods=25, foundSolutions=3, bestBound=-994
4.21/2.48 nFilterCalls=11579, avgTableProportion=0.9965640462739259, avgTableSize=290.10061317903103
4.21/2.48
4.21/2.48 num=8, depth=7..12, filters=4350, revisions=(4211,useless=2372), ccks=11188, wck=0.121, mem=55M675
4.21/2.48 decisions=380, wrong=141, backtracks=75, failedAssignments=81, nogoods=31, foundSolutions=3, bestBound=-994
4.21/2.48 nFilterCalls=13184, avgTableProportion=0.9965640288790173, avgTableSize=290.0990594660194
4.21/2.48
4.21/2.48 num=9, depth=8..13, filters=4941, revisions=(4710,useless=2650), ccks=12399, wck=0.129, mem=55M675
4.21/2.48 decisions=427, wrong=160, backtracks=85, failedAssignments=92, nogoods=34, foundSolutions=3, bestBound=-994
4.21/2.48 nFilterCalls=14908, avgTableProportion=0.9965640388081632, avgTableSize=290.0999463375369
4.21/2.48
4.21/2.48 o -991
4.21/2.48 num=10, depth=10..53, filters=5198, revisions=(4963,useless=2786), ccks=13095, wck=0.134, mem=55M675
4.21/2.48 decisions=448, wrong=165, backtracks=88, failedAssignments=95, nogoods=36, foundSolutions=4, bestBound=-991
4.21/2.48 nFilterCalls=15603, avgTableProportion=0.9965640585671397, avgTableSize=290.1017112093828
4.21/2.48
4.21/2.48 num=11, depth=8..13, filters=5739, revisions=(5491,useless=3102), ccks=14347, wck=0.141, mem=55M675
4.21/2.48 decisions=495, wrong=184, backtracks=100, failedAssignments=108, nogoods=40, foundSolutions=4, bestBound=-991
4.21/2.48 nFilterCalls=17221, avgTableProportion=0.9965640816016018, avgTableSize=290.1037686545497
4.21/2.48
4.21/2.48 o -990
4.21/2.49 num=12, depth=8..53, filters=5933, revisions=(5711,useless=3224), ccks=14771, wck=0.145, mem=55M675
4.21/2.49 decisions=509, wrong=186, backtracks=100, failedAssignments=110, nogoods=42, foundSolutions=5, bestBound=-990
4.21/2.49 nFilterCalls=17708, avgTableProportion=0.996564060399186, avgTableSize=290.10187485882085
4.21/2.49
4.21/2.49 num=13, depth=7..11, filters=6471, revisions=(6237,useless=3505), ccks=15810, wck=0.153, mem=55M675
4.21/2.49 decisions=550, wrong=203, backtracks=111, failedAssignments=122, nogoods=46, foundSolutions=5, bestBound=-990
4.21/2.49 nFilterCalls=19184, avgTableProportion=0.9965640356736916, avgTableSize=290.0996663886572
4.21/2.49
4.54/2.50 num=14, depth=7..14, filters=6978, revisions=(6694,useless=3734), ccks=17006, wck=0.16, mem=55M675
4.54/2.50 decisions=594, wrong=220, backtracks=121, failedAssignments=133, nogoods=50, foundSolutions=5, bestBound=-990
4.54/2.50 nFilterCalls=20670, avgTableProportion=0.996564028034156, avgTableSize=290.0989840348331
4.54/2.50
4.54/2.51 o -981
4.54/2.51 num=15, depth=9..53, filters=7277, revisions=(6970,useless=3899), ccks=17636, wck=0.165, mem=55M675
4.54/2.51 decisions=613, wrong=224, backtracks=122, failedAssignments=136, nogoods=53, foundSolutions=6, bestBound=-981
4.54/2.51 nFilterCalls=21698, avgTableProportion=0.9965640302241164, avgTableSize=290.09917964789383
4.54/2.51
4.54/2.51 num=16, depth=7..13, filters=7895, revisions=(7576,useless=4256), ccks=18674, wck=0.174, mem=58M317
4.54/2.51 decisions=662, wrong=245, backtracks=134, failedAssignments=149, nogoods=59, foundSolutions=6, bestBound=-981
4.54/2.51 nFilterCalls=23717, avgTableProportion=0.9965639682699085, avgTableSize=290.0936459079985
4.54/2.51
4.54/2.52 num=17, depth=6..10, filters=8398, revisions=(8031,useless=4507), ccks=19653, wck=0.18, mem=58M317
4.54/2.52 decisions=698, wrong=260, backtracks=144, failedAssignments=160, nogoods=60, foundSolutions=6, bestBound=-981
4.54/2.52 nFilterCalls=25074, avgTableProportion=0.9965639646631899, avgTableSize=290.0933237616655
4.54/2.52
4.54/2.53 num=18, depth=6..9, filters=8891, revisions=(8474,useless=4752), ccks=20687, wck=0.187, mem=58M317
4.54/2.53 decisions=738, wrong=277, backtracks=151, failedAssignments=172, nogoods=63, foundSolutions=6, bestBound=-981
4.54/2.53 nFilterCalls=26580, avgTableProportion=0.9965639913906146, avgTableSize=290.0957110609481
4.54/2.53
4.54/2.54 num=19, depth=3..10, filters=9491, revisions=(9076,useless=5064), ccks=21952, wck=0.196, mem=58M317
4.54/2.54 decisions=781, wrong=294, backtracks=160, failedAssignments=185, nogoods=67, foundSolutions=6, bestBound=-981
4.54/2.54 nFilterCalls=28115, avgTableProportion=0.9965639595669394, avgTableSize=290.0928685754935
4.54/2.54
4.54/2.55 num=20, depth=2..6, filters=10585, revisions=(10106,useless=5591), ccks=24159, wck=0.208, mem=58M317
4.54/2.55 decisions=838, wrong=321, backtracks=177, failedAssignments=199, nogoods=71, foundSolutions=6, bestBound=-981
4.54/2.55 nFilterCalls=30569, avgTableProportion=0.9965639398265168, avgTableSize=290.09110536818343
4.54/2.55
4.54/2.56 num=21, depth=5..11, filters=11520, revisions=(10927,useless=6052), ccks=26385, wck=0.218, mem=58M317
4.54/2.56 decisions=901, wrong=349, backtracks=196, failedAssignments=215, nogoods=74, foundSolutions=6, bestBound=-981
4.54/2.56 nFilterCalls=33012, avgTableProportion=0.9965639026667015, avgTableSize=290.087786259542
4.54/2.56
4.54/2.57 num=22, depth=3..12, filters=12513, revisions=(11753,useless=6520), ccks=28097, wck=0.228, mem=58M317
4.54/2.57 decisions=958, wrong=375, backtracks=209, failedAssignments=232, nogoods=80, foundSolutions=6, bestBound=-981
4.54/2.57 nFilterCalls=35482, avgTableProportion=0.9965639636172942, avgTableSize=290.0932303703286
4.54/2.57
4.54/2.58 num=23, depth=4..9, filters=13366, revisions=(12521,useless=6937), ccks=30015, wck=0.237, mem=58M317
4.54/2.58 decisions=1018, wrong=402, backtracks=221, failedAssignments=251, nogoods=83, foundSolutions=6, bestBound=-981
4.54/2.58 nFilterCalls=37501, avgTableProportion=0.9965639656377733, avgTableSize=290.0934108423775
4.54/2.58
4.54/2.58 o -978
4.54/2.58 num=24, depth=3..53, filters=13534, revisions=(12701,useless=7047), ccks=30364, wck=0.24, mem=58M317
4.54/2.58 decisions=1027, wrong=403, backtracks=221, failedAssignments=252, nogoods=84, foundSolutions=7, bestBound=-978
4.54/2.58 nFilterCalls=37991, avgTableProportion=0.9965639827973822, avgTableSize=290.0949435392593
4.54/2.58
4.54/2.59 num=25, depth=4..10, filters=14477, revisions=(13664,useless=7585), ccks=32252, wck=0.251, mem=58M317
4.54/2.59 decisions=1093, wrong=433, backtracks=240, failedAssignments=275, nogoods=87, foundSolutions=7, bestBound=-978
4.54/2.59 nFilterCalls=40087, avgTableProportion=0.9965639802833243, avgTableSize=290.094718986205
4.54/2.59
4.85/2.60 num=26, depth=3..9, filters=15270, revisions=(14374,useless=7979), ccks=33678, wck=0.26, mem=58M317
4.85/2.60 decisions=1136, wrong=452, backtracks=250, failedAssignments=286, nogoods=90, foundSolutions=7, bestBound=-978
4.85/2.60 nFilterCalls=41974, avgTableProportion=0.9965639478130662, avgTableSize=290.09181874493737
4.85/2.60
4.85/2.61 num=27, depth=3..8, filters=15826, revisions=(14935,useless=8274), ccks=34638, wck=0.267, mem=58M317
4.85/2.61 decisions=1180, wrong=471, backtracks=260, failedAssignments=298, nogoods=95, foundSolutions=7, bestBound=-978
4.85/2.61 nFilterCalls=43525, avgTableProportion=0.996563942820094, avgTableSize=290.09137277426765
4.85/2.61
4.85/2.61 num=28, depth=7..11, filters=16415, revisions=(15510,useless=8595), ccks=36063, wck=0.273, mem=58M317
4.85/2.61 decisions=1229, wrong=492, backtracks=274, failedAssignments=311, nogoods=97, foundSolutions=7, bestBound=-978
4.85/2.61 nFilterCalls=44980, avgTableProportion=0.9965639239164714, avgTableSize=290.0896843041352
4.85/2.61
4.85/2.62 num=29, depth=4..8, filters=17151, revisions=(16229,useless=8968), ccks=37711, wck=0.281, mem=58M317
4.85/2.62 decisions=1273, wrong=512, backtracks=285, failedAssignments=325, nogoods=102, foundSolutions=7, bestBound=-978
4.85/2.62 nFilterCalls=46636, avgTableProportion=0.9965639141896654, avgTableSize=290.0888155073334
4.85/2.62
4.85/2.63 num=30, depth=5..12, filters=18312, revisions=(17217,useless=9539), ccks=40039, wck=0.293, mem=58M317
4.85/2.63 decisions=1351, wrong=548, backtracks=313, failedAssignments=341, nogoods=106, foundSolutions=7, bestBound=-978
4.85/2.63 nFilterCalls=49921, avgTableProportion=0.9965639516965146, avgTableSize=290.0921656216823
4.85/2.63
4.85/2.64 num=31, depth=4..10, filters=19258, revisions=(18110,useless=10014), ccks=42146, wck=0.303, mem=58M317
4.85/2.64 decisions=1410, wrong=575, backtracks=328, failedAssignments=358, nogoods=115, foundSolutions=7, bestBound=-978
4.85/2.64 nFilterCalls=52210, avgTableProportion=0.9965639444127269, avgTableSize=290.0915150354338
4.85/2.64
4.85/2.65 num=32, depth=3..10, filters=20396, revisions=(19127,useless=10562), ccks=44211, wck=0.316, mem=58M317
4.85/2.65 decisions=1481, wrong=609, backtracks=349, failedAssignments=377, nogoods=116, foundSolutions=7, bestBound=-978
4.85/2.65 nFilterCalls=55123, avgTableProportion=0.996563916468989, avgTableSize=290.0890191027339
4.85/2.65
4.85/2.66 num=33, depth=6..13, filters=21447, revisions=(20010,useless=11064), ccks=46553, wck=0.325, mem=58M317
4.85/2.66 decisions=1551, wrong=641, backtracks=375, failedAssignments=398, nogoods=117, foundSolutions=7, bestBound=-978
4.85/2.66 nFilterCalls=57964, avgTableProportion=0.9965639585941823, avgTableSize=290.0927817265889
4.85/2.66
4.85/2.68 num=34, depth=4..14, filters=22717, revisions=(21131,useless=11660), ccks=49494, wck=0.339, mem=58M317
4.85/2.68 decisions=1648, wrong=686, backtracks=404, failedAssignments=421, nogoods=123, foundSolutions=7, bestBound=-978
4.85/2.68 nFilterCalls=61228, avgTableProportion=0.996563944909553, avgTableSize=290.0915594172601
4.85/2.68
4.85/2.69 num=35, depth=7..14, filters=23830, revisions=(22117,useless=12195), ccks=52415, wck=0.349, mem=58M317
4.85/2.69 decisions=1744, wrong=730, backtracks=430, failedAssignments=446, nogoods=126, foundSolutions=7, bestBound=-978
4.85/2.69 nFilterCalls=64179, avgTableProportion=0.9965639544705427, avgTableSize=290.09241340625437
4.85/2.69
5.17/2.71 num=36, depth=2..9, filters=25474, revisions=(23598,useless=13015), ccks=55620, wck=0.368, mem=60M960
5.17/2.71 decisions=1846, wrong=779, backtracks=458, failedAssignments=474, nogoods=130, foundSolutions=7, bestBound=-978
5.17/2.71 nFilterCalls=68265, avgTableProportion=0.9965639220632319, avgTableSize=290.0895187870798
5.17/2.71
5.17/2.72 num=37, depth=5..12, filters=27288, revisions=(25182,useless=13883), ccks=59213, wck=0.385, mem=60M960
5.17/2.72 decisions=1970, wrong=838, backtracks=495, failedAssignments=505, nogoods=133, foundSolutions=7, bestBound=-978
5.17/2.72 nFilterCalls=72587, avgTableProportion=0.9965639453686018, avgTableSize=290.0916004243184
5.17/2.72
5.17/2.74 num=38, depth=6..12, filters=28702, revisions=(26395,useless=14556), ccks=62460, wck=0.398, mem=60M960
5.17/2.74 decisions=2086, wrong=893, backtracks=527, failedAssignments=539, nogoods=135, foundSolutions=7, bestBound=-978
5.17/2.74 nFilterCalls=76647, avgTableProportion=0.9965639290238703, avgTableSize=290.09014051430586
5.17/2.74
5.17/2.76 num=39, depth=3..11, filters=30880, revisions=(28316,useless=15613), ccks=66975, wck=0.419, mem=60M960
5.17/2.76 decisions=2222, wrong=959, backtracks=569, failedAssignments=576, nogoods=142, foundSolutions=7, bestBound=-978
5.17/2.76 nFilterCalls=81805, avgTableProportion=0.996563937927207, avgTableSize=290.09093576187274
5.17/2.76
5.17/2.78 num=40, depth=3..11, filters=33349, revisions=(30623,useless=16844), ccks=71938, wck=0.443, mem=60M960
5.17/2.78 decisions=2375, wrong=1033, backtracks=617, failedAssignments=617, nogoods=149, foundSolutions=7, bestBound=-978
5.17/2.78 nFilterCalls=87869, avgTableProportion=0.9965639137906724, avgTableSize=290.0887798882427
5.17/2.78
5.46/2.80 num=41, depth=3..11, filters=35663, revisions=(32671,useless=17939), ccks=76253, wck=0.464, mem=60M960
5.46/2.80 decisions=2523, wrong=1105, backtracks=663, failedAssignments=662, nogoods=157, foundSolutions=7, bestBound=-978
5.46/2.80 nFilterCalls=93081, avgTableProportion=0.9965638980676784, avgTableSize=290.08737551165115
5.46/2.80
5.46/2.83 num=42, depth=3..10, filters=38349, revisions=(34926,useless=19171), ccks=82003, wck=0.493, mem=60M960
5.46/2.83 decisions=2698, wrong=1190, backtracks=718, failedAssignments=712, nogoods=164, foundSolutions=7, bestBound=-978
5.46/2.83 nFilterCalls=100597, avgTableProportion=0.9965639701057613, avgTableSize=290.0938099545712
5.46/2.83
5.46/2.86 num=43, depth=5..11, filters=41636, revisions=(37582,useless=20746), ccks=88514, wck=0.524, mem=60M960
5.46/2.86 decisions=2900, wrong=1287, backtracks=776, failedAssignments=767, nogoods=172, foundSolutions=7, bestBound=-978
5.46/2.86 nFilterCalls=110807, avgTableProportion=0.9965640493396611, avgTableSize=290.10088712806953
5.46/2.86
5.46/2.89 o 6
5.46/2.89 num=44, depth=1..53, filters=43988, revisions=(39944,useless=22051), ccks=93610, wck=0.548, mem=60M960
5.46/2.89 decisions=3060, wrong=1360, backtracks=822, failedAssignments=808, nogoods=174, foundSolutions=8, bestBound=6
5.46/2.89 nFilterCalls=115910, avgTableProportion=0.9965640422087305, avgTableSize=290.10025019411614
5.46/2.89
5.79/2.92 num=45, depth=4..11, filters=47290, revisions=(42559,useless=23453), ccks=101361, wck=0.585, mem=63M602
5.79/2.92 decisions=3305, wrong=1480, backtracks=899, failedAssignments=875, nogoods=183, foundSolutions=8, bestBound=6
5.79/2.92 nFilterCalls=126177, avgTableProportion=0.9965640908089792, avgTableSize=290.1045911695475
5.79/2.92
5.79/2.93 num=46, depth=10..13, filters=47772, revisions=(42923,useless=23630), ccks=102624, wck=0.59, mem=63M602
5.79/2.93 decisions=3351, wrong=1498, backtracks=907, failedAssignments=886, nogoods=188, foundSolutions=8, bestBound=6
5.79/2.93 nFilterCalls=128023, avgTableProportion=0.9965640935133636, avgTableSize=290.10483272536965
5.79/2.93
5.79/2.93 num=47, depth=10..13, filters=48279, revisions=(43302,useless=23811), ccks=103963, wck=0.594, mem=63M602
5.79/2.93 decisions=3398, wrong=1516, backtracks=916, failedAssignments=898, nogoods=193, foundSolutions=8, bestBound=6
5.79/2.93 nFilterCalls=129852, avgTableProportion=0.9965640915528242, avgTableSize=290.10465761020237
5.79/2.93
5.79/2.94 num=48, depth=8..13, filters=48840, revisions=(43781,useless=24036), ccks=105534, wck=0.598, mem=63M602
5.79/2.94 decisions=3455, wrong=1540, backtracks=930, failedAssignments=911, nogoods=196, foundSolutions=8, bestBound=6
5.79/2.94 nFilterCalls=131727, avgTableProportion=0.9965640914480466, avgTableSize=290.10464824978936
5.79/2.94
5.79/2.94 num=49, depth=8..12, filters=49612, revisions=(44369,useless=24320), ccks=107466, wck=0.604, mem=63M602
5.79/2.94 decisions=3517, wrong=1566, backtracks=950, failedAssignments=925, nogoods=202, foundSolutions=8, bestBound=6
5.79/2.94 nFilterCalls=134286, avgTableProportion=0.9965640988855187, avgTableSize=290.1053125418882
5.79/2.94
5.79/2.95 num=50, depth=6..11, filters=50447, revisions=(45052,useless=24662), ccks=109535, wck=0.611, mem=63M602
5.79/2.95 decisions=3586, wrong=1597, backtracks=966, failedAssignments=941, nogoods=207, foundSolutions=8, bestBound=6
5.79/2.95 nFilterCalls=137252, avgTableProportion=0.996564098693543, avgTableSize=290.10529536910207
5.79/2.95
5.79/2.96 num=51, depth=8..13, filters=51371, revisions=(45827,useless=25066), ccks=111610, wck=0.618, mem=63M602
5.79/2.96 decisions=3662, wrong=1631, backtracks=986, failedAssignments=958, nogoods=212, foundSolutions=8, bestBound=6
5.79/2.96 nFilterCalls=140190, avgTableProportion=0.9965641067311918, avgTableSize=290.10601326770814
5.79/2.96
5.79/2.96 num=52, depth=7..12, filters=52104, revisions=(46424,useless=25349), ccks=113601, wck=0.625, mem=63M602
5.79/2.96 decisions=3733, wrong=1663, backtracks=1005, failedAssignments=977, nogoods=214, foundSolutions=8, bestBound=6
5.79/2.96 nFilterCalls=142844, avgTableProportion=0.9965641023925318, avgTableSize=290.105625717566
5.79/2.96
5.79/2.97 num=53, depth=7..11, filters=53050, revisions=(47255,useless=25794), ccks=116216, wck=0.632, mem=63M602
5.79/2.97 decisions=3816, wrong=1700, backtracks=1027, failedAssignments=998, nogoods=220, foundSolutions=8, bestBound=6
5.79/2.97 nFilterCalls=145650, avgTableProportion=0.9965640977510897, avgTableSize=290.10521112255407
5.79/2.97
5.79/2.98 num=54, depth=7..11, filters=54399, revisions=(48177,useless=26276), ccks=119286, wck=0.642, mem=63M602
5.79/2.98 decisions=3906, wrong=1741, backtracks=1051, failedAssignments=1021, nogoods=225, foundSolutions=8, bestBound=6
5.79/2.98 nFilterCalls=150815, avgTableProportion=0.9965641069257644, avgTableSize=290.10603056725125
5.79/2.98
5.79/2.99 num=55, depth=8..14, filters=55527, revisions=(49036,useless=26741), ccks=122069, wck=0.651, mem=63M602
5.79/2.99 decisions=4002, wrong=1785, backtracks=1081, failedAssignments=1046, nogoods=227, foundSolutions=8, bestBound=6
5.79/2.99 nFilterCalls=154900, avgTableProportion=0.9965641329360309, avgTableSize=290.1083537766301
5.79/2.99
5.79/3.00 num=56, depth=6..12, filters=56769, revisions=(50127,useless=27293), ccks=125357, wck=0.665, mem=63M602
5.79/3.00 decisions=4105, wrong=1833, backtracks=1106, failedAssignments=1074, nogoods=230, foundSolutions=8, bestBound=6
5.79/3.00 nFilterCalls=158433, avgTableProportion=0.9965641398746277, avgTableSize=290.1089735093068
5.79/3.00
6.04/3.02 num=57, depth=6..12, filters=58493, revisions=(51456,useless=27960), ccks=129524, wck=0.682, mem=63M602
6.04/3.02 decisions=4225, wrong=1890, backtracks=1143, failedAssignments=1105, nogoods=233, foundSolutions=8, bestBound=6
6.04/3.02 nFilterCalls=164802, avgTableProportion=0.9965641345047034, avgTableSize=290.1084938289584
6.04/3.02
6.04/3.04 num=58, depth=8..13, filters=60463, revisions=(52872,useless=28742), ccks=133885, wck=0.697, mem=63M602
6.04/3.04 decisions=4350, wrong=1948, backtracks=1175, failedAssignments=1139, nogoods=237, foundSolutions=8, bestBound=6
6.04/3.04 nFilterCalls=171458, avgTableProportion=0.9965641593091874, avgTableSize=290.11070932823196
6.04/3.04
6.04/3.04 o 11
6.04/3.04 num=59, depth=9..53, filters=60629, revisions=(53034,useless=28821), ccks=134266, wck=0.7, mem=63M602
6.04/3.04 decisions=4369, wrong=1952, backtracks=1178, failedAssignments=1141, nogoods=239, foundSolutions=9, bestBound=11
6.04/3.04 nFilterCalls=172077, avgTableProportion=0.9965641590796155, avgTableSize=290.1106888195401
6.04/3.04
6.04/3.06 num=60, depth=3..9, filters=62765, revisions=(54888,useless=29851), ccks=138561, wck=0.723, mem=63M602
6.04/3.06 decisions=4511, wrong=2020, backtracks=1226, failedAssignments=1182, nogoods=245, foundSolutions=9, bestBound=11
6.04/3.06 nFilterCalls=178428, avgTableProportion=0.9965641772773759, avgTableSize=290.1123142107741
6.04/3.06
6.04/3.07 num=61, depth=5..10, filters=63298, revisions=(55432,useless=30120), ccks=139885, wck=0.728, mem=63M602
6.04/3.07 decisions=4550, wrong=2037, backtracks=1237, failedAssignments=1193, nogoods=246, foundSolutions=9, bestBound=11
6.04/3.07 nFilterCalls=179840, avgTableProportion=0.9965641680273263, avgTableSize=290.11148798932385
6.04/3.07
6.04/3.07 num=62, depth=7..12, filters=63789, revisions=(55871,useless=30345), ccks=141104, wck=0.732, mem=63M602
6.04/3.07 decisions=4596, wrong=2056, backtracks=1252, failedAssignments=1205, nogoods=253, foundSolutions=9, bestBound=11
6.04/3.07 nFilterCalls=181333, avgTableProportion=0.9965641778163634, avgTableSize=290.11236233890133
6.04/3.07
6.04/3.08 num=63, depth=4..11, filters=64314, revisions=(56391,useless=30599), ccks=142279, wck=0.737, mem=63M602
6.04/3.08 decisions=4648, wrong=2078, backtracks=1267, failedAssignments=1218, nogoods=255, foundSolutions=9, bestBound=11
6.04/3.08 nFilterCalls=182789, avgTableProportion=0.9965641734310173, avgTableSize=290.1119706328061
6.04/3.08
6.04/3.08 num=64, depth=4..9, filters=65115, revisions=(57015,useless=30898), ccks=144145, wck=0.744, mem=66M245
6.04/3.08 decisions=4708, wrong=2106, backtracks=1283, failedAssignments=1232, nogoods=256, foundSolutions=9, bestBound=11
6.04/3.08 nFilterCalls=185175, avgTableProportion=0.9965641729981314, avgTableSize=290.1119319562576
6.04/3.08
6.04/3.09 num=65, depth=6..12, filters=66197, revisions=(57883,useless=31320), ccks=146490, wck=0.753, mem=66M245
6.04/3.09 decisions=4788, wrong=2141, backtracks=1309, failedAssignments=1248, nogoods=259, foundSolutions=9, bestBound=11
6.04/3.09 nFilterCalls=188382, avgTableProportion=0.996564189997548, avgTableSize=290.1134503296493
6.04/3.09
6.04/3.10 num=66, depth=6..11, filters=67308, revisions=(58648,useless=31716), ccks=148946, wck=0.762, mem=66M245
6.04/3.10 decisions=4865, wrong=2176, backtracks=1334, failedAssignments=1265, nogoods=261, foundSolutions=9, bestBound=11
6.04/3.10 nFilterCalls=192243, avgTableProportion=0.9965642079911948, avgTableSize=290.1150575053448
6.04/3.10
6.04/3.11 num=67, depth=8..12, filters=68036, revisions=(59266,useless=32020), ccks=150794, wck=0.769, mem=66M245
6.04/3.11 decisions=4933, wrong=2206, backtracks=1354, failedAssignments=1284, nogoods=264, foundSolutions=9, bestBound=11
6.04/3.11 nFilterCalls=194746, avgTableProportion=0.996564201725678, avgTableSize=290.11449785874936
6.04/3.11
6.26/3.12 num=68, depth=6..12, filters=69237, revisions=(60123,useless=32461), ccks=153250, wck=0.779, mem=66M245
6.26/3.12 decisions=5011, wrong=2241, backtracks=1376, failedAssignments=1305, nogoods=273, foundSolutions=9, bestBound=11
6.26/3.12 nFilterCalls=198519, avgTableProportion=0.9965641939995598, avgTableSize=290.11380774636183
6.26/3.12
6.26/3.13 num=69, depth=7..12, filters=70124, revisions=(60884,useless=32851), ccks=155737, wck=0.788, mem=66M245
6.26/3.13 decisions=5089, wrong=2276, backtracks=1400, failedAssignments=1328, nogoods=277, foundSolutions=9, bestBound=11
6.26/3.13 nFilterCalls=201606, avgTableProportion=0.9965641899833302, avgTableSize=290.11344900449393
6.26/3.13
6.26/3.14 num=70, depth=2..10, filters=71345, revisions=(61813,useless=33344), ccks=158374, wck=0.802, mem=66M245
6.26/3.14 decisions=5171, wrong=2314, backtracks=1418, failedAssignments=1353, nogoods=285, foundSolutions=9, bestBound=11
6.26/3.14 nFilterCalls=206161, avgTableProportion=0.99656419998878, avgTableSize=290.11434267392957
6.26/3.14
6.26/3.15 num=71, depth=7..12, filters=72726, revisions=(62845,useless=33882), ccks=161833, wck=0.814, mem=66M245
6.26/3.15 decisions=5272, wrong=2361, backtracks=1449, failedAssignments=1381, nogoods=290, foundSolutions=9, bestBound=11
6.26/3.15 nFilterCalls=211395, avgTableProportion=0.9965642037773204, avgTableSize=290.1146810473285
6.26/3.15
6.26/3.16 o 13
6.26/3.16 num=72, depth=4..53, filters=73648, revisions=(63705,useless=34310), ccks=164159, wck=0.823, mem=66M245
6.26/3.16 decisions=5346, wrong=2394, backtracks=1472, failedAssignments=1399, nogoods=294, foundSolutions=10, bestBound=13
6.26/3.16 nFilterCalls=214266, avgTableProportion=0.9965642039734129, avgTableSize=290.1146985522668
6.26/3.16
6.26/3.18 num=73, depth=5..11, filters=75364, revisions=(65123,useless=35100), ccks=167844, wck=0.839, mem=66M245
6.26/3.18 decisions=5459, wrong=2448, backtracks=1508, failedAssignments=1433, nogoods=297, foundSolutions=10, bestBound=13
6.26/3.18 nFilterCalls=219037, avgTableProportion=0.9965642072332515, avgTableSize=290.1149897049357
6.26/3.18
6.26/3.18 num=74, depth=5..10, filters=75894, revisions=(65611,useless=35359), ccks=169179, wck=0.844, mem=66M245
6.26/3.18 decisions=5502, wrong=2467, backtracks=1523, failedAssignments=1444, nogoods=298, foundSolutions=10, bestBound=13
6.26/3.18 nFilterCalls=220713, avgTableProportion=0.9965642055734467, avgTableSize=290.11484144567834
6.26/3.18
6.26/3.19 num=75, depth=4..10, filters=76649, revisions=(66216,useless=35654), ccks=170970, wck=0.851, mem=66M245
6.26/3.19 decisions=5554, wrong=2490, backtracks=1536, failedAssignments=1456, nogoods=301, foundSolutions=10, bestBound=13
6.26/3.19 nFilterCalls=223090, avgTableProportion=0.9965642008572707, avgTableSize=290.1144201891613
6.26/3.19
6.26/3.19 num=76, depth=6..10, filters=77248, revisions=(66739,useless=35942), ccks=172157, wck=0.856, mem=66M245
6.26/3.19 decisions=5600, wrong=2510, backtracks=1548, failedAssignments=1469, nogoods=306, foundSolutions=10, bestBound=13
6.26/3.19 nFilterCalls=224887, avgTableProportion=0.9965642042121026, avgTableSize=290.1147198370737
6.26/3.19
6.37/3.20 num=77, depth=5..8, filters=78187, revisions=(67507,useless=36311), ccks=174518, wck=0.864, mem=66M245
6.37/3.20 decisions=5668, wrong=2541, backtracks=1569, failedAssignments=1483, nogoods=312, foundSolutions=10, bestBound=13
6.37/3.20 nFilterCalls=227655, avgTableProportion=0.9965642029559614, avgTableSize=290.1146076299664
6.37/3.20
6.37/3.21 num=78, depth=2..8, filters=79212, revisions=(68263,useless=36709), ccks=176393, wck=0.875, mem=66M245
6.37/3.21 decisions=5739, wrong=2575, backtracks=1596, failedAssignments=1499, nogoods=314, foundSolutions=10, bestBound=13
6.37/3.21 nFilterCalls=230685, avgTableProportion=0.9965642059038684, avgTableSize=290.11487092788866
6.37/3.21
6.37/3.22 num=79, depth=5..9, filters=79998, revisions=(68997,useless=37088), ccks=178292, wck=0.881, mem=66M245
6.37/3.22 decisions=5796, wrong=2601, backtracks=1610, failedAssignments=1516, nogoods=319, foundSolutions=10, bestBound=13
6.37/3.22 nFilterCalls=232683, avgTableProportion=0.9965642035216256, avgTableSize=290.1146581400446
6.37/3.22
6.37/3.23 num=80, depth=5..11, filters=80994, revisions=(69717,useless=37494), ccks=180521, wck=0.889, mem=66M245
6.37/3.23 decisions=5864, wrong=2632, backtracks=1629, failedAssignments=1535, nogoods=322, foundSolutions=10, bestBound=13
6.37/3.23 nFilterCalls=235967, avgTableProportion=0.9965642057736476, avgTableSize=290.11485928117065
6.37/3.23
6.37/3.24 num=81, depth=3..9, filters=82022, revisions=(70707,useless=38013), ccks=182880, wck=0.898, mem=66M245
6.37/3.24 decisions=5947, wrong=2672, backtracks=1656, failedAssignments=1556, nogoods=325, foundSolutions=10, bestBound=13
6.37/3.24 nFilterCalls=238515, avgTableProportion=0.9965642067753422, avgTableSize=290.1149487453619
6.37/3.24
6.37/3.25 num=82, depth=4..10, filters=83310, revisions=(71745,useless=38572), ccks=185318, wck=0.91, mem=66M245
6.37/3.25 decisions=6033, wrong=2713, backtracks=1685, failedAssignments=1579, nogoods=328, foundSolutions=10, bestBound=13
6.37/3.25 nFilterCalls=242721, avgTableProportion=0.9965642038476626, avgTableSize=290.1146872334903
6.37/3.25
6.37/3.26 num=83, depth=4..10, filters=84509, revisions=(72739,useless=39033), ccks=188609, wck=0.92, mem=68M888
6.37/3.26 decisions=6129, wrong=2757, backtracks=1714, failedAssignments=1604, nogoods=331, foundSolutions=10, bestBound=13
6.37/3.26 nFilterCalls=246237, avgTableProportion=0.9965642097930404, avgTableSize=290.11521826532976
6.37/3.26
6.37/3.27 num=84, depth=4..10, filters=85903, revisions=(74035,useless=39731), ccks=191665, wck=0.931, mem=68M888
6.37/3.27 decisions=6230, wrong=2805, backtracks=1747, failedAssignments=1632, nogoods=334, foundSolutions=10, bestBound=13
6.37/3.27 nFilterCalls=249562, avgTableProportion=0.9965642081736071, avgTableSize=290.1150736089629
6.37/3.27
6.37/3.28 num=85, depth=3..9, filters=87417, revisions=(75276,useless=40369), ccks=195458, wck=0.946, mem=68M888
6.37/3.28 decisions=6334, wrong=2855, backtracks=1780, failedAssignments=1663, nogoods=344, foundSolutions=10, bestBound=13
6.37/3.28 nFilterCalls=254278, avgTableProportion=0.9965642136031267, avgTableSize=290.115558561889
6.37/3.28
6.48/3.30 num=86, depth=3..10, filters=89378, revisions=(76915,useless=41258), ccks=199614, wck=0.961, mem=68M888
6.48/3.30 decisions=6463, wrong=2916, backtracks=1826, failedAssignments=1697, nogoods=349, foundSolutions=10, bestBound=13
6.48/3.30 nFilterCalls=259573, avgTableProportion=0.9965642243480073, avgTableSize=290.11651828194766
6.48/3.30
6.48/3.32 num=87, depth=3..11, filters=91511, revisions=(78572,useless=42134), ccks=203746, wck=0.981, mem=68M888
6.48/3.32 decisions=6606, wrong=2986, backtracks=1874, failedAssignments=1734, nogoods=352, foundSolutions=10, bestBound=13
6.48/3.32 nFilterCalls=265905, avgTableProportion=0.9965642374091357, avgTableSize=290.1176848874598
6.48/3.32
6.48/3.34 num=88, depth=4..11, filters=93536, revisions=(80097,useless=42895), ccks=208620, wck=1.0, mem=68M888
6.48/3.34 decisions=6753, wrong=3056, backtracks=1923, failedAssignments=1775, nogoods=356, foundSolutions=10, bestBound=13
6.48/3.34 nFilterCalls=272968, avgTableProportion=0.9965642384671448, avgTableSize=290.1177793734064
6.48/3.34
6.48/3.36 num=89, depth=3..11, filters=96057, revisions=(82048,useless=43802), ccks=213779, wck=1.02, mem=68M888
6.48/3.36 decisions=6920, wrong=3136, backtracks=1967, failedAssignments=1820, nogoods=359, foundSolutions=10, bestBound=13
6.48/3.36 nFilterCalls=279668, avgTableProportion=0.9965642593191543, avgTableSize=290.1196418610638
6.48/3.36
6.48/3.38 num=90, depth=5..12, filters=98248, revisions=(83729,useless=44653), ccks=219235, wck=1.038, mem=68M888
6.48/3.38 decisions=7088, wrong=3217, backtracks=2019, failedAssignments=1870, nogoods=363, foundSolutions=10, bestBound=13
6.48/3.38 nFilterCalls=286584, avgTableProportion=0.9965642753581369, avgTableSize=290.1210744493761
6.48/3.38
6.58/3.41 num=91, depth=2..8, filters=101103, revisions=(86034,useless=45910), ccks=225554, wck=1.068, mem=68M888
6.58/3.41 decisions=7284, wrong=3313, backtracks=2081, failedAssignments=1925, nogoods=373, foundSolutions=10, bestBound=13
6.58/3.41 nFilterCalls=295774, avgTableProportion=0.9965642648855991, avgTableSize=290.1201390250664
6.58/3.41
6.58/3.43 o 19
6.58/3.43 num=92, depth=2..53, filters=104091, revisions=(88489,useless=47259), ccks=231806, wck=1.095, mem=68M888
6.58/3.43 decisions=7501, wrong=3418, backtracks=2157, failedAssignments=1979, nogoods=382, foundSolutions=11, bestBound=19
6.58/3.43 nFilterCalls=304275, avgTableProportion=0.9965642761338314, avgTableSize=290.12114370224305
6.58/3.43
6.58/3.47 num=93, depth=1..10, filters=107494, revisions=(91456,useless=48931), ccks=238413, wck=1.129, mem=71M530
6.58/3.47 decisions=7729, wrong=3531, backtracks=2232, failedAssignments=2046, nogoods=384, foundSolutions=11, bestBound=19
6.58/3.47 nFilterCalls=313923, avgTableProportion=0.9965642729672599, avgTableSize=290.12086084804235
6.58/3.47
6.58/3.47 num=94, depth=5..10, filters=108151, revisions=(91952,useless=49181), ccks=239681, wck=1.134, mem=71M530
6.58/3.47 decisions=7770, wrong=3549, backtracks=2243, failedAssignments=2057, nogoods=388, foundSolutions=11, bestBound=19
6.58/3.47 nFilterCalls=315705, avgTableProportion=0.9965642825643752, avgTableSize=290.1217180595809
6.58/3.47
6.58/3.48 o 22
6.58/3.48 num=95, depth=4..53, filters=108415, revisions=(92206,useless=49306), ccks=240373, wck=1.137, mem=71M530
6.58/3.48 decisions=7789, wrong=3555, backtracks=2245, failedAssignments=2061, nogoods=392, foundSolutions=12, bestBound=22
6.58/3.48 nFilterCalls=316463, avgTableProportion=0.9965642830503959, avgTableSize=290.12176146974525
6.58/3.48
6.58/3.48 num=96, depth=3..8, filters=109297, revisions=(92997,useless=49750), ccks=241945, wck=1.145, mem=71M530
6.58/3.48 decisions=7842, wrong=3580, backtracks=2262, failedAssignments=2074, nogoods=395, foundSolutions=12, bestBound=22
6.58/3.48 nFilterCalls=318705, avgTableProportion=0.9965642863880432, avgTableSize=290.12205958488255
6.58/3.48
6.58/3.49 num=97, depth=4..9, filters=109836, revisions=(93485,useless=50010), ccks=243071, wck=1.151, mem=71M530
6.58/3.49 decisions=7887, wrong=3600, backtracks=2274, failedAssignments=2085, nogoods=398, foundSolutions=12, bestBound=22
6.58/3.49 nFilterCalls=320362, avgTableProportion=0.9965642912368768, avgTableSize=290.1224926801556
6.58/3.49
6.58/3.50 num=98, depth=3..8, filters=110646, revisions=(94263,useless=50423), ccks=244968, wck=1.157, mem=71M530
6.58/3.50 decisions=7945, wrong=3627, backtracks=2290, failedAssignments=2097, nogoods=403, foundSolutions=12, bestBound=22
6.58/3.50 nFilterCalls=322313, avgTableProportion=0.9965642926963839, avgTableSize=290.1226230403366
6.58/3.50
6.71/3.50 num=99, depth=7..11, filters=111336, revisions=(94859,useless=50747), ccks=246422, wck=1.164, mem=71M530
6.71/3.50 decisions=8000, wrong=3651, backtracks=2308, failedAssignments=2110, nogoods=406, foundSolutions=12, bestBound=22
6.71/3.50 nFilterCalls=324556, avgTableProportion=0.9965642971103378, avgTableSize=290.1230172913149
6.71/3.50
6.71/3.51 num=100, depth=4..10, filters=112083, revisions=(95522,useless=51061), ccks=248179, wck=1.17, mem=71M530
6.71/3.51 decisions=8055, wrong=3676, backtracks=2325, failedAssignments=2124, nogoods=409, foundSolutions=12, bestBound=22
6.71/3.51 nFilterCalls=326422, avgTableProportion=0.9965642968514082, avgTableSize=290.12299416093276
6.71/3.51
6.71/3.51 num=101, depth=4..9, filters=112706, revisions=(96074,useless=51336), ccks=249803, wck=1.175, mem=71M530
6.71/3.51 decisions=8109, wrong=3701, backtracks=2341, failedAssignments=2140, nogoods=411, foundSolutions=12, bestBound=22
6.71/3.51 nFilterCalls=328093, avgTableProportion=0.9965642991539829, avgTableSize=290.12319982444
6.71/3.51
6.71/3.52 num=102, depth=3..9, filters=113775, revisions=(96968,useless=51815), ccks=251987, wck=1.186, mem=71M530
6.71/3.52 decisions=8176, wrong=3733, backtracks=2364, failedAssignments=2157, nogoods=414, foundSolutions=12, bestBound=22
6.71/3.52 nFilterCalls=331671, avgTableProportion=0.9965642971689186, avgTableSize=290.12302251327367
6.71/3.52
6.71/3.53 num=103, depth=2..9, filters=114712, revisions=(97817,useless=52265), ccks=254282, wck=1.195, mem=71M530
6.71/3.53 decisions=8246, wrong=3766, backtracks=2385, failedAssignments=2176, nogoods=420, foundSolutions=12, bestBound=22
6.71/3.53 nFilterCalls=334270, avgTableProportion=0.9965642970773397, avgTableSize=290.12301432973345
6.71/3.53
6.71/3.54 num=104, depth=3..10, filters=115624, revisions=(98634,useless=52688), ccks=256262, wck=1.204, mem=71M530
6.71/3.54 decisions=8316, wrong=3798, backtracks=2405, failedAssignments=2197, nogoods=424, foundSolutions=12, bestBound=22
6.71/3.54 nFilterCalls=336859, avgTableProportion=0.9965642925744895, avgTableSize=290.12261213148525
6.71/3.54
6.71/3.55 num=105, depth=3..10, filters=116869, revisions=(99672,useless=53257), ccks=258706, wck=1.216, mem=71M530
6.71/3.55 decisions=8402, wrong=3838, backtracks=2431, failedAssignments=2220, nogoods=432, foundSolutions=12, bestBound=22
6.71/3.55 nFilterCalls=340771, avgTableProportion=0.9965642979081172, avgTableSize=290.1230885257255
6.71/3.55
6.71/3.57 num=106, depth=2..7, filters=118292, revisions=(100998,useless=53938), ccks=261968, wck=1.229, mem=71M530
6.71/3.57 decisions=8503, wrong=3887, backtracks=2461, failedAssignments=2245, nogoods=436, foundSolutions=12, bestBound=22
6.71/3.57 nFilterCalls=344314, avgTableProportion=0.996564291434157, avgTableSize=290.1225102667914
6.71/3.57
6.71/3.58 num=107, depth=2..9, filters=119743, revisions=(102297,useless=54606), ccks=265362, wck=1.242, mem=71M530
6.71/3.58 decisions=8602, wrong=3934, backtracks=2493, failedAssignments=2273, nogoods=439, foundSolutions=12, bestBound=22
6.71/3.58 nFilterCalls=348434, avgTableProportion=0.9965642833774967, avgTableSize=290.1217906404082
6.71/3.58
6.71/3.60 num=108, depth=1..8, filters=121146, revisions=(103611,useless=55302), ccks=268275, wck=1.257, mem=71M530
6.71/3.60 decisions=8700, wrong=3981, backtracks=2526, failedAssignments=2304, nogoods=445, foundSolutions=12, bestBound=22
6.71/3.60 nFilterCalls=352407, avgTableProportion=0.9965642841757811, avgTableSize=290.12186193804325
6.71/3.60
6.82/3.62 num=109, depth=1..9, filters=123203, revisions=(105402,useless=56275), ccks=272591, wck=1.277, mem=71M530
6.82/3.62 decisions=8829, wrong=4044, backtracks=2567, failedAssignments=2338, nogoods=450, foundSolutions=12, bestBound=22
6.82/3.62 nFilterCalls=358067, avgTableProportion=0.9965642803694543, avgTableSize=290.1215219498027
6.82/3.62
6.82/3.64 num=110, depth=2..10, filters=125940, revisions=(107681,useless=57591), ccks=277792, wck=1.304, mem=71M530
6.82/3.64 decisions=9013, wrong=4133, backtracks=2629, failedAssignments=2375, nogoods=456, foundSolutions=12, bestBound=22
6.82/3.64 nFilterCalls=366435, avgTableProportion=0.9965643021570668, avgTableSize=290.1234680093332
6.82/3.64
6.82/3.66 num=111, depth=4..10, filters=128347, revisions=(109569,useless=58688), ccks=282663, wck=1.326, mem=74M173
6.82/3.66 decisions=9167, wrong=4208, backtracks=2679, failedAssignments=2416, nogoods=463, foundSolutions=12, bestBound=22
6.82/3.66 nFilterCalls=374116, avgTableProportion=0.9965643094782671, avgTableSize=290.1241219300965
6.82/3.66
6.82/3.69 num=112, depth=2..10, filters=130699, revisions=(111436,useless=59791), ccks=286498, wck=1.348, mem=74M173
6.82/3.69 decisions=9316, wrong=4281, backtracks=2727, failedAssignments=2461, nogoods=465, foundSolutions=12, bestBound=22
6.82/3.69 nFilterCalls=382145, avgTableProportion=0.9965643350963928, avgTableSize=290.12641013227966
6.82/3.69
6.92/3.71 num=113, depth=2..9, filters=133655, revisions=(113975,useless=61150), ccks=292397, wck=1.376, mem=74M173
6.92/3.71 decisions=9502, wrong=4373, backtracks=2789, failedAssignments=2511, nogoods=468, foundSolutions=12, bestBound=22
6.92/3.71 nFilterCalls=390448, avgTableProportion=0.9965643327284984, avgTableSize=290.1261986231201
6.92/3.71
6.92/3.74 num=114, depth=2..9, filters=136853, revisions=(116535,useless=62611), ccks=299929, wck=1.405, mem=74M173
6.92/3.74 decisions=9704, wrong=4473, backtracks=2851, failedAssignments=2566, nogoods=474, foundSolutions=12, bestBound=22
6.92/3.74 nFilterCalls=399882, avgTableProportion=0.9965643235298051, avgTableSize=290.12537698621094
6.92/3.74
6.92/3.77 num=115, depth=2..9, filters=140126, revisions=(119379,useless=64178), ccks=307490, wck=1.431, mem=74M173
6.92/3.77 decisions=9926, wrong=4582, backtracks=2920, failedAssignments=2627, nogoods=486, foundSolutions=12, bestBound=22
6.92/3.77 nFilterCalls=407467, avgTableProportion=0.9965643258932801, avgTableSize=290.12558808443384
6.92/3.77
7.04/3.80 num=116, depth=0..9, filters=143338, revisions=(122281,useless=65716), ccks=314769, wck=1.464, mem=74M173
7.04/3.80 decisions=10170, wrong=4702, backtracks=2996, failedAssignments=2694, nogoods=489, foundSolutions=12, bestBound=22
7.04/3.80 nFilterCalls=416392, avgTableProportion=0.996564324391076, avgTableSize=290.12545389921036
7.04/3.80
7.04/3.84 num=117, depth=0..10, filters=147283, revisions=(125903,useless=67685), ccks=323327, wck=1.501, mem=74M173
7.04/3.84 decisions=10435, wrong=4834, backtracks=3090, failedAssignments=2768, nogoods=496, foundSolutions=12, bestBound=22
7.04/3.84 nFilterCalls=426500, avgTableProportion=0.9965643196638349, avgTableSize=290.12503165298943
7.04/3.84
7.04/3.86 o 29
7.04/3.86 num=118, depth=1..53, filters=150000, revisions=(128060,useless=68947), ccks=328685, wck=1.526, mem=76M816
7.04/3.86 decisions=10598, wrong=4912, backtracks=3134, failedAssignments=2816, nogoods=504, foundSolutions=13, bestBound=29
7.04/3.86 nFilterCalls=434250, avgTableProportion=0.9965643269086859, avgTableSize=290.1256787564767
7.04/3.86
7.18/3.91 num=119, depth=0..9, filters=155649, revisions=(132998,useless=71758), ccks=339450, wck=1.575, mem=76M816
7.18/3.91 decisions=10906, wrong=5065, backtracks=3236, failedAssignments=2905, nogoods=511, foundSolutions=13, bestBound=29
7.18/3.91 nFilterCalls=447048, avgTableProportion=0.996564318182686, avgTableSize=290.1248993396682
7.18/3.91
7.18/3.92 num=120, depth=2..8, filters=156440, revisions=(133683,useless=72165), ccks=340826, wck=1.582, mem=76M816
7.18/3.92 decisions=10958, wrong=5090, backtracks=3256, failedAssignments=2916, nogoods=512, foundSolutions=13, bestBound=29
7.18/3.92 nFilterCalls=449113, avgTableProportion=0.9965643213008287, avgTableSize=290.1251778505632
7.18/3.92
7.18/3.93 num=121, depth=0..6, filters=157065, revisions=(134226,useless=72454), ccks=341963, wck=1.588, mem=76M816
7.18/3.93 decisions=10996, wrong=5107, backtracks=3267, failedAssignments=2928, nogoods=515, foundSolutions=13, bestBound=29
7.18/3.93 nFilterCalls=450696, avgTableProportion=0.9965643235574771, avgTableSize=290.1253794131743
7.18/3.93
7.18/3.94 num=122, depth=0..4, filters=158008, revisions=(135083,useless=72911), ccks=344049, wck=1.596, mem=76M816
7.18/3.94 decisions=11046, wrong=5132, backtracks=3281, failedAssignments=2941, nogoods=515, foundSolutions=13, bestBound=29
7.18/3.94 nFilterCalls=452627, avgTableProportion=0.9965643196714462, avgTableSize=290.1250323113734
7.18/3.94
7.18/3.94 num=123, depth=0..6, filters=158886, revisions=(135871,useless=73363), ccks=345825, wck=1.606, mem=76M816
7.18/3.94 decisions=11105, wrong=5161, backtracks=3303, failedAssignments=2955, nogoods=518, foundSolutions=13, bestBound=29
7.18/3.94 nFilterCalls=455057, avgTableProportion=0.9965643219391486, avgTableSize=290.1252348606878
7.18/3.94
7.18/3.95 num=124, depth=2..6, filters=159605, revisions=(136522,useless=73720), ccks=347329, wck=1.612, mem=76M816
7.18/3.95 decisions=11158, wrong=5186, backtracks=3313, failedAssignments=2971, nogoods=521, foundSolutions=13, bestBound=29
7.18/3.95 nFilterCalls=456680, avgTableProportion=0.9965643204129263, avgTableSize=290.12509853726897
7.18/3.95
7.18/3.96 o 32
7.18/3.96 num=125, depth=0..53, filters=160416, revisions=(137341,useless=74203), ccks=349543, wck=1.619, mem=76M816
7.18/3.96 decisions=11219, wrong=5214, backtracks=3330, failedAssignments=2987, nogoods=522, foundSolutions=14, bestBound=32
7.18/3.96 nFilterCalls=458466, avgTableProportion=0.9965643174965692, avgTableSize=290.12483804687804
7.18/3.96
7.18/3.97 num=126, depth=1..8, filters=161422, revisions=(138301,useless=74811), ccks=351498, wck=1.628, mem=76M816
7.18/3.97 decisions=11283, wrong=5245, backtracks=3350, failedAssignments=3006, nogoods=526, foundSolutions=14, bestBound=32
7.18/3.97 nFilterCalls=460770, avgTableProportion=0.9965643205671786, avgTableSize=290.1251123119995
7.18/3.97
7.18/3.97 num=127, depth=1..6, filters=161950, revisions=(138799,useless=75088), ccks=352619, wck=1.632, mem=76M816
7.18/3.97 decisions=11320, wrong=5263, backtracks=3362, failedAssignments=3017, nogoods=530, foundSolutions=14, bestBound=32
7.18/3.97 nFilterCalls=461716, avgTableProportion=0.9965643178912656, avgTableSize=290.1248732987377
7.18/3.97
7.18/3.98 num=128, depth=1..6, filters=162583, revisions=(139409,useless=75442), ccks=353931, wck=1.639, mem=76M816
7.18/3.98 decisions=11359, wrong=5282, backtracks=3377, failedAssignments=3029, nogoods=535, foundSolutions=14, bestBound=32
7.18/3.98 nFilterCalls=463248, avgTableProportion=0.9965643171346827, avgTableSize=290.1248057196145
7.18/3.98
7.18/3.98 num=129, depth=0..5, filters=163252, revisions=(140108,useless=75854), ccks=355490, wck=1.645, mem=76M816
7.18/3.98 decisions=11402, wrong=5302, backtracks=3387, failedAssignments=3042, nogoods=537, foundSolutions=14, bestBound=32
7.18/3.98 nFilterCalls=464617, avgTableProportion=0.9965643151621679, avgTableSize=290.12462953357283
7.18/3.98
7.18/3.99 num=130, depth=0..5, filters=163956, revisions=(140781,useless=76256), ccks=356749, wck=1.65, mem=76M816
7.18/3.99 decisions=11448, wrong=5325, backtracks=3402, failedAssignments=3056, nogoods=537, foundSolutions=14, bestBound=32
7.18/3.99 nFilterCalls=465923, avgTableProportion=0.9965643131733838, avgTableSize=290.1244518944117
7.18/3.99
7.18/3.99
7.18/3.99 New Bounds: 33..32
7.18/3.99 num=131, depth=0..6, filters=164374, revisions=(141211,useless=76503), ccks=357513, wck=1.654, mem=76M816
7.18/3.99 decisions=11478, wrong=5341, backtracks=3412, failedAssignments=3065, foundSolutions=14, bestBound=32
7.18/3.99 nFilterCalls=466840, avgTableProportion=0.9965643117555254, avgTableSize=290.1243252506212
7.18/3.99
7.18/3.99 Global
7.18/3.99 filters=164374, revisions=(141211,useless=76503), ccks=357513
7.18/3.99 Stop=FULL_EXPLORATION, wrong=5341, bestBound=32, bestBoundWck=2.093, bestBoundCpu=3.92, foundSolutions=14, firstSolCpu=2.326
7.18/3.99 wck=2.128, cpu=3.955, mem=76M816
7.18/3.99
7.18/3.99 v <instantiation id='sol14' type='solution' cost='32'> <list> s[] p[] g[] </list> <values> 6 0 1 9 3 4 12 -1 2 8 11 5 13 14 15 16 10 -1 0 15 14 11 10 9 1 -1 13 12 7 8 2 3 4 5 6 -1 3 -1 1 5 1 4 3 0 1 1 9 2 -2 2 1 3 -1 0 </values> </instantiation>
7.18/3.99 s OPTIMUM FOUND
7.18/3.99
7.18/3.99 d WRONG_DECISIONS 5341
7.18/3.99 d NUMBER_SOLUTIONS 14
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 (15057 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390820-1568383068/watcher-4390820-1568383068 -o /tmp/evaluation-result-4390820-1568383068/solver-4390820-1568383068 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568380477-29948 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390820-1568383068.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=30541, runsolver pid=30538
[startup+0.101803 s]*
/proc/loadavg: 1.75 1.72 1.61 4/228 30556
/proc/meminfo: memFree=30784576/32770624 swapFree=66940844/67108860
[pid=30541] ppid=30538 vsize=10659884 memory=27260 CPUtime=0.13 cores=0,2,4,6
/proc/30541/stat : 30541 (java) S 30538 30541 29917 0 -1 1077944320 5853 0 0 0 12 1 0 0 20 0 15 0 414545493 10915721216 6815 33554432000 4194304 4196468 140730583479168 140730583461712 140264199380727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
/proc/30541/statm: 2664971 6815 2910 1 0 2627468 0
[pid=30541/tid=30543] ppid=30538 vsize=10659884 memory=-7254949962136774010 CPUtime=0.1 cores=0,2,4,6
/proc/30541/task/30543/stat : 30543 (java) R 30538 30541 29917 0 -1 4202560 3507 0 0 0 9 1 0 0 20 0 15 0 414545494 10915721216 6815 33554432000 4194304 4196468 140730583479168 140264203611520 140264183424357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30544] ppid=30538 vsize=10659884 memory=5793855201998764473 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30544/stat : 30544 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545495 10915721216 6815 33554432000 4194304 4196468 140730583479168 140264171223568 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30545] ppid=30538 vsize=10659884 memory=139950988871296 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30545/stat : 30545 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545495 10915721216 6815 33554432000 4194304 4196468 140730583479168 140263804996240 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30546] ppid=30538 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30546/stat : 30546 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545495 10915721216 6815 33554432000 4194304 4196468 140730583479168 140263803943184 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30547] ppid=30538 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30547/stat : 30547 (java) S 30538 30541 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414545495 10915721216 6815 33554432000 4194304 4196468 140730583479168 140263802890640 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30548] ppid=30538 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30548/stat : 30548 (java) S 30538 30541 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414545496 10915721216 6815 33554432000 4194304 4196468 140730583479168 140263302191856 140264199391874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30549] ppid=30538 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30549/stat : 30549 (java) S 30538 30541 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414545496 10915721216 6815 33554432000 4194304 4196468 140730583479168 140263301138080 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30550] ppid=30538 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30550/stat : 30550 (java) S 30538 30541 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414545497 10915721216 6815 33554432000 4194304 4196468 140730583479168 140263300084976 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30551] ppid=30538 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30551/stat : 30551 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414545499 10915721216 6815 33554432000 4194304 4196468 140730583479168 140263299033552 140264199399323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30552] ppid=30538 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30552/stat : 30552 (java) S 30538 30541 29917 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 414545499 10915721216 6815 33554432000 4194304 4196468 140730583479168 140262855497968 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30553] ppid=30538 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30553/stat : 30553 (java) S 30538 30541 29917 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 414545499 10915721216 6815 33554432000 4194304 4196468 140730583479168 140262854445424 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30554] ppid=30538 vsize=10659884 memory=139950988871296 CPUtime=0.02 cores=0,2,4,6
/proc/30541/task/30554/stat : 30554 (java) R 30538 30541 29917 0 -1 4202560 451 0 0 0 2 0 0 0 20 0 15 0 414545499 10915721216 6815 33554432000 4194304 4196468 140730583479168 140262853392368 140264177937342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30555] ppid=30538 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30555/stat : 30555 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414545499 10915721216 6815 33554432000 4194304 4196468 140730583479168 140262852340064 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30556] ppid=30538 vsize=10659884 memory=139950988871296 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30556/stat : 30556 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545500 10915721216 6815 33554432000 4194304 4196468 140730583479168 140262851288112 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27260 KiB
[startup+0.210494 s]*
/proc/loadavg: 1.75 1.72 1.61 5/228 30556
/proc/meminfo: memFree=30773800/32770624 swapFree=66940844/67108860
[pid=30541] ppid=30538 vsize=10659884 memory=36336 CPUtime=0.33 cores=0,2,4,6
/proc/30541/stat : 30541 (java) S 30538 30541 29917 0 -1 1077944320 9374 0 0 0 30 3 0 0 20 0 15 0 414545493 10915721216 9084 33554432000 4194304 4196468 140730583479168 140730583461712 140264199380727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
/proc/30541/statm: 2664971 9084 2989 1 0 2627468 0
[pid=30541/tid=30543] ppid=30538 vsize=10659884 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/30541/task/30543/stat : 30543 (java) R 30538 30541 29917 0 -1 4202560 6244 0 0 0 18 2 0 0 20 0 15 0 414545494 10915721216 9084 33554432000 4194304 4196468 140730583479168 140264203619120 140264199402653 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30544] ppid=30538 vsize=10659884 memory=4211973677193661834 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30544/stat : 30544 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545495 10915721216 9084 33554432000 4194304 4196468 140730583479168 140264171223568 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30545] ppid=30538 vsize=10659884 memory=139950988871296 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30545/stat : 30545 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545495 10915721216 9084 33554432000 4194304 4196468 140730583479168 140263804996240 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30546] ppid=30538 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30546/stat : 30546 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545495 10915721216 9084 33554432000 4194304 4196468 140730583479168 140263803943184 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30547] ppid=30538 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30547/stat : 30547 (java) S 30538 30541 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414545495 10915721216 9084 33554432000 4194304 4196468 140730583479168 140263802890640 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30548] ppid=30538 vsize=10659884 memory=139950988871296 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30548/stat : 30548 (java) S 30538 30541 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414545496 10915721216 9084 33554432000 4194304 4196468 140730583479168 140263302191856 140264199391874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30549] ppid=30538 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30549/stat : 30549 (java) S 30538 30541 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414545496 10915721216 9084 33554432000 4194304 4196468 140730583479168 140263301138080 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30550] ppid=30538 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30550/stat : 30550 (java) S 30538 30541 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414545497 10915721216 9084 33554432000 4194304 4196468 140730583479168 140263300084976 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30551] ppid=30538 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30551/stat : 30551 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414545499 10915721216 9084 33554432000 4194304 4196468 140730583479168 140263299033552 140264199399323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30552] ppid=30538 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30541/task/30552/stat : 30552 (java) S 30538 30541 29917 0 -1 1077944384 566 0 0 0 3 0 0 0 20 0 15 0 414545499 10915721216 9084 33554432000 4194304 4196468 140730583479168 140262855497968 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30553] ppid=30538 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30541/task/30553/stat : 30553 (java) S 30538 30541 29917 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 15 0 414545499 10915721216 9084 33554432000 4194304 4196468 140730583479168 140262854445424 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30554] ppid=30538 vsize=10659884 memory=139950988871296 CPUtime=0.05 cores=0,2,4,6
/proc/30541/task/30554/stat : 30554 (java) S 30538 30541 29917 0 -1 1077944384 816 0 0 0 5 0 0 0 20 0 15 0 414545499 10915721216 9084 33554432000 4194304 4196468 140730583479168 140262853392368 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30555] ppid=30538 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30555/stat : 30555 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414545499 10915721216 9084 33554432000 4194304 4196468 140730583479168 140262852340064 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30556] ppid=30538 vsize=10659884 memory=139950988871296 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30556/stat : 30556 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545500 10915721216 9084 33554432000 4194304 4196468 140730583479168 140262851288112 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36336 KiB
[startup+0.309918 s]*
/proc/loadavg: 1.75 1.72 1.61 3/228 30556
/proc/meminfo: memFree=30771864/32770624 swapFree=66940844/67108860
[pid=30541] ppid=30538 vsize=10659884 memory=39304 CPUtime=0.47 cores=0,2,4,6
/proc/30541/stat : 30541 (java) S 30538 30541 29917 0 -1 1077944320 9555 0 0 0 43 4 0 0 20 0 15 0 414545493 10915721216 9826 33554432000 4194304 4196468 140730583479168 140730583461712 140264199380727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
/proc/30541/statm: 2664971 9826 3036 1 0 2627468 0
[pid=30541/tid=30543] ppid=30538 vsize=10659884 memory=6735269665583770266 CPUtime=0.3 cores=0,2,4,6
/proc/30541/task/30543/stat : 30543 (java) R 30538 30541 29917 0 -1 4202560 6332 0 0 0 27 3 0 0 20 0 15 0 414545494 10915721216 9826 33554432000 4194304 4196468 140730583479168 140264203619712 140264199402653 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30544] ppid=30538 vsize=10659884 memory=4211973677193661834 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30544/stat : 30544 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545495 10915721216 9826 33554432000 4194304 4196468 140730583479168 140264171223568 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30545] ppid=30538 vsize=10659628 memory=279901827234176 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30545/stat : 30545 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545495 10915459072 9881 33554432000 4194304 4196468 140730583479168 140263804996240 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30546] ppid=30538 vsize=10659884 memory=279901676753408 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30546/stat : 30546 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545495 10915721216 9881 33554432000 4194304 4196468 140730583479168 140263803943184 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30547] ppid=30538 vsize=10659884 memory=139950838362895 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30547/stat : 30547 (java) S 30538 30541 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414545495 10915721216 9881 33554432000 4194304 4196468 140730583479168 140263802890640 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30548] ppid=30538 vsize=10659884 memory=279901827243392 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30548/stat : 30548 (java) S 30538 30541 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414545496 10915721216 9881 33554432000 4194304 4196468 140730583479168 140263302191856 140264199391874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30549] ppid=30538 vsize=10659884 memory=139950838367503 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30549/stat : 30549 (java) S 30538 30541 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414545496 10915721216 9881 33554432000 4194304 4196468 140730583479168 140263301138080 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30550] ppid=30538 vsize=10659884 memory=139950838399757 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30550/stat : 30550 (java) S 30538 30541 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414545497 10915721216 9881 33554432000 4194304 4196468 140730583479168 140263300084976 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30551] ppid=30538 vsize=10659884 memory=139950838402257 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30551/stat : 30551 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414545499 10915721216 9881 33554432000 4194304 4196468 140730583479168 140263299033552 140264199399323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30552] ppid=30538 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30541/task/30552/stat : 30552 (java) S 30538 30541 29917 0 -1 1077944384 597 0 0 0 4 0 0 0 20 0 15 0 414545499 10915721216 9881 33554432000 4194304 4196468 140730583479168 140262855497968 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30553] ppid=30538 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/30541/task/30553/stat : 30553 (java) S 30538 30541 29917 0 -1 1077944384 409 0 0 0 3 0 0 0 20 0 15 0 414545499 10915721216 9881 33554432000 4194304 4196468 140730583479168 140262854445424 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30554] ppid=30538 vsize=10659884 memory=139950988871296 CPUtime=0.08 cores=0,2,4,6
/proc/30541/task/30554/stat : 30554 (java) R 30538 30541 29917 0 -1 4202560 860 0 0 0 8 0 0 0 20 0 15 0 414545499 10915721216 9881 33554432000 4194304 4196468 140730583479168 140262853392368 140264192477563 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30555] ppid=30538 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30555/stat : 30555 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414545499 10915721216 9881 33554432000 4194304 4196468 140730583479168 140262852340064 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30556] ppid=30538 vsize=10659884 memory=139950988898556 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30556/stat : 30556 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545500 10915721216 9881 33554432000 4194304 4196468 140730583479168 140262851288112 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39304 KiB
[startup+0.700711 s]
/proc/loadavg: 1.75 1.72 1.61 3/228 30556
/proc/meminfo: memFree=30763208/32770624 swapFree=66940844/67108860
[pid=30541] ppid=30538 vsize=10661932 memory=62956 CPUtime=1.08 cores=0,2,4,6
/proc/30541/stat : 30541 (java) S 30538 30541 29917 0 -1 1077944320 12821 0 0 0 103 5 0 0 20 0 15 0 414545493 10917818368 15739 33554432000 4194304 4196468 140730583479168 140730583461712 140264199380727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
/proc/30541/statm: 2665483 15739 3074 1 0 2627980 0
[pid=30541/tid=30543] ppid=30538 vsize=10661932 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/30541/task/30543/stat : 30543 (java) R 30538 30541 29917 0 -1 4202560 8847 0 0 0 64 4 0 0 20 0 15 0 414545494 10917818368 15739 33554432000 4194304 4196468 140730583479168 140264203612752 140264199402653 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30544] ppid=30538 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30544/stat : 30544 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545495 10917818368 15739 33554432000 4194304 4196468 140730583479168 140264171223568 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30545] ppid=30538 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30545/stat : 30545 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545495 10917818368 15739 33554432000 4194304 4196468 140730583479168 140263804996240 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30546] ppid=30538 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30546/stat : 30546 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545495 10917818368 15739 33554432000 4194304 4196468 140730583479168 140263803943184 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30547] ppid=30538 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30547/stat : 30547 (java) S 30538 30541 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414545495 10917818368 15739 33554432000 4194304 4196468 140730583479168 140263802890640 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30548] ppid=30538 vsize=10661932 memory=11340 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30548/stat : 30548 (java) S 30538 30541 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414545496 10917818368 15739 33554432000 4194304 4196468 140730583479168 140263302191856 140264199391874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30549] ppid=30538 vsize=10661932 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30549/stat : 30549 (java) S 30538 30541 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414545496 10917818368 15739 33554432000 4194304 4196468 140730583479168 140263301138080 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30550] ppid=30538 vsize=10661932 memory=1088 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30550/stat : 30550 (java) S 30538 30541 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414545497 10917818368 15739 33554432000 4194304 4196468 140730583479168 140263300084976 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30551] ppid=30538 vsize=10661932 memory=988 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30551/stat : 30551 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414545499 10917818368 15739 33554432000 4194304 4196468 140730583479168 140263299033552 140264199399323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30552] ppid=30538 vsize=10661932 memory=780 CPUtime=0.09 cores=0,2,4,6
/proc/30541/task/30552/stat : 30552 (java) S 30538 30541 29917 0 -1 1077944384 767 0 0 0 9 0 0 0 20 0 15 0 414545499 10917818368 15739 33554432000 4194304 4196468 140730583479168 140262855497968 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30553] ppid=30538 vsize=10661932 memory=5972 CPUtime=0.09 cores=0,2,4,6
/proc/30541/task/30553/stat : 30553 (java) S 30538 30541 29917 0 -1 1077944384 582 0 0 0 9 0 0 0 20 0 15 0 414545499 10917818368 15739 33554432000 4194304 4196468 140730583479168 140262854445424 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30554] ppid=30538 vsize=10661932 memory=624 CPUtime=0.19 cores=0,2,4,6
/proc/30541/task/30554/stat : 30554 (java) S 30538 30541 29917 0 -1 1077944384 1266 0 0 0 19 0 0 0 20 0 15 0 414545499 10917818368 15739 33554432000 4194304 4196468 140730583479168 140262853392368 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30555] ppid=30538 vsize=10661932 memory=3996 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30555/stat : 30555 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414545499 10917818368 15739 33554432000 4194304 4196468 140730583479168 140262852340064 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30556] ppid=30538 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30556/stat : 30556 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545500 10917818368 15739 33554432000 4194304 4196468 140730583479168 140262851288112 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62956 KiB
[startup+1.50069 s]
/proc/loadavg: 1.75 1.72 1.61 3/228 30556
/proc/meminfo: memFree=30745340/32770624 swapFree=66940844/67108860
[pid=30541] ppid=30538 vsize=10663980 memory=75816 CPUtime=1.98 cores=0,2,4,6
/proc/30541/stat : 30541 (java) S 30538 30541 29917 0 -1 1077944320 16453 0 0 0 193 5 0 0 20 0 15 0 414545493 10919915520 18954 33554432000 4194304 4196468 140730583479168 140730583461712 140264199380727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
/proc/30541/statm: 2665995 18954 3094 1 0 2628492 0
[pid=30541/tid=30543] ppid=30538 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/30541/task/30543/stat : 30543 (java) R 30538 30541 29917 0 -1 4202560 11483 0 0 0 144 4 0 0 20 0 15 0 414545494 10919915520 18954 33554432000 4194304 4196468 140730583479168 140264203612752 140264182567557 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30544] ppid=30538 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30544/stat : 30544 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545495 10919915520 18954 33554432000 4194304 4196468 140730583479168 140264171223568 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30545] ppid=30538 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30545/stat : 30545 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545495 10919915520 18954 33554432000 4194304 4196468 140730583479168 140263804996240 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30546] ppid=30538 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30546/stat : 30546 (java) S 30538 30541 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414545495 10919915520 18954 33554432000 4194304 4196468 140730583479168 140263803943184 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30547] ppid=30538 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30547/stat : 30547 (java) S 30538 30541 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414545495 10919915520 18954 33554432000 4194304 4196468 140730583479168 140263802890640 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30548] ppid=30538 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30548/stat : 30548 (java) S 30538 30541 29917 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 414545496 10919915520 18954 33554432000 4194304 4196468 140730583479168 140263302191856 140264199391874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
################
# More data... #
################
[startup+3.20081 s]
/proc/loadavg: 1.75 1.72 1.61 4/229 30557
/proc/meminfo: memFree=30627564/32770624 swapFree=66940844/67108860
[pid=30541] ppid=30538 vsize=10748324 memory=186732 CPUtime=6.37 cores=0,2,4,6
/proc/30541/stat : 30541 (java) S 30538 30541 29917 0 -1 1077944320 34046 0 0 0 624 13 0 0 20 0 16 0 414545493 11006283776 46683 33554432000 4194304 4196468 140730583479168 140730583461712 140264199380727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
/proc/30541/statm: 2687081 46683 3351 1 0 2647217 0
[pid=30541/tid=30543] ppid=30538 vsize=10748324 memory=6944652177228980320 CPUtime=1.87 cores=0,2,4,6
/proc/30541/task/30543/stat : 30543 (java) S 30538 30541 29917 0 -1 1077944384 13198 0 0 0 182 5 0 0 20 0 16 0 414545494 11006283776 46683 33554432000 4194304 4196468 140730583479168 140264203623600 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30544] ppid=30538 vsize=10748324 memory=60625 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30544/stat : 30544 (java) S 30538 30541 29917 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 46683 33554432000 4194304 4196468 140730583479168 140264171223568 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30545] ppid=30538 vsize=10748324 memory=9126232286719478932 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30545/stat : 30545 (java) S 30538 30541 29917 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 46683 33554432000 4194304 4196468 140730583479168 140263804996240 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30546] ppid=30538 vsize=10748324 memory=-1891255765032775953 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30546/stat : 30546 (java) S 30538 30541 29917 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 46683 33554432000 4194304 4196468 140730583479168 140263803943184 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30547] ppid=30538 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30547/stat : 30547 (java) S 30538 30541 29917 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 46683 33554432000 4194304 4196468 140730583479168 140263802890640 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30548] ppid=30538 vsize=10748324 memory=6944656592387989600 CPUtime=0.01 cores=0,2,4,6
/proc/30541/task/30548/stat : 30548 (java) S 30538 30541 29917 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 16 0 414545496 11006283776 46683 33554432000 4194304 4196468 140730583479168 140263302191856 140264199391874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30549] ppid=30538 vsize=10748324 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30549/stat : 30549 (java) S 30538 30541 29917 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414545496 11006283776 46683 33554432000 4194304 4196468 140730583479168 140263301138144 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30550] ppid=30538 vsize=10748324 memory=8546823402028195750 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30550/stat : 30550 (java) S 30538 30541 29917 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414545497 11006283776 46683 33554432000 4194304 4196468 140730583479168 140263300084992 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30551] ppid=30538 vsize=10748324 memory=-6237260532469557610 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30551/stat : 30551 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414545499 11006283776 46683 33554432000 4194304 4196468 140730583479168 140263299033552 140264199399323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30552] ppid=30538 vsize=10748324 memory=6944656425123290226 CPUtime=1.15 cores=0,2,4,6
/proc/30541/task/30552/stat : 30552 (java) S 30538 30541 29917 0 -1 1077944384 3924 0 0 0 115 0 0 0 20 0 16 0 414545499 11006283776 46683 33554432000 4194304 4196468 140730583479168 140262855497968 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30553] ppid=30538 vsize=10748324 memory=318911346953682970 CPUtime=1.34 cores=0,2,4,6
/proc/30541/task/30553/stat : 30553 (java) S 30538 30541 29917 0 -1 1077944384 6504 0 0 0 133 1 0 0 20 0 16 0 414545499 11006283776 46683 33554432000 4194304 4196468 140730583479168 140262854445424 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30554] ppid=30538 vsize=10748324 memory=318348440017043766 CPUtime=0.62 cores=0,2,4,6
/proc/30541/task/30554/stat : 30554 (java) S 30538 30541 29917 0 -1 1077944384 4107 0 0 0 61 1 0 0 20 0 16 0 414545499 11006283776 46683 33554432000 4194304 4196468 140730583479168 140262853392368 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30555] ppid=30538 vsize=10748324 memory=1946059 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30555/stat : 30555 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414545499 11006283776 46683 33554432000 4194304 4196468 140730583479168 140262852340064 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30556] ppid=30538 vsize=10748324 memory=-9033790761416835007 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30556/stat : 30556 (java) S 30538 30541 29917 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414545500 11006283776 46683 33554432000 4194304 4196468 140730583479168 140262851288112 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30557] ppid=30538 vsize=10748324 memory=-8253362664378451622 CPUtime=1.25 cores=0,2,4,6
/proc/30541/task/30557/stat : 30557 (java) R 30538 30541 29917 0 -1 4202560 4544 0 0 0 124 1 0 0 20 0 16 0 414545683 11006283776 46683 33554432000 4194304 4196468 140730583479168 140262834622656 140263841841728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 186732 KiB
[startup+3.60067 s]
/proc/loadavg: 1.75 1.72 1.61 4/229 30557
/proc/meminfo: memFree=30627564/32770624 swapFree=66940844/67108860
[pid=30541] ppid=30538 vsize=10748324 memory=191168 CPUtime=6.82 cores=0,2,4,6
/proc/30541/stat : 30541 (java) S 30538 30541 29917 0 -1 1077944320 34221 0 0 0 669 13 0 0 20 0 16 0 414545493 11006283776 47792 33554432000 4194304 4196468 140730583479168 140730583461712 140264199380727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
/proc/30541/statm: 2687081 47792 3351 1 0 2647217 0
[pid=30541/tid=30543] ppid=30538 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/30541/task/30543/stat : 30543 (java) S 30538 30541 29917 0 -1 1077944384 13198 0 0 0 182 5 0 0 20 0 16 0 414545494 11006283776 47792 33554432000 4194304 4196468 140730583479168 140264203623600 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30544] ppid=30538 vsize=10748324 memory=5787213827096799569 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30544/stat : 30544 (java) S 30538 30541 29917 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 47792 33554432000 4194304 4196468 140730583479168 140264171223568 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30545] ppid=30538 vsize=10748324 memory=6370158489965322585 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30545/stat : 30545 (java) S 30538 30541 29917 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 47792 33554432000 4194304 4196468 140730583479168 140263804996240 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30546] ppid=30538 vsize=10748324 memory=7300728970739542608 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30546/stat : 30546 (java) S 30538 30541 29917 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 47792 33554432000 4194304 4196468 140730583479168 140263803943184 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30547] ppid=30538 vsize=10748324 memory=7512112361573799278 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30547/stat : 30547 (java) S 30538 30541 29917 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 47792 33554432000 4194304 4196468 140730583479168 140263802890640 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30548] ppid=30538 vsize=10748324 memory=7295939424990749760 CPUtime=0.01 cores=0,2,4,6
/proc/30541/task/30548/stat : 30548 (java) S 30538 30541 29917 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 16 0 414545496 11006283776 47792 33554432000 4194304 4196468 140730583479168 140263302191856 140264199391874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30549] ppid=30538 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30549/stat : 30549 (java) S 30538 30541 29917 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414545496 11006283776 47792 33554432000 4194304 4196468 140730583479168 140263301138144 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30550] ppid=30538 vsize=10748324 memory=-7384994778349281184 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30550/stat : 30550 (java) S 30538 30541 29917 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414545497 11006283776 47792 33554432000 4194304 4196468 140730583479168 140263300084992 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30551] ppid=30538 vsize=10748324 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30551/stat : 30551 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414545499 11006283776 47792 33554432000 4194304 4196468 140730583479168 140263299033552 140264199399323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30552] ppid=30538 vsize=10748324 memory=8761640388318109335 CPUtime=1.16 cores=0,2,4,6
/proc/30541/task/30552/stat : 30552 (java) S 30538 30541 29917 0 -1 1077944384 3967 0 0 0 116 0 0 0 20 0 16 0 414545499 11006283776 47792 33554432000 4194304 4196468 140730583479168 140262855497968 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30553] ppid=30538 vsize=10748324 memory=4137293581110450563 CPUtime=1.36 cores=0,2,4,6
/proc/30541/task/30553/stat : 30553 (java) S 30538 30541 29917 0 -1 1077944384 6521 0 0 0 135 1 0 0 20 0 16 0 414545499 11006283776 47792 33554432000 4194304 4196468 140730583479168 140262854445424 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30554] ppid=30538 vsize=10748324 memory=6944938067432061290 CPUtime=0.65 cores=0,2,4,6
/proc/30541/task/30554/stat : 30554 (java) S 30538 30541 29917 0 -1 1077944384 4193 0 0 0 64 1 0 0 20 0 16 0 414545499 11006283776 47792 33554432000 4194304 4196468 140730583479168 140262853392368 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30555] ppid=30538 vsize=10748324 memory=6443066947122851946 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30555/stat : 30555 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414545499 11006283776 47792 33554432000 4194304 4196468 140730583479168 140262852340064 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30556] ppid=30538 vsize=10748324 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30556/stat : 30556 (java) S 30538 30541 29917 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414545500 11006283776 47792 33554432000 4194304 4196468 140730583479168 140262851288112 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30557] ppid=30538 vsize=10748324 memory=0 CPUtime=1.65 cores=0,2,4,6
/proc/30541/task/30557/stat : 30557 (java) R 30538 30541 29917 0 -1 4202560 4573 0 0 0 164 1 0 0 20 0 16 0 414545683 11006283776 47792 33554432000 4194304 4196468 140730583479168 140262834624288 140263841427874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
Current children cumulated CPU time: 6.82 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 191168 KiB
[startup+3.8006 s]
/proc/loadavg: 1.75 1.72 1.61 4/229 30557
/proc/meminfo: memFree=30627564/32770624 swapFree=66940844/67108860
[pid=30541] ppid=30538 vsize=10748324 memory=193216 CPUtime=7.04 cores=0,2,4,6
/proc/30541/stat : 30541 (java) S 30538 30541 29917 0 -1 1077944320 34228 0 0 0 691 13 0 0 20 0 16 0 414545493 11006283776 48304 33554432000 4194304 4196468 140730583479168 140730583461712 140264199380727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
/proc/30541/statm: 2687081 48304 3351 1 0 2647217 0
[pid=30541/tid=30543] ppid=30538 vsize=10748324 memory=7100839870005155941 CPUtime=1.87 cores=0,2,4,6
/proc/30541/task/30543/stat : 30543 (java) S 30538 30541 29917 0 -1 1077944384 13198 0 0 0 182 5 0 0 20 0 16 0 414545494 11006283776 48304 33554432000 4194304 4196468 140730583479168 140264203623600 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30544] ppid=30538 vsize=10748324 memory=8514726395715350149 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30544/stat : 30544 (java) S 30538 30541 29917 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 48304 33554432000 4194304 4196468 140730583479168 140264171223568 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30545] ppid=30538 vsize=10748324 memory=-8412654355427596915 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30545/stat : 30545 (java) S 30538 30541 29917 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 48304 33554432000 4194304 4196468 140730583479168 140263804996240 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30546] ppid=30538 vsize=10748324 memory=7373916858537504097 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30546/stat : 30546 (java) S 30538 30541 29917 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 48304 33554432000 4194304 4196468 140730583479168 140263803943184 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30547] ppid=30538 vsize=10748324 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30547/stat : 30547 (java) S 30538 30541 29917 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 48304 33554432000 4194304 4196468 140730583479168 140263802890640 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30548] ppid=30538 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30541/task/30548/stat : 30548 (java) S 30538 30541 29917 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 16 0 414545496 11006283776 48304 33554432000 4194304 4196468 140730583479168 140263302191856 140264199391874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30549] ppid=30538 vsize=10748324 memory=279901676649280 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30549/stat : 30549 (java) S 30538 30541 29917 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414545496 11006283776 48304 33554432000 4194304 4196468 140730583479168 140263301138144 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30550] ppid=30538 vsize=10748324 memory=4208041617268355266 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30550/stat : 30550 (java) S 30538 30541 29917 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414545497 11006283776 48304 33554432000 4194304 4196468 140730583479168 140263300084992 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30551] ppid=30538 vsize=10748324 memory=7882259678282410597 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30551/stat : 30551 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414545499 11006283776 48304 33554432000 4194304 4196468 140730583479168 140263299033552 140264199399323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30552] ppid=30538 vsize=10748324 memory=6933690287860520857 CPUtime=1.16 cores=0,2,4,6
/proc/30541/task/30552/stat : 30552 (java) S 30538 30541 29917 0 -1 1077944384 3967 0 0 0 116 0 0 0 20 0 16 0 414545499 11006283776 48304 33554432000 4194304 4196468 140730583479168 140262855497968 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30553] ppid=30538 vsize=10748324 memory=8761921863948460128 CPUtime=1.38 cores=0,2,4,6
/proc/30541/task/30553/stat : 30553 (java) S 30538 30541 29917 0 -1 1077944384 6524 0 0 0 137 1 0 0 20 0 16 0 414545499 11006283776 48304 33554432000 4194304 4196468 140730583479168 140262854445424 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30554] ppid=30538 vsize=10748324 memory=4137287014106042739 CPUtime=0.65 cores=0,2,4,6
/proc/30541/task/30554/stat : 30554 (java) S 30538 30541 29917 0 -1 1077944384 4193 0 0 0 64 1 0 0 20 0 16 0 414545499 11006283776 48304 33554432000 4194304 4196468 140730583479168 140262853392368 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30555] ppid=30538 vsize=10748324 memory=-7737621075815351712 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30555/stat : 30555 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414545499 11006283776 48304 33554432000 4194304 4196468 140730583479168 140262852340064 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30556] ppid=30538 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30556/stat : 30556 (java) S 30538 30541 29917 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414545500 11006283776 48304 33554432000 4194304 4196468 140730583479168 140262851288112 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30557] ppid=30538 vsize=10748324 memory=6944656592455360604 CPUtime=1.86 cores=0,2,4,6
/proc/30541/task/30557/stat : 30557 (java) R 30538 30541 29917 0 -1 4202560 4577 0 0 0 184 2 0 0 20 0 16 0 414545683 11006283776 48304 33554432000 4194304 4196468 140730583479168 140262834618320 140263841427848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
Current children cumulated CPU time: 7.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 193216 KiB
[startup+3.90065 s]
/proc/loadavg: 1.75 1.72 1.61 4/229 30557
/proc/meminfo: memFree=30627564/32770624 swapFree=66940844/67108860
[pid=30541] ppid=30538 vsize=10748324 memory=195284 CPUtime=7.18 cores=0,2,4,6
/proc/30541/stat : 30541 (java) S 30538 30541 29917 0 -1 1077944320 34310 0 0 0 705 13 0 0 20 0 16 0 414545493 11006283776 48821 33554432000 4194304 4196468 140730583479168 140730583461712 140264199380727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
/proc/30541/statm: 2687081 48821 3351 1 0 2647217 0
[pid=30541/tid=30543] ppid=30538 vsize=10748324 memory=169256 CPUtime=1.87 cores=0,2,4,6
/proc/30541/task/30543/stat : 30543 (java) S 30538 30541 29917 0 -1 1077944384 13198 0 0 0 182 5 0 0 20 0 16 0 414545494 11006283776 48821 33554432000 4194304 4196468 140730583479168 140264203623600 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30544] ppid=30538 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30544/stat : 30544 (java) S 30538 30541 29917 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 48821 33554432000 4194304 4196468 140730583479168 140264171223568 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30545] ppid=30538 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30545/stat : 30545 (java) S 30538 30541 29917 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 48821 33554432000 4194304 4196468 140730583479168 140263804996240 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30546] ppid=30538 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30546/stat : 30546 (java) S 30538 30541 29917 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 48821 33554432000 4194304 4196468 140730583479168 140263803943184 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30547] ppid=30538 vsize=10748324 memory=59044 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30547/stat : 30547 (java) S 30538 30541 29917 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414545495 11006283776 48821 33554432000 4194304 4196468 140730583479168 140263802890640 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30548] ppid=30538 vsize=10748324 memory=6944656592455359545 CPUtime=0.01 cores=0,2,4,6
/proc/30541/task/30548/stat : 30548 (java) S 30538 30541 29917 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 16 0 414545496 11006283776 48821 33554432000 4194304 4196468 140730583479168 140263302191856 140264199391874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30549] ppid=30538 vsize=10748324 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30549/stat : 30549 (java) S 30538 30541 29917 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414545496 11006283776 48821 33554432000 4194304 4196468 140730583479168 140263301138144 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30550] ppid=30538 vsize=10748324 memory=262413911912104 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30550/stat : 30550 (java) S 30538 30541 29917 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414545497 11006283776 48821 33554432000 4194304 4196468 140730583479168 140263300084992 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30551] ppid=30538 vsize=10748324 memory=139950838256380 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30551/stat : 30551 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414545499 11006283776 48821 33554432000 4194304 4196468 140730583479168 140263299033552 140264199399323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30552] ppid=30538 vsize=10748324 memory=6655300316396806240 CPUtime=1.18 cores=0,2,4,6
/proc/30541/task/30552/stat : 30552 (java) S 30538 30541 29917 0 -1 1077944384 3971 0 0 0 118 0 0 0 20 0 16 0 414545499 11006283776 48821 33554432000 4194304 4196468 140730583479168 140262855497968 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30553] ppid=30538 vsize=10748324 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/30541/task/30553/stat : 30553 (java) S 30538 30541 29917 0 -1 1077944384 6531 0 0 0 138 1 0 0 20 0 16 0 414545499 11006283776 48821 33554432000 4194304 4196468 140730583479168 140262854445424 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30554] ppid=30538 vsize=10748324 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/30541/task/30554/stat : 30554 (java) S 30538 30541 29917 0 -1 1077944384 4261 0 0 0 64 1 0 0 20 0 16 0 414545499 11006283776 48821 33554432000 4194304 4196468 140730583479168 140262853392368 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30555] ppid=30538 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30555/stat : 30555 (java) S 30538 30541 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414545499 11006283776 48821 33554432000 4194304 4196468 140730583479168 140262852340064 140264199390933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30556] ppid=30538 vsize=10748324 memory=1 CPUtime=0 cores=0,2,4,6
/proc/30541/task/30556/stat : 30556 (java) S 30538 30541 29917 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414545500 11006283776 48821 33554432000 4194304 4196468 140730583479168 140262851288112 140264199391874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
[pid=30541/tid=30557] ppid=30538 vsize=10748324 memory=0 CPUtime=1.96 cores=0,2,4,6
/proc/30541/task/30557/stat : 30557 (java) R 30538 30541 29917 0 -1 4202560 4580 0 0 0 194 2 0 0 20 0 16 0 414545683 11006283776 48821 33554432000 4194304 4196468 140730583479168 140262834625888 140263842177156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39608320 140730583487499 140730583487602 140730583487602 140730583490511 0
Current children cumulated CPU time: 7.18 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 195284 KiB
Child status: 0
Real time (s): 4.00736
CPU time (s): 7.319
CPU user time (s): 7.17353
CPU system time (s): 0.14547
CPU usage (%): 182.639
Max. virtual memory (cumulated for all children) (KiB): 10749984
Max. memory (cumulated for all children) (KiB): 195284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.17353
system time used= 0.14547
maximum resident set size= 200096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34868
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= 2633
involuntary context switches= 35
# summary of solver processes directly reported to runsolver:
# pid: 30541
# total CPU time (s): 7.319
# total CPU user time (s): 7.17353
# total CPU system time (s): 0.14547
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043794 second user time and 0.087467 second system time
The end